default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25. FTCS 1995: Pasadena, California, USA
- Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium on Fault-Tolerant Computing, Pasadena, California, USA, June 27-30, 1995. IEEE Computer Society 1995, ISBN 0-8186-7079-7
A1 - System Architecture
- William E. Baker, Robert W. Horst, David P. Sonnier, William J. Watson:
A Flexible ServerNet-based Fault-Tolerant Architecture. 2-11 - Harrick M. Vin, Prashant J. Shenoy, Sriram Rao:
Efficient Failure Recovery in Multi-Disk Multimedia Servers. 12-21 - Yi-Min Wang, Yennun Huang
, Kiem-Phong Vo, Pi-Yu Chung, Chandra M. R. Kintala:
Checkpointing and Its Applications. 22-31
B1 - Synthesis
- Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita:
Synthesis for Testability by Sequential Redundancy Removal Using Retiming. 33-40 - Ning Jiang, Richard M. Chou, Kewal K. Saluja:
Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. 41-49 - Douglas M. Blough, Fadi J. Kurdahi, Seong Yong Ohm:
Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures. 50-59
C1 - Software Demonstrations I: Systems
- Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal:
The Totem System. 61-66 - Mark Russinovich, Zary Segall:
Fault-Tolerance for Off-The-Shelf Applications and Hardware. 67-71
A2 - Interactive Consistency
- Stefan Poledna:
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor. 73-82 - Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman:
Optimal Resiliency against Mobile Faults. 83-88 - Thijs Krol:
Interactive Consistency Algorithms based on Voting and Error-correcting Codes. 89-98
B2 - Validation and Test
- Trung A. Diep, John Paul Shen:
Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures. 100-109 - Irith Pomeranz, Sudhakar M. Reddy:
LOCSTEP: A Logic Simulation Based Test Generation Procedure. 110-119 - Rolf Krieger, Bernd Becker, Can Ökmen:
OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. 120-129
C2 - Software Demonstrations II: Tools
- Julian M. Bass, Sylvain Metge, Adrian Browne, Peter R. Croll, Peter J. Fleming:
Dependability Modelling in a Prototype Development Framework. 131-136 - Michael R. Lyu, Jinsong S. Yu, Elaine Keramidas, Siddhartha R. Dalal:
ARMOR: Analyzer for Reducing Module Operational Risk. 137-142
A3 - Distributed Algorithms
- Richard W. Buskens, Ronald P. Bianchini Jr.:
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes. 144-153 - Alan Olson, Kang G. Shin, Bruno J. Jambor:
Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages. 154-163 - Sampath Rangarajan, Karunaharan Ratnam, Anton T. Dahbura:
A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks. 164-173 - Jong Kim, Heejo Lee, Sunggu Lee:
Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. 174-183
B3 - Panel I: Dependability of Commercial Systems
A4 - Fault Injection
- Andreas Steininger, Herbert Schweinzer:
A Model for the Analysis of the Fault Injection Process. 186-195 - Jens Güthoff, Volkmar Sieh:
Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method. 196-206 - Peter Dahlgren, Peter Lidén:
A Switch-level Algorithm for Simulation of Transients in Combinational Logic. 207-216
B4 - Self-Checking
- Joakim Ohlsson, Marcus Rimén:
Implicit Signature Checking. 218-227 - Stanislaw J. Piestrak, Takashi Nanya:
Towards Totally Self-Checking Delay-Insensitive Systems. 228-237 - Yingquan Zhou, Mike W. T. Wong, Yinghua Min:
Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers. 238-247
A5 - Modeling and Evaluation
- Stacy A. Doyle, Joanne Bechta Dugan:
Dependability Assessment using Binary Decision Diagrams (BDDs). 249-258 - Meera Balakrishnan, Kishor S. Trivedi:
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. 259-268 - Reinaldo Vallejos Campos, Edmundo de Souza e Silva:
Availability and Performance Evaluation of Database Systems under Periodic Checkpoints. 269-277
B5 - Distributed Shared Memory
- Gaurav Suri, Bob Janssens, W. Kent Fuchs:
Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory. 279-288 - Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut:
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. 289-298 - Andreas Savva, Takashi Nanya:
Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory. 299-308
A6 - Coding
- Eiji Fujiwara, Masato Kitakami:
A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems. 310-319 - Shantanu Dutt, Nihar R. Mahapatra:
Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. 320-329
B6 - Bridging Faults
- Chao Feng, Wei-Kang Huang, Fabrizio Lombardi:
A New Diagnosis Approach for Short Faults in Interconnects. 331-339 - Paul J. Thadikaran, Sreejit Chakravarty, Janak H. Patel:
Fault Simulation ofIDDQ Tests for Bridging Faults in Sequential Circuits. 340-349
C6 - Checkpointing and Recovery
- James S. Plank, Youngbae Kim, Jack J. Dongarra:
Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations. 351-360 - Sean W. Smith, David B. Johnson, J. D. Tygar:
Completely Asynchronous Optimistic Recovery with Minimal Rollbacks. 361-370
A7a - Software Fault Tolerance
- Aki Watanabe, Ken Sakamura:
Design Fault Tolerance in Operating Systems Based on a Standarization Project. 372-380 - Yennun Huang, Chandra M. R. Kintala, Nick Kolettis, N. Dudley Fulton:
Software Rejuvenation: Analysis, Module and Applications. 381-390
A7b - Robust Data Structures
- Jonathan D. Bright, Gregory F. Sullivan:
On-line Error Monitoring for Several Data Structures. 392-401 - Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson:
Checking the Integrity of Trees. 402-411
B7 - Panel II: Dependability of Medical Computing
A8 - Measurement
- Michael F. Buckley, Daniel P. Siewiorek:
VAX/VMS Event Monitoring and Analysis. 414-423 - Ram Chillarege, Shriram Biyani, Jeanette Rosenthal:
Measurement of Failure Rate in Widely Distributed Software. 424-433 - Dong Tang, Myron Hecht:
Evaluation of Software Dependability Based on Stability Test Data. 434-443 - Bev Littlewood, David Wright:
Stopping Rules for the Operational Testing of Safety-Critical Software. 444-451
B8 - Practical Experience Reports I: Architecture
- Heinz Kantz, Christian Koza:
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. 453-458 - Yennun Huang, Yi-Min Wang:
Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems. 459-463 - Nirmal R. Saxena, Chien Chen, Ravi Swami, Hideki Osone, Shalesh Thusoo, David Lyon, David Chang, Anand Dharmaraj, Niteen Patkar, Yizhi Lu, Ben Chia:
Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor System. 464-471 - Babu Turumella, Aiman Kabakibo, Manjunath Bogadi, Karakunakara Menon, Shaleah Thusoo, Long Nguyen, Nirmal R. Saxena, Michael Chow:
Design Verification of a Super-Scalar RISC Processor. 472-477
A9 - Object-Oriented Systems
- Michael Peercy, Prithviraj Banerjee:
Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model. 479-488 - Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert J. Stroud, Zhixue Wu:
Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. 489-498 - Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu:
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. 499-508
B9 - Practical Experience Reports II: Assessment
- Tullio Vardanega, P. David, J.-F. Chane, Wolfgang R. Mader, R. Messaros, Jean Arlat:
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. 510-515 - Ronald Riter:
Modeling and Testing a Critical Fault-Tolerant Multi-Process System. 516-521 - Christopher P. Dingman, Joe Marshall, Daniel P. Siewiorek:
Measuring Robustness of a Fault Tolerant Aerospace System. 522-527 - Roy A. Maxion, Aimee L. deChambeau:
Depenability at the User Interface. 528-535
Panel Synopsis
- Ravishankar K. Iyer, Daniel Lenoski, Joe Hingston, Angelo Pruscino, Jim Shaffer, Eric Scott:
Dependability of Commercial Systems. 537-540 - Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln:
Dependability of Medical Computing. FTCS 1995: 541
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
