7092 search results - page 392 / 1419 » Parallelizing constraint programs |
139
Voted
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity ...
134
click to vote
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
A fine-grain parallel program is one in which processes are typically small, ranging from a few to a few hundred instructions. Fine-grain parallelism arises naturally in many situ...
169
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
The Coarse-Grained Monte Carlo (CGMC) method is a multi-scale stochastic mathematical and simulation framework for spatially distributed systems. CGMC simulations are important too...
140
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
127
click to vote
ICS
1993
Tsinghua U.
15 years 7 months ago
1993
Tsinghua U.
: The EM-4 is a supercomputer that offers very fast inter processor communication and support for multi threading. In this paper we demonstrate that the EM-4, Together with an auto...