283 search results - page 47 / 57 » Effective Program Verification for Relaxed Memory Models |
ICS
1999
Tsinghua U.
15 years 3 months ago
1999
Tsinghua U.
Researchers have recently proposed coupling small- to mediumscale multiprocessors to build large-scale shared memory machines, known as multigrain shared memory systems. Multigrai...
CASES
2001
ACM
15 years 3 months ago
2001
ACM
In an embedded system, it is common to have several memory areas with different properties, such as access time and size. An access to a specific memory area is usually restricted...
112
click to vote
EXPCS
2007
15 years 1 months ago
2007
Pipeline Spectroscopy is a new technique that allows us to measure the cost of each cache miss. The cost of a miss is displayed (graphed) as a histogram, which represents a precis...
114
click to vote
DAC
2010
ACM
14 years 12 months ago
2010
ACM
The performance of most embedded systems is critically dependent on the average memory access latency. Improving the cache hit rate can have significant positive impact on the per...
INFOCOM
2009
IEEE
15 years 6 months ago
2009
IEEE
— In this paper, we study sensor enabled landmine networks by formulating a minimum-cost mine selection problem. The problem arises in a target defence scenario, where the object...