3441 search results - page 526 / 689 » Parallel Logic Programming Systems |
190
click to vote
HPCA
2011
IEEE
14 years 8 months ago
2011
IEEE
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
197
click to vote
HPDC
2011
IEEE
14 years 8 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 ...
191
click to vote
JSC
2010
14 years 12 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
166
click to vote
IEEEPACT
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
198
click to vote
PPOPP
2003
ACM
15 years 10 months ago
2003
ACM
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...