2470 search results - page 189 / 494 » Liveness-Preserving Simulation Relations |
157
click to vote
ICCAD
1995
IEEE
15 years 8 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
154
click to vote
ISCA
1991
IEEE
15 years 8 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
210
click to vote
PARLE
1994
15 years 8 months ago
1994
Sparse matrix-vector multiplication forms the heart of iterative linear solvers used widely in scientific computations (e.g., finite element methods). In such solvers, the matrix-v...
168
click to vote
FAST
2008
15 years 6 months ago
2008
Flash memory has become the most important storage media in mobile devices, and is beginning to replace hard disks in desktop systems. However, its relatively poor random write pe...
136
click to vote
NSDI
2007
15 years 6 months ago
2007
Many existing peer-to-peer content distribution networks (CDNs) such as Na Kika, CoralCDN, and CoDeeN are deployed on PlanetLab, a relatively trusted environment. But scaling them...