default search action
DSN 2001: Göteborg, Sweden
- 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings. IEEE Computer Society 2001, ISBN 0-7695-1101-5
Session 2A: Modeling - John Meyer
- Peter T. Popov
, Lorenzo Strigini:
The Reliability of Diverse Systems: A Contribution Using Modelling of the Fault Creation Process. 5-14 - Elaine J. Weyuker:
Difficulties Measuring Software Risk in an Industrial Environment. 15-24 - Subhasish Mitra, Nirmal R. Saxena, Edward J. McCluskey:
Techniques for Estimation of Design Diversity for Combinational Logic Circuits. 25-36
Session 2B: Algorithms - David Powell
- G. Robert Redinbo:
Concurrent Error Detection in Fast Unitary Transform Algorithms. 37-46 - John A. Gunnels, Robert A. van de Geijn, Daniel S. Katz
Fault-Tolerant High-Performance Matrix Multiplication: Theory and Practice. 47-56 - Ulrich Schmid:
How to Model Link Failures: A Perception-Based Fault Model. 57
Session 2C: Panel
- Michele Morganti:
Dependability of Mobile Networks and Services: Can We Rely on Them? DSN 2001: 13
Session 3A: Software Demos - T. Basil Smith
- Chi-Yi Lin, Sy-Yen Kuo, Yennun Huang
A Checkpointing Tool for Palm Operating System. 71-76 - Yiannis Papadopoulos
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. 77-82 - Joakim Aidemark, Jonny Vinter
GOOFI: Generic Object-Oriented Fault Injection Tool. 83-88 - Peter Liggesmeyer, Oliver Mäckel:
Quantifying the Reliability of Embedded Systems by Automated Analysis. 89-96
Session 3B: Replication - Jean-Claude Laprie
- Yun Wang, Francisco Vilar Brasileiro, Emmanuelle Anceaume, Fabíola Greve, Michel Hurfin:
Avoiding Priority Inversion on the Processing of Requests by Active Replicated Servers. 97-106 - Sudha Krishnamurthy, William H. Sanders, Michel Cukier:
A Dynamic Replica Selection Algorithm for Tolerating Timing Faults. 107-116 - Bettina Kemme, Alberto Bartoli
Online Reconfiguration in Replicated Databases Based on Group Communication. 117-130
Session 4A: Software Robustness - David Taylor
- Laurent Réveillère, Gilles Muller:
Improving Driver Robustness: An Evaluation of the Devil Approach. 131-140 - Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang
Robustness Testing and Hardening of CORBA ORB Implementations. 141-150 - Eliane Martins, Cristina Maria Toyota, Rosileny Lie Yanagawa:
Constructing Self-Testable Software Components. 151-160 - Martin Hiller, Arshad Jhumka, Neeraj Suri
An Approach for Analysing the Propagation of Data Errors in Software. 161-172
Session 4B: Survivability and Security - Yves Deswarte
- Matti A. Hiltunen, Richard D. Schlichting, Carlos A. Ugarte:
Enhancing Survivability of Security Services Using Redundanc. 173-182 - Christian Cachin:
Distributing Trust on the Internet . 183-192 - Chenxi Wang, Jonathan Hill, John C. Knight, Jack W. Davidson:
Protection of Software-Based Survivability Mechanisms. 193-202 - Bruno Dutertre, Hassen Saïdi, Victoria Stavridou:
Intrusion-Tolerant Group Management in Enclaves. 203-214
Session 5A: Wireless and Mobile Communications - Andrea Bondavalli
- Stefan Pleisch, André Schiper:
FATOMAS-A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent Approach. 215-224 - Saurabh Bagchi, Y. Liu, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Ytzhak H. Levendel, Lawrence G. Votta:
A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. 225-234 - F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. 235-250
Session 6A: Consistency - Elmootazbellah Elnozahy
- Subramanian Lakshmanan, Mustaque Ahamad, H. Venkateswaran:
A Secure and Highly Available Distributed Store for Meeting Diverse Data Storage Needs. 251-260 - Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. 261-270 - Janghoon Lyu, Youngjin Kim, Yongsub Kim, Inhwan Lee:
A Procedure-Based Dynamic Software Update. 271-284
Session 7A: Real-Time - Gerhard Fohler
- Songkuk Kim, Daji Qiao, Sharath Kodase, Kang G. Shin:
Design and Evaluation of Routing Schemes for Dependable Real-Time Connections. 285-294 - Jong Kim, Kang G. Shin:
Performance Evaluation of Dependable Real-Time Communication with Elastic QoS. 295-303 - Pascal Chevochot, Isabelle Puaut:
Experimental Evaluation of the Fail-Silent Behavior of a Distributed Real-Time Run-Time Support Built from COTS Components. 304-313 - João Carlos Cunha
A Study of Failure Models in Feedback Control Systems. 314-326
Session 7B: Testing and Runtime Error Detection - Henrique Madeira
- Juan-Carlos Ruiz-Garcia
A Strategy for Testing MetaObject Protocols in Reflective Architectures. 327-336 - Noritaka Kobayashi, Tatsuhiro Tsuchiya
Applicability of Non-Specification-Based Approaches to Logic Testing for Software. 337-346 - Jonny Vinter
Reducing Critical Failures for Control Algorithms Using Executable Assertions and Best Effort Recover. 347-356 - Jiannong Cao
Run-Time Fault Detection in Monitor Based Concurrent Programming. 357-368
Session 8A: Models for Fault Tolerance - Andras Pataricza
- Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders:
Synergistic Coordination between Software and Hardware Fault Tolerance Techniques. 369-378 - Simona Bernardi
Performance Validation of Fault-Tolerance Software: A Compositional Approach. 379-388 - Anish Arora, Murat Demirbas, Sandeep S. Kulkarni:
Graybox Stabilization. 389-400
Session 8B: Hardware Architecture and Design - Joerg Kaiser
- Joel B. Nickel, Arun K. Somani:
REESE: A Method of Soft Error Detection in Microprocessors. 401-410 - Christopher T. Weaver, Todd M. Austin:
A Fault Tolerant Approach to Microprocessor Design. 411-420 - Jun Xu, Shuo Chen, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Experimental Study of Security Vulnerabilities Caused by Errors. 421-432
Session 9A: Group-Oriented Systems - Yair Amir
- Indranil Gupta, Robbert van Renesse, Kenneth P. Birman
Scalable Fault-Tolerant Aggregation in Large Process Groups. 433-442 - Patrick Th. Eugster, Rachid Guerraoui
Lightweight Probabilistic Broadcast. 443-452 - David E. Bakken, Zhiyuan Zhan, Christopher C. Jones, David A. Karr:
Middleware Support for Voting and Data Fusion. 453-462 - Yi-Min Wang, Paramvir Bahl, Wilf Russell:
The SIMBA User Alert Service Architecture for Dependable Alert Delivery. 463-474
Session 9B: Practical Experience I - W. Kent Fuchs
- David A. Rennels, Riki Hwang:
Recovery in Fault-Tolerant Distributed Microcontrollers. 475-480 - Pradip Bose:
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation. 481-486 - Thomas C. Bressoud, Tom Clark, Ti Kan:
The Design and Use of Persistent Memory on the DNCP Hardware Fault-Tolerant Platform. 487-492 - Bob Bentley:
alidating the Intel® Pentium® 4 Microprocessor. 493-500
Session 10A: Practical Experience II - Jay Lala
- Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan:
Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance. 501-506 - Per Johannessen, Christian Grante, Anders Alminger, Ulrik Eklund, Jan Torin:
Hazard Analysis in Object Oriented Design of Dependable Systems. 507-512 - Miguel Castro, Barbara Liskov:
Byzantine Fault Tolerance Can Be Fast. 513-518 - John DeVale, Philip Koopman:
Performance Evaluation of Exception Handling in I/O Libraries. 519
Session 10B: Fast Abstracts II
- William H. Sanders:
Business Meeting: IEEE Technical Committee on Fault Tolerance. DSN 2001
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-12-15 01:32 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: