𝔖 Bobbio Scriptorium

✦ LIBER ✦

Combinatorial Analysis of Check Set Construction for Algorithm-Based Fault Tolerance Systems

✍ Scribed by De-Qiang Wang; Lian-Chang Zhao

Book ID: 110261231
Publisher: Springer US
Year: 1998
Tongue: English
Weight: 65 KB
Volume: 12
Category: Article
ISSN: 0923-8174
DOI: 10.1023/a:1008280801768

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Data Flow Information to Obtain Ef

Using Data Flow Information to Obtain Efficient Check Sets for Algorithm-Based Fault Tolerance

✍ Ragini Narasimhan; Daniel J. Rosenkrantz; S. S. Ravi 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 562 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 4963 || Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 530 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2031 || Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams

✍ Margaria, Tiziana; Yi, Wang 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 309 KB

[IEEE 2012 22nd International Conference

[IEEE 2012 22nd International Conference on Field Programmable Logic and Applications (FPL) - Oslo, Norway (2012.08.29-2012.08.31)] 22nd International Conference on Field Programmable Logic and Applications (FPL) - Overhead and reliability analysis of algorithm-based fault tolerance in FPGA systems

✍ Jacobs, Adam; Cieslewski, Grzegorz; George, Alan D. 📂 Article 📅 2012 🏛 IEEE ⚖ 331 KB