97 search results - page 6 / 20 » Computer Algebra System Maple: A New Software Library |
PARA
2004
Springer
14 years 2 days ago
2004
Springer
We describe some extensions to Parallel Sparse BLAS (PSBLAS), a library of routines providing basic Linear Algebra operations needed to build iterative sparse linear system solvers...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...
ADL
1998
Springer
13 years 11 months ago
1998
Springer
The New Zealand Digital Library offers several collections of information over the World Wide Web. Although fulltext indexing is the primary access mechanism, musical collections ...
CLUSTER
2006
IEEE
14 years 24 days ago
2006
IEEE
The MPI-IO standard creates a huge opportunity to break out of the traditional file system I/O methods. As a software layer between the user and the file system, an MPI-IO libra...