39 search results - page 5 / 8 » Practical Evaluation of Opportunistic Error Correction |
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Network Embedded Forward Error Correction (NEF) framework is a paradigm shift from a conventional approach of providing Forward Error Correction (FEC) only on an end-to-end basis....
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Faulty device drivers cause significant damage through down time and data loss. The problem can be mitigated by an improved driver development process that guarantees correctness...
UML
2005
Springer
14 years 1 months ago
2005
Springer
In Model Integrated Computing, it is often desirable to evaluate different design alternatives as they relate to issues of scalability. A typical approach to address scalability is...