7092 search results - page 150 / 1419 » Parallelizing constraint programs |
ICS
1992
Tsinghua U.
14 years 2 months ago
1992
Tsinghua U.
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
IPPS
1995
IEEE
14 years 2 months ago
1995
IEEE
For better utilization of computing resources, it is important to consider parallel programming environments in which the number of available processors varies at runtime. In this...
WSC
1998
13 years 12 months ago
1998
This paper describes the design and implementation of MPI-SIM, a library for the execution driven parallel simulation of MPI programs. MPI-LITE, a portable library that supports m...
CONCURRENCY
2000
13 years 10 months ago
2000
OpenMP is emerging as a quasi-standard for shared memory parallel programming on small SMP-systems. To serve as a common programming interface in shared memory parallel programmin...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...