Numerical Mathematics and Computing

Process migration: effects on scientific computation

ACM SIGPLAN Notices

Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering

The role of computer software in numerical analysis teaching

ACM SIGNUM Newsletter

Signal integrity fault analysis using reduced-order modeling

Proceedings of the 39th annual Design Automation Conference

Group theoretic approach for solving the problem of diffusion of a drug through a thin membrane

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the 9th International Congress on computational and applied mathematics

Application of Relational Interval Arithmetic to Computer PerformanceAnalysis: a Survey

Constraints

Performance Comparison of Desktop Multiprocessing and Workstation Cluster Computing

HPDC '96 Proceedings of the 5th IEEE International Symposium on High Performance Distributed Computing

Teaching Computational Economics in an Applied Economics Program

Computational Economics

An implementation of a method for computing the uncertainty in inferred probabilities in belief networks

UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence

Second-order complex Newton root-finding algorithm for determining resonant modes of a nontrivial laser system

Mathematical and Computer Modelling: An International Journal