 | 1996 |
|---|
| 7 |       | Frank L. Gilfeather,
Brian T. Smith,
John S. Sobolewski,
David K. Kahaner:
Maui High Performance Computing Center: A Resource for the Pacific Basin.
HICSS (3) 1996: 444- |
| 1995 |
|---|
| 6 | | Brian T. Smith:
HPF: A User's Perspective.
SC 1995 |
| 1989 |
|---|
| 5 |  | Joseph Kljaich Jr.,
Brian T. Smith,
Anthony S. Wojcik:
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.
IEEE Trans. Computers 38(3): 366-376 (1989) |
| 4 | | Gregory H. Chisholm,
Brian T. Smith,
Anthony S. Wojcik:
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.
J. Autom. Reasoning 5(4): 533-540 (1989) |
| 1976 |
|---|
| 3 | | Brian T. Smith,
James M. Boyle,
Jack Dongarra,
Burton S. Garbow,
Yasuhiko Ikebe,
Virginia C. Klema,
Cleve B. Moler:
Matrix Eigensystem Routines - EISPACK Guide, Second Edition
Springer 1976 |
| 2 | | Brian T. Smith:
Fortran Poisoning and Antidotes.
Portability of Numerical Software 1976: 178-256 |
| 1970 |
|---|
| 1 | | Brian T. Smith:
Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.
J. ACM 17(4): 661-674 (1970) |
