5012 search results - page 158 / 1003 » Distributed Error Correction |
187
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
170
Voted
EMSOFT
2007
Springer
16 years 9 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
177
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We study probabilistic bit-probe schemes for the membership problem. Given a set A of at most n elements from the universe of size m we organize such a structure that queries of t...
146
Voted
CW
2006
IEEE
16 years 6 days ago
2006
IEEE
The geospatial category of simulations is used to show how origin centric techniques can solve a number of accuracy related problems common to 3D computer graphics applications. P...
182
click to vote
CASES
2010
ACM
15 years 2 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...