340 search results - page 31 / 68 » The Potential of Carbon-Based Memory Systems |
182
click to vote
CASES
2003
ACM
15 years 11 months ago
2003
ACM
Dynamic software optimization methods are becoming increasingly popular for improving software performance and power. The first step in dynamic optimization consists of detecting ...
176
click to vote
VLDB
1999
ACM
15 years 10 months ago
1999
ACM
As random access memory gets cheaper, it becomes increasingly affordable to build computers with large main memories. We consider decision support workloads within the context of...
178
click to vote
IROS
2007
IEEE
16 years 9 days ago
2007
IEEE
Abstract— Vision-based place recognition is a desirable feature for an autonomous mobile system. In order to work in realistic scenarios, visual recognition algorithms should be ...
154
click to vote
CC
2001
Springer
15 years 10 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...
133
click to vote
ISCA
1998
IEEE
15 years 10 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...