3742 search results - page 719 / 749 » On the Use of Formal Techniques for Validation |
125
click to vote
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
120
click to vote
ISCA
2009
IEEE
15 years 8 months ago
2009
IEEE
Caching techniques have been an efficient mechanism for mitigating the effects of the processor-memory speed gap. Traditional multi-level SRAM-based cache hierarchies, especially...
144
click to vote
SIGMETRICS
2009
ACM
15 years 8 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...
145
click to vote
HPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
213
click to vote
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...