- Referenced in 32 articles
- boolean) from the method’s pre-condition. The heart of Korat is a technique...
- Referenced in 2 articles
- contracts take the form of pre-conditions, post-conditions, and object invariants. Contracts...
- Referenced in 15 articles
- The development of the RAISE tools. The use...
- Referenced in 156 articles
- ITSOL is a library of iterative solvers for...
- Referenced in 646 articles
- The University of Florida Sparse Matrix Collection. We...
- Referenced in 226 articles
- SPARSKIT: A basic toolkit for sparse matrix computations...
- Referenced in 23 articles
- MA32 --A package for solving sparse unsymmetric systems...
- Referenced in 106 articles
- DYNA3D: A nonlinear, explicit, three-dimensional finite element...
- Referenced in 663 articles
- ALGOL 60 (short for Algorithmic Language 1960) is...