7092 search results - page 411 / 1419 » Parallelizing constraint programs |
142
Voted
SC
1995
ACM
15 years 7 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...
145
Voted
ASPLOS
2008
ACM
15 years 5 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
103
Voted
DAC
2003
ACM
16 years 4 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
117
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
230
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...