Brian T. Smith

According to our database, Brian T. Smith authored at least 16 papers between 1970 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Measuring Uncertainty in Scientific Computation Using Numerica 21's Test Harness.

Brian T. Smith

Proceedings of the Uncertainty Quantification in Scientific Computing, 2011

2006

Future Directions for Numerical Software Research - Comments during Discussions at WoCo9, Prescott, AZ, July 16-21, 2006.

Brian T. Smith

Proceedings of the Grid-Based Problem Solving Environments, 2006

A Test Harness TH for Numerical Applications and Libraries.

Brian T. Smith

Proceedings of the Grid-Based Problem Solving Environments, 2006

2005

Application of a neuro-fuzzy network for gait event detection using electromyography in the child with Cerebral palsy.

Richard T. Lauer, Brian T. Smith, Randal R. Betz

IEEE Trans. Biomed. Eng., 2005

1996

Maui High Performance Computing Center: A Resource for the Pacific Basin.

Frank L. Gilfeather, Brian T. Smith, John S. Sobolewski, David K. Kahaner

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

1995

HPF: A User's Perspective.

Brian T. Smith

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

1989

Formal Verification of Fault Tolerance Using Theorem-Proving Techniques.

Joseph Kljaich Jr., Brian T. Smith, Anthony S. Wojcik

IEEE Trans. Computers, 1989

An Automated Reasoning Problem Associated with Proving Claims about Programs Using Floyd-Hoare Inductive Assertin Methods.

Gregory H. Chisholm, Brian T. Smith, Anthony S. Wojcik

J. Autom. Reason., 1989

1985

Position paper to be presented at "Verification workshop III (verkshop III)" to be held in Watsonville, CA. Feb. 18-21, 1985.

Brian T. Smith

ACM SIGSOFT Softw. Eng. Notes, 1985

Synchronization and control of parallel algorithms.

Paul O. Frederickson, Rondall E. Jones, Brian T. Smith

Parallel Comput., 1985

1981

Environmental inquiry and general precision data type features fort he next fortran standard.

Brian T. Smith

Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., 1981

1978

A comparison of two recent approaches to machine parameterization for mathematical software.

Brian T. Smith

Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, 1978

1976

Fortran Poisoning and Antidotes.

Brian T. Smith

Proceedings of the Portability of Numerical Software, 1976

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

Lecture Notes in Computer Science 6, Springer, ISBN: 0-387-07546-1, 1976

1972

NATS a collaborative effort to certify and disseminate mathematical software.

James M. Boyle, William J. Cody, Wayne R. Cowell, Burton S. Garbow, Yasuhiko Ikebe, Cleve B. Moler, Brian T. Smith

Proceedings of the ACM annual conference, 1972

1970

Error Bounds for Zeros of a Polynomial Based Upon Gerschgorin's Theorems.

Brian T. Smith

J. ACM, 1970