7092 search results - page 535 / 1419 » Parallelizing constraint programs |
153
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
170
click to vote
PPSC
2001
15 years 6 months ago
2001
Crew pairing generation is a time consuming part of the complex process of airline crew scheduling. We present a parallel algorithm for this problem's solution and several im...
136
click to vote
IJHPCA
2007
15 years 4 months ago
2007
We describe the rationale behind the design of key features of Titanium—an explicitly parallel dialect of JavaTM for high-performance scientific programming—and our experienc...
173
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
151
Voted
PVM
1997
Springer
15 years 8 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...