3441 search results - page 348 / 689 » Parallel Logic Programming Systems |
131
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a comparative study of the communication middleware systems suitable for aggregating computational clusters with heterogeneous incompatible SANs into a common ...
136
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
155
click to vote
HPCN
1997
Springer
15 years 8 months ago
1997
Springer
For regular, sparse, linear systems, like those derived from regular grids, using High Performance Fortran (HPF) for iterative solvers is straightforward. However, for irregular ma...
141
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
Simulating chip-multiprocessor systems (CMP) can take a long time. For single-threaded workloads, earlier work has shown the utility of phase analysis, that is identification of r...
119
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...