Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDSN 2000: New York, NY, USA
- 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. IEEE Computer Society 2000, ISBN 0-7695-0707-7
Embedded Systems
- Günther Bauer, Hermann Kopetz:
Transparent Redundancy in the Time-Triggered Architecture. 5-13 - Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis
, Jeffrey X. Zhou, James McElroy:
Resource Scheduling in Dependable Integrated Modular Avionics. 14-23 - Martin Hiller:
Executable Assertions for Detecting Data Errors in Embedded Control Systems. 24-33
Practical Experience Reports I Networks
- Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger:
Experiences with Group Communication Middleware. 37-42 - Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu:
Towards Dependable Home Networking: An Experience Report. 43-48 - Adnan Agbaria, James S. Plank:
Design, Implementation, and Performance of Checkpointing in NetSolve. 49-54
Language Support
- Julia L. Lawall, Gilles Muller:
Efficient Incremental Checkpointing of Java Programs. 61-70 - Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri:
A C/C++ Source-to-Source Compiler for Dependable Applications. 71-78
Practical Experience Reports II ? COTS Evaluation
- Yutao He, Algirdas Avizienis:
Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. 81-86 - Chris J. Walter, Neeraj Suri, T. Monaghan:
Evaluating COTS Standards for Design of Dependable Systems. 87-92
Measurement and Assessment
- Subhachandra Chandra, Peter M. Chen:
Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. 97-106 - Michael J. Turmon, Robert Granat, Daniel S. Katz:
Software-Implemented Fault Detection for High-Performance Space Applications. 107-116
Practical Experience Reports III ? Validation and Evaluation
- Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo:
An Automatic SPIN Validation of a Safety Critical Railway Control System. 119-124 - Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano:
Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. 125-130
Mobile Agents
- Luís Moura Silva, Victor Batista, João Gabriel Silva:
Fault-Tolerant Execution of Mobile Agents. 135-143 - Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati:
Exploiting Non-Determinism for Reliability of Mobile Agent Systems. 144-156
Practical Experience Reports IV ? System Architecture
- Jean-Baptiste Boullié, Michel Brun:
A New Rolling Stock Architecture Using Safety Computers and Networks. 157-162 - Jim Chen, David Har, Ken Mak, Charles O. Schulz, R. Brett Tremaine, Michael E. Wazlowski:
Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System. 163-168 - Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb:
A Fault Tolerant Signal Processing Computer. 169-174
Analysis and Evaluation
- John F. Meyer:
Performability of Algorithms for Connection Admission Control. 181-190 - Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera:
On the Quality of Service of Failure Detectors. 191-200
Theory
- Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno:
Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. 203-212 - Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi:
Diagnosis of Regular Structures. 213-222
Software Demonstrations
- Myron Hecht, Xuegao An, Bing Zhang, Yutao He:
OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. 225-230 - Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini:
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. 231-236 - Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders:
Loki: A State-Driven Fault Injector for Distributed Systems. 237-242 - Sergio Contini, Stefan Scheer, Marc Wilikens:
Sensitivity Analysis for System Design Improvement. 243-248
Testing of COTS Systems
- Diamantino Costa, Tiago Rilho, Henrique Madeira:
Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. 251-260 - Charles P. Shelton, Philip Koopman, Kobey Devale:
Robustness Testing of the Microsoft Win32 API. 261-270
Byzantine Faults
- Roberto Baldoni, Jean-Michel Hélary, Michel Raynal:
From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. 273-282 - Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright:
Dynamic Byzantine Quorum Systems. 283-292
Analysis and Verification
- J. Jenny Li, Joseph Robert Horgan:
A Tool Suite for Diagnosis and Testing of Software Design Specifications. 295-304 - Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang:
Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. 305-314 - Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk:
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. 315-324
Group Communication
- Yair Amir, Claudiu Danilov, Jonathan Robert Stanton:
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. 327-336 - Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith:
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. 337-346 - Qixiang Sun, Daniel C. Sturman:
A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. 347-358
System Demonstrations
- Sejun Song, Jiandong Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik:
Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration. 361-366 - Fannie Chen, Loring Craymer, Jeff Deifik, Alvin J. Fogel, Daniel S. Katz, Alfred G. Silliman Jr., Raphael R. Some, Sean A. Upchurch, Keith Whisnant:
Demonstration of the Remote Exploration and Experimentation (REE) Fault-Tolerant Parallel-Processing Supercomputer for Spacecraft Onboard Scientific Data Processing. 367-372
Testing and Applications of Coding
- Irith Pomeranz, Sudhakar M. Reddy:
Test-Point Insertion to Enhance Test Compaction for Scan Designs. 375-381 - Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki:
Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. 382-389 - Yasunao Katayama, Sumio Morioka:
One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. 390-399
Software Fault Injection
- Eliane Martins, Amanda C. A. Rosa:
A Fault Injection Approach Based on Reflective Programming. 407-416 - Henrique Madeira, Diamantino Costa, Marco Vieira:
On the Emulation of Software Faults by Software Fault Injection. 417-426 - Timothy K. Tsai, Navjot Singh:
Reliability Testing of Applications on Windows NT. 427-436
Replication
- Graham Morgan, Santosh K. Shrivastava:
Implementing Flexible Object Group Invocation in Networked Systems. 439-448 - Svend Frølund, Rachid Guerraoui:
Implementing e-Transactions with Asynchronous Replication. 449-458 - Cristiana Amza, Alan L. Cox, Willy Zwaenepoel:
Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. 459-467
High Performance Architecture
- Avi Mendelson, Neeraj Suri:
Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. 473-481 - Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan:
Fault Tolerance through Re-Execution in Multiscalar Architecture. 482-491 - Algirdas Avizienis:
A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. 492-500 - Vijay Lakamraju, Zahava Koren, C. Mani Krishna:
Synthesis of Interconnection Networks: A Novel Approach. 501-509
Distributed System Models
- Achour Mostéfaoui, Michel Raynal, Frederic Tronel:
The Best of Both Worlds: A Hybrid Approach to Solve Consensus. 513-522 - Bernadette Charron-Bost, Rachid Guerraoui, André Schiper:
Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. 523-532 - Paulo Veríssimo, António Casimiro, Christof Fetzer:
he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. 533-542 - G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran:
Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. 543-552
Workshop on Dependability of IP Applications Platforms and Networks
- Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu:
Towards Continuous Availability of Internet Services through Availability Domains. 559-566 - Cheng J. Lin, Alberto Avritzer, Elaine J. Weyuker, Sai-Lai Lo:
Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. 567-575 - Scott Hazelhurst, Adi Attar, Raymond Sinnappan:
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. 576-585 - Dam Q. Hai, Son T. Vuong:
Dynamic-Distributed Differentiated Service for Multimedia Applications. 586-594
Workshop on Dependability Despite Malicious Faults
- Wenliang Du, Aditya P. Mathur:
Testing for Software Vulnerability Using Environment Perturbation. 603-612 - Somesh Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff:
Survivability Analysis of Network Specifications. 613-622 - Roy A. Maxion, Kymie M. C. Tan:
Benchmarking Anomaly-Based Detection Systems. 623-630 - Peng Liu, Peng Ning, Sushil Jajodia:
Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. 631-640 - Steven Cheung, Karl N. Levitt:
A Formal-Specification Based Approach for Protecting the Domain Name System. 641-651
a service of 
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-04-25 04:49 CEST 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:
