Brian T. Smith

17 papers A 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2011 — conf
Measuring Uncertainty in Scientific Computation Using Numerica 21's Test Harness.
WoCoUQ
Brian T. Smith
2006 — conf
A Test Harness TH for Numerical Applications and Libraries.
Grid-Based Problem Solving Environments
Brian T. Smith
2006 — conf
Future Directions for Numerical Software Research - Comments during Discussions at WoCo9, Prescott, AZ, July 16-21, 2006.
Grid-Based Problem Solving Environments
Brian T. Smith
2005 J jnl
Application of a neuro-fuzzy network for gait event detection using electromyography in the child with Cerebral palsy.
IEEE Trans. Biomed. Eng.
Richard T. Lauer, Brian T. Smith, Randal R. Betz
1996 — conf
Maui High Performance Computing Center: A Resource for the Pacific Basin.
HICSS (3)
Frank L. Gilfeather, Brian T. Smith, John S. Sobolewski, David K. Kahaner
1995 A conf
HPF: A User's Perspective.
SC
Brian T. Smith
1992 J jnl
Optimal controller for intraaortic balloon pumping.
IEEE Trans. Biomed. Eng.
Ofer Barnea, Brian T. Smith, Stephen E. Dubin, Thomas W. Moore, Dov Jaron
1989 J jnl
An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.
J. Autom. Reason.
Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik
1989 J jnl
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.
IEEE Trans. Computers
Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik
1985 J jnl
Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18-21, 1985.
ACM SIGSOFT Softw. Eng. Notes
Brian T. Smith
1985 J jnl
Synchronization and control of parallel algorithms.
Parallel Comput.
Paul O. Frederickson, Rondall E. Jones, Brian T. Smith
1981 — conf
Environmental inquiry and general precision data type features fort he next fortran standard.
ACM Annual Conference
Brian T. Smith
1978 — conf
A comparison of two recent approaches to machine parameterization for mathematical software.
SIGNUM
Brian T. Smith
1976 — conf
Fortran Poisoning and Antidotes.
Portability of Numerical Software
Brian T. Smith
1976 — book
Matrix Eigensystem Routines - EISPACK Guide, Second Edition
Brian T. Smith, James M. Boyle, Jack J. Dongarra, Burton S. Garbow, Yasuhiko Ikebe, Virginia C. Klema, Cleve B. Moler
1972 — conf
NATS a collaborative effort to certify and disseminate mathematical software.
ACM Annual Conference (2)
James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith
1970 J jnl
Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.
J. ACM
Brian T. Smith