ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Digital Library logoTake a look at the new version of this page: [ beta version ]. Tell us what you think.
Design & analysis of fault tolerant digital systems
  Purchase this Book  
Source Addison-Wesley Longman Publishing Co., Inc.   Boston, MA, USA
Pages: 640  
Year of Publication: 1988
ISBN:0-201-07570-9
Editor
Barry W. Johnson
Publisher
Addison-Wesley Longman Publishing Co., Inc.  Boston, MA, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 91
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Book  

CITED BY  92
Balakrishnan Iyer , Ramesh Karri , Israel Koren, Phantom redundancy: a high-level synthesis approach for manufacturability, Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, p.658-661, November 05-09, 1995, San Jose, California, United States
Ramesh Karri , Balakrishnan Iyer, Introspection: A register transfer level technique for cocurrent error detection and diagnosis in data dominated designs, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.6 n.4, p.501-515, October 2001
Juan A. Carrasco, Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems, IEEE Transactions on Computers, v.51 n.3, p.254-268, March 2002
Marco Schneider, Self-stabilization, ACM Computing Surveys (CSUR), v.25 n.1, p.45-67, March 1993
Lori M. Kaufman , Barry W. Johnson , Joanne Bechta Dugan, Coverage estimation using statistic of the extremes for when testing reveals no failures: 3, IEEE Transactions on Computers, v.51 n.1, p.12, January 2002
Matthias Pflanz , Heinrich Theodor Vierhaus, Online Check and Recovery Techniques for Dependable Embedded Processors, IEEE Micro, v.21 n.5, p.24-40, September 2001
Alex Orailoglu , Ramesh Karri, Automatic Synthesis of Self-Recovering VLSI Systems, IEEE Transactions on Computers, v.45 n.2, p.131-142, February 1996
Elias Procópio Duarte , Glenn Mansfield , Takashi Nanya , Shoichi Noguchi, Improving the dependability of network management systems, International Journal of Network Management, v.8 n.4, p.244-253, July–August 1998
Mendel Rosenblum , John Chapin , Dan Teodosiu , Scott Devine , Tirthankar Lahiri , Anoop Gupta, Implementing efficient fault containment for multiprocessors: confining faults in a shared-memory multiprocessor environment, Communications of the ACM, v.39 n.9, p.52-61, Sept. 1996
Ronald D. Williams , Barry W. Johnson , Thomas E. Roberts, An Operating System for a Fault-Tolerant Multiprocessor Controller, IEEE Micro, v.8 n.4, p.18-29, July 1988
Wee Teck Ng , Peter M. Chen, The Design and Verification of the Rio File Cache, IEEE Transactions on Computers, v.50 n.4, p.322-337, April 2001
Joseph A. Profeta III , Nikos P. Andrianos , Bing Yu , Barry W. Johnson , Todd A. DeLong , David Guaspari , Damir Jamsek, Safety-Critical Systems Built with COTS, Computer, v.29 n.11, p.54-60, November 1996
Lori M. Kaufman , Barry W. Johnson , Joanne Bechta Dugan, Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures, IEEE Transactions on Computers, v.51 n.1, p.3-12, January 2002
Kaijie Wu , Ramesh Karri, Algorithm level re-computing: a register transfer level concurrent error detection technique, Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design, November 04-08, 2001, San Jose, California
Ing-Ray Chen , Farokh B. Bastani , Ta-Wei Tsao, On the Reliability of AI Planning Software in Real-Time Applications, IEEE Transactions on Knowledge and Data Engineering, v.7 n.1, p.4-13, February 1995
Ing-Ray Chen , Ding-Chau Wang , Chih-Ping Chu, Analyzing User-Perceived Dependability and Performance Characteristics of Voting Algorithms for Managing Replicated Data, Distributed and Parallel Databases, v.14 n.3, p.199-219, November 2003
Shyue-Kung Lu, A Novel Built-In Self-Repair Approach for Embedded RAMs, Journal of Electronic Testing: Theory and Applications, v.19 n.3, p.315-324, June 2003
Y. Ting , F. M. Shan , W. B. Lu , C. H. Chen, Implementation and evaluation of failsafe computer-controlled systems, Computers and Industrial Engineering, v.42 n.2-4, p.401-415, June 2002
G. R. Redinbo , L. M. Napolitano, Jr. , D. D. Andaleon, Multibit Correcting Data Interface for Fault-Tolerant Systems, IEEE Transactions on Computers, v.42 n.4, p.433-446, April 1993
Hee Yong Youn , Choong Gun Oh , Hyunseung Choo , Jin-Wook Chung , Dongman Lee, An Efficient Algorithm-Based Fault Tolerance Design Using the Weighted Data-Check Relationship, IEEE Transactions on Computers, v.50 n.4, p.371-383, April 2001
Vytautas Štuikys , Robertas Damaševičius, Metaprogramming techniques for designing embedded components for ambient intelligence, Ambient intelligence: impact on embedded system design, Kluwer Academic Publishers, Norwell, MA, 2003
Paul Richardson , Larry Sieh , Ali M. Elkateeb, Fault-Tolerant Adaptive Scheduling for Embedded Real-Time Systems, IEEE Micro, v.21 n.5, p.41-51, September 2001
R. Karri , A. Orailoglu, Transformation-based high-level synthesis of fault-tolerant ASICs, Proceedings of the 29th ACM/IEEE conference on Design automation, p.662-665, June 08-12, 1992, Anaheim, California, United States
Lampros Kalampoukas , Dimitris Nikolos , Costas Efstathiou , Haridimos T. Vergos , John Kalamatianos, High-Speed Parallel-Prefix Modulo 2n - 1 Adders, IEEE Transactions on Computers, v.49 n.7, p.673-680, July 2000
Donald Shaw , Dhamin Al-Khalili , Come Rozon, Fault security analysis of CMOS VLSI circuits using defect-injectable VHDL models, Integration, the VLSI Journal, v.32 n.1-3, p.77-97, November 2002
Daniel Mossé , Rami Melhem , Sunondo Ghosh, A Nonpreemptive Real-Time Scheduler with Recovery from Transient Faults and Its Implementation, IEEE Transactions on Software Engineering, v.29 n.8, p.752-767, August 2003
Janusz Sosnowski, Transient Fault Tolerance in Digital Systems, IEEE Micro, v.14 n.1, p.24-35, February 1994
Fadi N. Sibai, A Fault-Tolerant Digital Artificial Neuron, IEEE Design & Test, v.10 n.4, p.76-82, October 1993
Dhiraj K. Pradhan , Nitin H. Vaidya, Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off, IEEE Transactions on Computers, v.46 n.3, p.372-378, March 1997
T. Feng , B. Jin , J. Wang , N. Park , Y. B. Kim , F. Lombardi, Fault tolerant clockless wave pipeline design, Proceedings of the 1st conference on Computing frontiers, April 14-16, 2004, Ischia, Italy
Nitin H. Vaidya, Comparison of Duplex and Triplex Memory Reliability, IEEE Transactions on Computers, v.45 n.4, p.503-507, April 1996
Dwight S. Wilson , Gregory F. Sullivan , Gerald M. Masson, Certification of Computational Results, IEEE Transactions on Computers, v.44 n.7, p.833-847, July 1995
Santhanam Srinivasan , Niraj K. Jha, Safety and Reliability Driven Task Allocation in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, v.10 n.3, p.238-251, March 1999
N. F. Vaidya , D. K. Pradhan, Fault-Tolerant Design Strategies for High Reliability and Safety, IEEE Transactions on Computers, v.42 n.10, p.1195-1206, October 1993
Sunondo Ghosh , Rami Melhem , Daniel Mossé, Fault-Tolerance Through Scheduling of Aperiodic Tasks in Hard Real-Time Multiprocessor Systems, IEEE Transactions on Parallel and Distributed Systems, v.8 n.3, p.272-284, March 1997
Chun-Hua Yang , Geert Deconinck , Wei-Hua Gui, Fault-tolerant scheduling for real-time embedded control systems, Journal of Computer Science and Technology, v.19 n.2, p.191-202, March 2004
Hussain Al-Asaad , Brian T. Murray , John P. Hayes, Online BIST for Embedded Systems, IEEE Design & Test, v.15 n.4, p.17-24, October 1998
Rami Melhem , Daniel Mossé , Elmootazbellah (Mootaz) Elnozahy, The Interplay of Power Management and Fault Recovery in Real-Time Systems, IEEE Transactions on Computers, v.53 n.2, p.217-231, February 2004
Arash Reyhani-Masoleh , M. Anwar Hasan, Towards fault-tolerant cryptographic computations over finite fields, ACM Transactions on Embedded Computing Systems (TECS), v.3 n.3, p.593-613, August 2004
André Ivanov , Barry K. Tsuji , Yervant Zorian, Programmable BIST Space Compactors, IEEE Transactions on Computers, v.45 n.12, p.1393-1404, December 1996
Anish Arora , Mohamed Gouda, Closure and Convergence: A Foundation of Fault-Tolerant Computing, IEEE Transactions on Software Engineering, v.19 n.11, p.1015-1027, November 1993
Ghazanfar Asadi , Mehdi B. Tahoori, Soft error rate estimation and mitigation for SRAM-based FPGAs, Proceedings of the 2005 ACM/SIGDA 13th international symposium on Field-programmable gate arrays, February 20-22, 2005, Monterey, California, USA
Jim Gray , Daniel P. Siewiorek, High-Availability Computer Systems, Computer, v.24 n.9, p.39-48, September 1991
C. A. L. Lisbôa , E. Schüler , Luigi Carro, Going beyond TMR for protection against multiple faults, Proceedings of the 18th annual symposium on Integrated circuits and system design, September 04-07, 2005, Florianolpolis, Brazil
G. Robert Redinbo, Generalized Algorithm-Based Fault Tolerance: Error Correction via Kalman Estimation, IEEE Transactions on Computers, v.47 n.6, p.639-655, June 1998
Lee A. Belfore, II , Barry W. Johnson, The Analysis of the Faulty Behavior of Synchronous Neural Networks, IEEE Transactions on Computers, v.40 n.12, p.1424-1429, December 1991
Abhijit Chatterjee , Rabindra K. Roy, Concurrent Error Detection in Nonlinear Digital Circuits Using Time-Freeze Linearization, IEEE Transactions on Computers, v.46 n.11, p.1208-1218, November 1997
W. Lynn Gallagher , Earl E. Swartzlander, Jr., Fault-Tolerant Newton-Raphson and Goldschmidt Dividers Using Time Shared TMR, IEEE Transactions on Computers, v.49 n.6, p.588-595, June 2000
Costas Efstathiou , Haridimos T. Vergos , Dimitris Nikolos, Modulo 2n ± 1 Adder Design Using Select-Prefix Blocks, IEEE Transactions on Computers, v.52 n.11, p.1399-1406, November 2003
R. M. Kieckhafer , M. H. Azadmanesh, Reaching Approximate Agreement with Mixed-Mode Faults, IEEE Transactions on Parallel and Distributed Systems, v.5 n.1, p.53-63, January 1994
Chung Fan Liu , Chyi Nan Chen, A sliding-agent-group communication model for constructing a robust roaming environment over internet, Mobile Networks and Applications, v.8 n.1, p.61-74, February 2003
Jenn-Wei Lin , Joseph Arul, An Efficient Fault-Tolerant Approach for Mobile IP in Wireless Systems, IEEE Transactions on Mobile Computing, v.2 n.3, p.207-220, March 2003
Alireza Ejlali , Marcus T. Schmitz , Bashir M. Al-Hashimi , Seyed Ghassem Miremadi , Paul Rosinger, Energy efficient SEU-tolerance in DVS-enabled real-time systems through information redundancy, Proceedings of the 2005 international symposium on Low power electronics and design, August 08-10, 2005, San Diego, CA, USA
Hao-Yung Lo , Hsiu-Feng Lin , Chichyang Chen , Jenshiuh Liu , Chia-Cheng Liu, Built-in Test with Modified-Booth High-Speed Pipelined Multipliers and Dividers, Journal of Electronic Testing: Theory and Applications, v.19 n.3, p.245-269, June 2003
Tongquan Wei , Kaijie Wu , Ramesh Karri , Alex Orailoglu, Fault tolerant quantum cellular array (QCA) design using Triple Modular Redundancy with shifted operands, Proceedings of the 2005 conference on Asia South Pacific design automation, January 18-21, 2005, Shanghai, China
Yervant Zorian , André Ivanov, An Effective BIST Scheme for ROM's, IEEE Transactions on Computers, v.41 n.5, p.646-653, May 1992
M. H. Azadmanesh , R. M. Kieckhafer, New Hybrid Fault Models for Asynchronous Approximate Agreement, IEEE Transactions on Computers, v.45 n.4, p.439-449, April 1996
Isaac Yi-Yuan Lee , Sheng-De Wang, A Versatile Ring-Connected Hypercube, IEEE Micro, v.14 n.3, p.60-67, June 1994
Mengly Chean , Jose A. B. Fortes, A Taxonomy of Reconfiguration Techniques for Fault-Tolerant Processor Arrays, Computer, v.23 n.1, p.55-69, January 1990
Jian-Hui Jiang, An error recoverable structure based on complementary logic and alternating-retry, Journal of Computer Science and Technology, v.20 n.6, p.885-894, November 2005
Vincenzo De Florio , Chris Blondia, The algorithm of pipelined gossiping, Journal of Systems Architecture: the EUROMICRO Journal, v.52 n.4, p.235-256, April 2006
Goutam Kumar Saha, Software based fault tolerance: a survey, Ubiquity, v.7 n.25, p.1-1, July 5, 2006 - July 10, 2006
Jonathan D. Bright , Gregory F. Sullivan , Gerald M. Masson, A Formally Verified Sorting Certifier, IEEE Transactions on Computers, v.46 n.12, p.1304-1312, December 1997
Jien-Chung Lo, Analysis of a BICS-Only Concurrent Error Detection Method, IEEE Transactions on Computers, v.51 n.3, p.241-253, March 2002
Theodora A. Varvarigou , Miltiadis E. Anagnostou , Sudhir R. Ahuja, Reconfiguration Models and Algorithms for Stateful Interactive Processes, IEEE Transactions on Software Engineering, v.25 n.3, p.401-415, May 1999
Alireza Ejlali , Bashir M. Al-Hashimi , Marcus T. Schmitz , Paul Rosinger , Seyed Ghassem Miremadi, Combined time and information redundancy for SEU-tolerance in energy-efficient real-time systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.14 n.4, p.323-335, April 2006
Lorenzo Petroli , Carlos Arthur Lisboa , Fernanda Lima Kastensmidt , Luigi Carro, Majority Logic Mapping for Soft Error Dependability, Journal of Electronic Testing: Theory and Applications, v.24 n.1-3, p.83-92, June 2008
Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
Y. Xie , L. Li , M. Kandemir , N. Vijaykrishnan , M. J. Irwin, Reliability-aware Co-synthesis for Embedded Systems, Journal of VLSI Signal Processing Systems, v.49 n.1, p.87-99, October 2007
Hossein Asadi , Vilas Sridharan , Mehdi B. Tahoori , David Kaeli, Vulnerability analysis of L2 cache elements to single event upsets, Proceedings of the conference on Design, automation and test in Europe: Proceedings, March 06-10, 2006, Munich, Germany
Lucian Prodan , Mihai Udrescu , Mircea Vladutiu, A dependability perspective on emerging technologies, Proceedings of the 3rd conference on Computing frontiers, May 03-05, 2006, Ischia, Italy
Lucian Prodan , Mihai Udrescu , Oana Boncalo , Mircea Vladutiu, Design for dependability in emerging technologies, ACM Journal on Emerging Technologies in Computing Systems (JETC), v.3 n.2, p.6-es, July 2007
Naghmeh Karimi , Shahrzad Mirkhani , Zainalabedin Navabi , Fabrizio Lombardi, RT level reliability enhancement by constructing dynamic TMRS, Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI, March 11-13, 2007, Stresa-Lago Maggiore, Italy
Delfina Malandrino , Giuseppina Palmieri , Vittorio Scarano, Visualizing processes on the web, Journal of Visual Languages and Computing, v.18 n.6, p.592-612, December, 2007
Lorenzo Petroli , Carlos A. Lisboa , Fernanda L. Kastensmidt , Luigi Carro, Using majority logic to cope with long duration transient faults, Proceedings of the 20th annual conference on Integrated circuits and systems design, September 03-06, 2007, Copacabana, Rio de Janeiro
Di Wu , G. Venkataraman , Jiang Hu , Quiyang Li , R. Mahapatra, DiCER: distributed and cost-effective redundancy for variation tolerance, Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, p.393-397, November 06-10, 2005, San Jose, CA
Sunondo Ghosh , Rami Melhem , Daniel Mossé , Joydeep Sen Sarma, Fault-Tolerant Rate-Monotonic Scheduling, Real-Time Systems, v.15 n.2, p.149-181, Sept. 1998
Antonis Paschalis , Dimitris Gizopoulos , Nikolaos Gaitanis, Concurrent Delay Testing in Totally Self-Checking Systems, Journal of Electronic Testing: Theory and Applications, v.12 n.1-2, p.55-61, Feb./April 1998
Piero Olivo , Marcello Dalpasso, A Bist Scheme for Non-Volatile Memories, Journal of Electronic Testing: Theory and Applications, v.12 n.1-2, p.139-144, Feb./April 1998
Rex E. Gantenbein, An annotated bibliography of dependable distributed computing, ACM SIGOPS Operating Systems Review, v.26 n.2, p.60-81, April 1992
Paul Pop , Kåre Harbo Poulsen , Viacheslav Izosimov , Petru Eles, Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, September 30-October 03, 2007, Salzburg, Austria
Miaomiao Zhang , Wenzhong Qin, Parametric Analysis of an Improved Fault Tolerant System, Electronic Notes in Theoretical Computer Science (ENTCS), 207, p.121-136, April, 2008
Carlos A. L. Lisboa , Fernanda G. L. Kastensmidt , Luigi Carro, Analyzing the effects of the granularity of recomputation based techniques to cope with radiation induced soft errors, Proceedings of the 2008 workshop on Radiation effects and fault tolerance in nanometer technologies, p.329-338, May 05-07, 2008, Ischia, Italy
Yung-Yuan Chen , Kuen-Long Leu , Kun-Chun Chang, Datapath error detection with no detection latency for high-performance microprocessors, WSEAS Transactions on Computers, v.7 n.8, p.1337-1351, August 2008
Swaroop Ghosh , Patrick Ndai , Kaushik Roy, A novel low overhead fault tolerant Kogge-Stone adder using adaptive clocking, Proceedings of the conference on Design, automation and test in Europe, March 10-14, 2008, Munich, Germany
Su-Hon Lin , Ming-Hwa Sheu, Area-Time Efficient Modulo 2n-1 Adder Design Using Hybrid Carry Selection, IEICE - Transactions on Information and Systems, v.E91-D n.2, p.361-362, February 2008
Elena Dubrova, Bio-inspired fault-tolerance, Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems, November 25-28, 2008, Hyogo, Japan
Demid Borodin , B. H. Juurlink , Said Hamdioui , Stamatis Vassiliadis, Instruction-Level Fault Tolerance Configurability, Journal of Signal Processing Systems, v.57 n.1, p.89-105, October 2009
Wei Luo , Xiao Qin , Xian-Chun Tan , Ke Qin , Adam Manzanares, Exploiting redundancies to enhance schedulability in fault-tolerant and real-time distributed systems, IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, v.39 n.3, p.626-639, May 2009
Wolfgang W. Bein , Doina Bein , Srilaxmi Malladi, Reliability and fault tolerance of coverage models for sensor networks, International Journal of Sensor Networks, v.5 n.4, p.199-209, August 2009
Haiping Xu , Liudong Xing, Formal semantics and verification of dynamic reliability block diagrams for system reliability modeling, Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, November 19-21, 2007, Cambridge, Massachusetts
Maryam Ashouei , Abhijit Chatterjee, Checksum-based probabilistic transient-error compensation for linear digital systems, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.17 n.10, p.1447-1460, October 2009

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
      Subjects: Electronics

Additional Classification:
  B. Hardware
  B.2 ARITHMETIC AND LOGIC STRUCTURES


General Terms:
Design, Reliability

Collaborative Colleagues:
Barry W. Johnson: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player