Sciweavers

313 search results - page 2 / 63
» Error Correction Based on Verification Techniques
Sort
View
DCC
2003
IEEE
14 years 4 months ago
On the Security of Digital Signature Schemes Based on Error-Correcting Codes
In this paper we discuss the security of digital signature schemes based on error? correcting codes. Several attacks to the Xinmei scheme are surveyed, and some reasons given to e...
Sheng-Bo Xu, Jeroen Doumen, Henk C. A. van Tilborg
DATE
2006
IEEE
141views Hardware» more  DATE 2006»
13 years 11 months ago
Evaluating coverage of error detection logic for soft errors using formal methods
—In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining faultinjection in high level design (HLD) descriptions with a forma...
Udo Krautz, Matthias Pflanz, Christian Jacobi 0002...
DATE
2009
IEEE
110views Hardware» more  DATE 2009»
14 years 1 days ago
Error correction in single-hop wireless sensor networks - A case study
—Energy efficient communication is a key issue in wireless sensor networks. Common belief is that a multi-hop configuration is the only viable energy efficient technique. In t...
Daniel Schmidt 0001, Matthias Berning, Norbert Weh...
MICRO
2010
IEEE
132views Hardware» more  MICRO 2010»
13 years 3 months ago
Parichute: Generalized Turbocode-Based Error Correction for Near-Threshold Caches
Energy efficiency is a primary concern for microprocessor designers. A very effective approach to improving the energy efficiency of a chip is to lower its supply voltage to very ...
Timothy N. Miller, Renji Thomas, James Dinan, Bruc...
IJCAI
1989
13 years 6 months ago
Detecting and Correcting Errors of Omission After Explanation-Based Learning
In this paper, we address an issue that arises when the background knowledge used by explanationbased learning is incorrect. In particular, we consider the problems that can be ca...
Michael J. Pazzani