86 search results - page 6 / 18 » Automatic memory reclamation for lock-free data structures |
DAC
2009
ACM
14 years 8 months ago
2009
ACM
This paper introduces Way Stealing, a simple architectural modification to a cache-based processor to increase data bandwidth to and from application-specific Instruction Set Exte...
VISUALIZATION
1999
IEEE
13 years 11 months ago
1999
IEEE
Computer simulation and digital measuring systems are now generating data of unprecedented size. The size of data is becoming so large that conventional visualization tools are in...
FMCO
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
ACMMSP
2005
ACM
14 years 1 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
ICCS
2004
Springer
14 years 25 days ago
2004
Springer
On cc-NUMA multi-processors, the non-uniformity of main memory latencies motivates the need for co-location of threads and data. We call this special form of data locality, geogra...