949 search results - page 93 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Blue Gene R /P is a massively parallel supercomputer intended as the successor to Blue Gene/L. It leverages much of the existing architecture of its predecessor to provide scalabi...
ICPPW
2005
IEEE
14 years 2 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
ARTS
1997
Springer
14 years 15 days ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we show that the (co)chain complex associated with a decomposition of the computational domain, commonly called a mesh in computational science and engineering, can b...
SIGIR
2003
ACM
14 years 2 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....