820 search results - page 89 / 164 » Memory System Connectivity Exploration |
121
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
116
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Processors such as StrongARM and memory such as SDRAM enable efficient execution of multiple loads and stores in a single instruction. This is particularly useful in connection wi...
154
Voted
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
Spatial data are common in many scientific and commercial domains such as geographical information systems and gene/protein expression profiles. Querying for distribution patterns...
110
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We pose and study the problem of Byzantine-robust topology discovery in an arbitrary asynchronous network. The problem straction of fault-tolerant routing. We formally state the we...
132
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...