The SCEAS System
Navigation Menu

Conferences in DBLP

Dependable Systems and Networks (dsn)
2000 (conf/dsn/2000)

  1. Günther Bauer, Hermann Kopetz
    Transparent Redundancy in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:5-13 [Conf]
  2. Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Jeffrey X. Zhou, James McElroy
    Resource Scheduling in Dependable Integrated Modular Avionics. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:14-23 [Conf]
  3. Martin Hiller
    Executable Assertions for Detecting Data Errors in Embedded Control Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:24-0 [Conf]
  4. Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger
    Experiences with Group Communication Middleware. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:37-42 [Conf]
  5. Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu
    Towards Dependable Home Networking: An Experience Report. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:43-48 [Conf]
  6. Adnan Agbaria, James S. Plank
    Design, Implementation, and Performance of Checkpointing in NetSolve. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:49-0 [Conf]
  7. Julia L. Lawall, Gilles Muller
    Efficient Incremental Checkpointing of Java Programs. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:61-70 [Conf]
  8. Alfredo Benso, Silvia Chiusano, Paolo Prinetto, Luca Tagliaferri
    A C/C++ Source-to-Source Compiler for Dependable Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:71-0 [Conf]
  9. Yutao He, Algirdas Avizienis
    Assessment of the Applicability of COTS Microprocessors in High-Confidence Computing Systems: A Case Study. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:81-86 [Conf]
  10. Chris J. Walter, Neeraj Suri, T. Monaghan
    Evaluating COTS Standards for Design of Dependable Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:87-0 [Conf]
  11. Subhachandra Chandra, Peter M. Chen
    Whither Generic Recovery from Application Faults? A Fault Study using Open-Source Software. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:97-106 [Conf]
  12. Michael J. Turmon, Robert Granat, Daniel S. Katz
    Software-Implemented Fault Detection for High-Performance Space Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:107-0 [Conf]
  13. Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo
    An Automatic SPIN Validation of a Safety Critical Railway Control System. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:119-124 [Conf]
  14. Meng-Lai Yin, Craig L. Hyde, Rafael R. Arellano
    Sensitivity Analysis on Dependencies in Dynamic Availability Models for Large Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:125-0 [Conf]
  15. Luís Moura Silva, Victor Batista, João Gabriel Silva
    Fault-Tolerant Execution of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:135-143 [Conf]
  16. Ajay Mohindra, Apratim Purakayastha, Prasannaa Thati
    Exploiting Non-Determinism for Reliability of Mobile Agent Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:144-156 [Conf]
  17. Jean-Baptiste Boullié, Michel Brun
    A New Rolling Stock Architecture Using Safety Computers and Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:157-162 [Conf]
  18. Jim Chen, David Har, Ken Mak, Charles O. Schulz, R. Brett Tremaine, Michael E. Wazlowski
    Reliability-Availability-Serviceability Characteristics of a Compressed-Memory System. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:163-168 [Conf]
  19. Kenneth Prager, Michael Vahey, William Farwell, James Whitney, Jon Lieb
    A Fault Tolerant Signal Processing Computer. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:169-0 [Conf]
  20. John F. Meyer
    Performability of Algorithms for Connection Admission Control. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:181-190 [Conf]
  21. Wei Chen, Sam Toueg, Marcos Kawazoe Aguilera
    On the Quality of Service of Failure Detectors. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:191-0 [Conf]
  22. Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno
    Fault-Secure Scheduling of Arbitrary Task Graphs to Multiprocessor Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:203-212 [Conf]
  23. Antonio Caruso, Stefano Chessa, Piero Maestrini, Paolo Santi
    Diagnosis of Regular Structures. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:213-0 [Conf]
  24. Myron Hecht, Xuegao An, Bing Zhang, Yutao He
    OFTT: A Fault Tolerance Middleware Toolkit for Process Monitoring and Control Windows NT Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:225-230 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:231-236 [Conf]
  26. Ramesh Chandra, Ryan M. Lefever, Michel Cukier, William H. Sanders
    Loki: A State-Driven Fault Injector for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:237-242 [Conf]
  27. Sergio Contini, Stefan Scheer, Marc Wilikens
    Sensitivity Analysis for System Design Improvement. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:243-0 [Conf]
  28. Diamantino Costa, Tiago Rilho, Henrique Madeira
    Joint Evaluation of Performance and Robustness of a COTS DBMS through Fault-Injection. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:251-260 [Conf]
  29. Charles P. Shelton, Philip Koopman, Kobey Devale
    Robustness Testing of the Microsoft Win32 API. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:261-0 [Conf]
  30. Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
    From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:273-282 [Conf]
  31. Lorenzo Alvisi, Evelyn Tumlin Pierce, Dahlia Malkhi, Michael K. Reiter, Rebecca N. Wright
    Dynamic Byzantine Quorum Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:283-0 [Conf]
  32. J. Jenny Li, Joseph Robert Horgan
    A Tool Suite for Diagnosis and Testing of Software Design Specifications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:295-304 [Conf]
  33. Betty H. C. Cheng, Laura A. Campbell, Enoch Y. Wang
    Enabling Automated Analysis through the Formalization of Object-Oriented Modeling Diagrams. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:305-0 [Conf]
  34. Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk
    Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:315-0 [Conf]
  35. Yair Amir, Claudiu Danilov, Jonathan Robert Stanton
    A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:327-336 [Conf]
  36. Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith
    A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:337-346 [Conf]
  37. Qixiang Sun, Daniel C. Sturman
    A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:347-0 [Conf]
  38. S. Song, Jiandong Huang, P. Kappler, R. Freimark, J. Gustin, T. Kozlik
    Fault-Tolerant Ethernet for IP-Based Process Control: A Demonstration. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:361-366 [Conf]
  39. 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. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:367-0 [Conf]
  40. Irith Pomeranz, Sudhakar M. Reddy
    Test-Point Insertion to Enhance Test Compaction for Scan Designs. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:375-381 [Conf]
  41. Masayuki Arai, Anna Yamaguchi, Kazuhiko Iwasaki
    Method to Recover Internet Packet Losses Using (n, n - 1, m) Convolutional Codes. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:382-0 [Conf]
  42. Yasunao Katayama, Sumio Morioka
    One-Shot Reed-Solomon Decoding for High-Performance Dependable Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:390-0 [Conf]
  43. Eliane Martins, Amanda C. A. Rosa
    A Fault Injection Approach Based on Reflective Programming. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:407-416 [Conf]
  44. Henrique Madeira, Diamantino Costa, Marco Vieira
    On the Emulation of Software Faults by Software Fault Injection. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:417-426 [Conf]
  45. Timothy K. Tsai, Navjot Singh
    Reliability Testing of Applications on Windows NT. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:427-0 [Conf]
  46. Graham Morgan, Santosh K. Shrivastava
    Implementing Flexible Object Group Invocation in Networked Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:439-448 [Conf]
  47. Svend Frølund, Rachid Guerraoui
    Implementing e-Transactions with Asynchronous Replication. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:449-458 [Conf]
  48. Cristiana Amza, Alan L. Cox, Willy Zwaenepoel
    Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:459-0 [Conf]
  49. Avi Mendelson, Neeraj Suri
    Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:473-481 [Conf]
  50. Faisal Rashid, Kewal K. Saluja, Parameswaran Ramanathan
    Fault Tolerance through Re-Execution in Multiscalar Architecture. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:482-491 [Conf]
  51. Algirdas Avizienis
    A Fault Tolerance Infrastructure for Dependable Computing with High-Performance COTS Components. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:492-500 [Conf]
  52. Vijay Lakamraju, Zahava Koren, C. Mani Krishna
    Synthesis of Interconnection Networks: A Novel Approach. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:501-0 [Conf]
  53. Achour Mostéfaoui, Michel Raynal, Frederic Tronel
    The Best of Both Worlds: A Hybrid Approach to Solve Consensus. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:513-522 [Conf]
  54. Bernadette Charron-Bost, Rachid Guerraoui, André Schiper
    Synchronous System and Perfect Failure Detector: Solvability and Efficiency Issue. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:523-532 [Conf]
  55. Paulo Veríssimo, Antonio Casimiro, Christof Fetzer
    he Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:533-542 [Conf]
  56. G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran
    Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:543-0 [Conf]
  57. Nicholas S. Bowen, Daniel C. Sturman, Tina Ting Liu
    Towards Continuous Availability of Internet Services through Availability Domains. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:559-566 [Conf]
  58. Cheng J. Lin, Alberto Avritzer, Elaine J. Weyuker, Sai-Lai Lo
    Issues in Interoperability and Performance Verification in a Multi-ORB Telecommunications Environment. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:567-575 [Conf]
  59. Scott Hazelhurst, Adi Attar, Raymond Sinnappan
    Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:576-585 [Conf]
  60. Dam Q. Hai, Son T. Vuong
    Dynamic-Distributed Differentiated Service for Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:586-0 [Conf]
  61. Wenliang Du, Aditya P. Mathur
    Testing for Software Vulnerability Using Environment Perturbation. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:603-612 [Conf]
  62. Sanjay K. Jha, Jeannette M. Wing, Richard C. Linger, Thomas A. Longstaff
    Survivability Analysis of Network Specifications. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:613-622 [Conf]
  63. Roy A. Maxion, Kymie M. C. Tan
    Benchmarking Anomaly-Based Detection Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:623-630 [Conf]
  64. Peng Liu, Peng Ning, Sushil Jajodia
    Avoiding Loss of Fairness Owing to Process Crashes in Fair Data Exchange Protocols. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:631-640 [Conf]
  65. Steven Cheung, Karl N. Levitt
    A Formal-Specification Based Approach for Protecting the Domain Name System. [Citation Graph (0, 0)][DBLP]
    DSN, 2000, pp:641-0 [Conf]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002