10870 search results - page 1975 / 2174 » Model Checking Programs |
125
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
—Remote atomic memory operations are critical for achieving high-performance synchronization in tightly-coupled systems. Previous approaches to implementing atomic memory operati...
119
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Multiple memory banks design is employed in many high performance DSP processors. This architectural feature supports higher memory bandwidth by allowing multiple data memory acce...
112
Voted
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Monitoring applications play an increasingly important role in many domains. They detect events in monitored systems and take actions such as invoke a program or notify an adminis...
114
click to vote
ICPP
2008
IEEE
15 years 8 months ago
2008
IEEE
An asynchronous work-stealing implementation of dynamic load balance is implemented using Unified Parallel C (UPC) and evaluated using the Unbalanced Tree Search (UTS) benchmark ...
114
Voted
ICPP
2008
IEEE
15 years 8 months ago
2008
IEEE
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...