 | 2008 |
|---|
| 9 |       | Jacques Carette,
Spencer Smith,
John McCutchan,
Christopher Kumar Anand,
Alexandre Korobkine:
Case Studies in Model Manipulation for Scientific Computing.
AISC/MKM/Calculemus 2008: 24-37 |
| 8 | | John D. Pryce,
George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
Spencer Smith:
Second Note on Basic Interval Arithmetic for IEEE754R.
Numerical Validation in Current Hardware Architectures 2008 |
| 7 | | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2008: 28-43 |
| 2007 |
|---|
| 6 | | Scott R. Tilley,
Ken Wong,
Spencer Smith:
Report from the 3rd International Symposium on Software Engineering Course Projects (SWECP 2006).
CSEE&T 2007: 237-246 |
| 5 | | Spencer Smith,
Lei Lai,
Ridha Khédri:
Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability.
Reliable Computing 13(1): 83-107 (2007) |
| 2006 |
|---|
| 4 | | Scott R. Tilley,
Kenny Wong,
Shihong Huang,
Spencer Smith:
Report from the 2nd International Workshop on Software Engineering Course Projects (SWECP 2005).
CSEE&T 2006: 87-94 |
| 3 | | Spencer Smith:
Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software.
RE 2006: 205-215 |
| 2 | | George F. Corliss,
R. Baker Kearfott,
Nedialko S. Nedialkov,
John D. Pryce,
Spencer Smith:
Interval Subroutine Library Mission.
Reliable Implementation of Real Number Algorithms 2006 |
| 2004 |
|---|
| 1 |  | Spencer Smith,
Chien-Hsien Chen:
Commonality and Requirements Analysis for Mesh Generating Software.
SEKE 2004: 384-387 |
