2635 search results - page 229 / 527 » Computing multihomogeneous resultants using straight-line pr... |
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
PVM and other distributed computing systems have enabled the use of networks of workstations for parallel computation, but their approach of treating all networks as collections o...
84
Voted
IPPS
1996
IEEE
15 years 4 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...
108
click to vote
CSL
2005
Springer
15 years 6 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
143
Voted
SC
1993
ACM
15 years 4 months ago
1993
ACM
In this paper, we describe two new ideas by which HPF compiler can deal with irregular computations e ectively. The rst mechanism invokes a user speci ed mapping procedure via a s...
117
click to vote
IEEEPACT
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...