949 search results - page 93 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
110
Voted
IPPS
2007
IEEE
15 years 8 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...
110
click to vote
ICPPW
2005
IEEE
15 years 8 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,...
97
Voted
ARTS
1997
Springer
15 years 6 months 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 ...
148
Voted
CORR
2008
Springer
15 years 1 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...
124
Voted
SIGIR
2003
ACM
15 years 7 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....