6608 search results - page 1169 / 1322 » On the Completeness of Model Checking |
123
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we consider the problem of nding llpreserving ordering of a sparse symmetric and positive de nite matrix such that the reordered matrix is suitable for parallel fac...
118
click to vote
ISCA
2000
IEEE
15 years 8 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
104
click to vote
MSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Approaching its tenth anniversary, the IEEE Storage System Standards effort is in the process of balloting Media Management System (MMS) standards. These represent the first stand...
171
click to vote
SSDBM
2000
IEEE
15 years 8 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
138
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...