4586 search results - page 187 / 918 » Computing stable models in parallel |
184
Voted
HPDC
2011
IEEE
14 years 7 months ago
2011
IEEE
We investigate proactive dynamic load balancing on multicore systems, in which threads are continually migrated to reduce the impact of processor/thread mismatches to enhance the ...
110
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we report our work [24, 26] on extending the J-Sim network simulator [13] to be an integrated environment for both simulation and model checking of network protocol...
144
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
116
click to vote
ICPP
1995
IEEE
15 years 7 months ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
145
Voted
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...