29. FTCS 1999: Madison, Wisconsin, USA

Algorithm-Based Fault Tolerance

• Paula Prata, João Gabriel Silva:
  Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations. 4-11
  
• Amitabh Mishra, Prithviraj Banerjee:
  An Algorithm Based Error Detection Scheme for the Multigrid Algorithm. 12-19
  

Operating Systems

• Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat:
  MetaKernels and Fault Containment Wrappers. 22-29
  
• Philip Koopman, John DeVale:
  Comparing the Robustness of POSIX Operating Systems. 30-37
  

Checkpointing I

• Dwight Sunada, David Glasco, Michael J. Flynn:
  Multiprocessor Architecture Using an Audit Trail for Fault Tolerance. 40-47
  
• Sriram Rao, Lorenzo Alvisi, Harrick M. Vin:
  Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance. 48-55
  
• Carlos Pérez, Germán Fabregat, Rafael J. Martínez, G. Martín:
  Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data. 56-63
  

Design of Fault-Tolerant Systems

• Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke:
  Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. 68-75
  
• Wee Teck Ng, Peter M. Chen:
  The Systematic Improvement of Fault Tolerance in the Rio File Cache. 76-83
  
• Eric Rotenberg:
  AR-SMT: A Microarchitectural Approach to Fault Tolerance in Microprocessors. 84-91
  

Networking Issues I

• G. Mohan, C. Siva Ram Murthy:
  Routing and Wavelength Assignment for Establishing Dependable Connections in WDM Networks. 94-101
  
• Bhaskar Maruthi, Arun K. Somani, Murat Azizoglu:
  Interference Robust TCP. 102-109
  
• Govind Krishnamurthi, Arun K. Somani:
  Effect of Failures on Optimal Location Management Algorithms. 110-117
  

Panel

• Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson:
  COTS Hardware and Software in High-Availability Systems (Panel). 120
  

Diagnosis and Reconfiguration

• Nihar R. Mahapatra, Shantanu Dutt:
  Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAs. 122-129
  
• Wenyi Feng, Fred J. Meyer, Fabrizio Lombardi:
  Two-Step Algorithms for Maximal Diagnosis of Wiring Interconnects. 130-137
  
• Béchir el Ayeb:
  Fault Identification Algorithmic: A New Formal Approach. 138-145
  

CORBA and Group Communication

• Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan:
  A Fault Tolerance Framework for CORBA. 150-157
  
• JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi:
  The Performance of Database Replication with Group Multicast. 158-165
  
• Shivakant Mishra, Lan Fei, Guming Xing:
  Design, Implementation and Performance Evaluation of a CORBA Group Communication Service. 166-173
  
• Takako M. Hickey, Robbert van Renesse:
  An Execution Service for a Partitionable Low Bandwidth Network. 174-181
  

Coding and On-Line Testing

• Emmanuel Simeu, Arno W. Peters, Iyad Rayane:
  Automatic Design of Optimal Concurrent Fault Detector for Linear Analog Systems. 184-191
  
• Luca G. Tallini, Bella Bose:
  Some Transmission Time Analysis for the Parallel Asynchronous Communication Scheme. 192-199
  
• G. Robert Redinbo, Ranjit Manomohan:
  Fault Tolerance, Channel Coding and Arithmetic Source Coding Combined. 200-207
  
• Andreas Steininger, Christoph Scherrer:
  On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study. 208-215
  

Software Demonstrations and Practical Experience Reports

• P. Emerald Chung, Woei-Jyh Lee, Yennun Huang, Deron Liang, Chung-Yih Wang:
  Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT Applications. 220-223
  
• William R. Dieter, James E. Lumpp Jr.:
  A User-Level Checkpointing Library for POSIX Threads Programs. 224-227
  
• Christoph Lindemann, Andreas Reuys, Axel Thümmler:
  The DSPNexpress 2.000 Performance and Dependability Modeling Environment. 228-231
  
• Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit:
  The Galileo Fault Tree Analysis Tool. 232-235
  

Special Seminar

• Marc Dacier, O. Sami Saydjari:
  Special Seminar: Intrusion Detection. 238
  

Checkpointing II

• Lorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel:
  An Analysis of Communication Induced Checkpointing. 242-249
  
• James S. Plank, Michael G. Thomason:
  The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime Parameters. 250-257
  

Testing

• Ilker Hamzaoglu, Janak H. Patel:
  Reducing Test Application Time for Full Scan Embedded Cores. 260-267
  
• Harry Hengster, Bernd Becker:
  Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability. 268-275
  

Networking Issues II

• Craig Labovitz, Abha Ahuja, Farnam Jahanian:
  Experimental Study of Internet Stability and Backbone Failures. 278-285
  
• José Rufino, Paulo Veríssimo, Guilherme Arroz:
  A Columbus' Egg Idea for CAN Media Redundancy. 286-293
  
• Bin Yao, Kuo-Feng Ssu, W. Kent Fuchs:
  Message Logging in Mobile Computing. 294-301
  

Dependability Evaluation

• Maitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd:
  Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems. 306-313
  
• Purnendu Sinha, Neeraj Suri:
  Identification of Test Cases Using a Formal Approach. 314-321
  
• Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik:
  Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance. 322-329
  
• Xinyu Zang, Hairong Sun, Kishor S. Trivedi:
  Dependability Analysis of Distributed Computer Systems with Imperfect Coverage. 330-337
  

Practical Experience Reports

• Meng-Lai Yin, Lawrence E. James, Rafael R. Arellano, Raymond V. Hettwer:
  Real Time Estimation for Usage-Dependent Reliability on a Dual-Backbone Network Subsystem. 340-343
  
• Anup K. Ghosh, Matthew Schmid, Frank Hill:
  Wrapping Windows NT Software for Robustness. 344-347
  
• Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer:
  Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt. 348-351
  
• Kamran Zarrineh, Shambhu J. Upadhyaya:
  Programmable Memory BIST and a New Synthesis Framework. 352-355
  

Last update Sat May 25 02:55:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page