1528 search results - page 165 / 306 » Performance Assertion Checking |
115
Voted
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
MICRO
2007
IEEE
15 years 8 months ago
2007
IEEE
We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core cons...
95
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
88
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Because of its excellent bit-error-rate performance, the Low-Density Parity-Check (LDPC) algorithm is gaining increased attention in communication standards and literature. The ne...
108
Voted
GLOBECOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— We compare the performance of various dynamic query abolishment mechanisms in different unstructured overlay network topologies such as found in several P2P systems. We speciï¬...