Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

DAC
1996
ACM

favoriteEmaildiscussreport

88views Computer Architecture» more DAC 1996»

Error Correction Based on Verification Techniques

13 years 8 months ago

Error Correction Based on Verification Techniques

Download ir.lib.nthu.edu.tw

Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng

Real-time Traffic

Computer Architecture | DAC 1996 |

claim paper

Related Content

» Workflow Verification Finding ControlFlow Errors Using PetriNetBased Techniques

» Practical verification techniques for widearea routing

» Cycle error correction in asynchronous clock modeling for cyclebased simulation

» Towards mechanized correctness proofs for cryptographic algorithms Axiomatization of a pro...

» On the Security of Digital Signature Schemes Based on ErrorCorrecting Codes

» Evaluating coverage of error detection logic for soft errors using formal methods

» Error correction in singlehop wireless sensor networks A case study

» Parichute Generalized TurbocodeBased Error Correction for NearThreshold Caches

» Detecting and Correcting Errors of Omission After ExplanationBased Learning

Post Info
More Details (n/a)

Added	08 Aug 2010
Updated	08 Aug 2010
Type	Conference
Year	1996
Where	DAC
Authors	Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng

Comments (0)