The SCEAS System
Navigation Menu

Conferences in DBLP

International Symposium on Fault-Tolerant Computing (FTCS) (ftcs)
1996 (conf/ftcs/96)

  1. Jen-Yao Chung, Nicholas S. Bowen, Mei-Chen Hsueh, Ravishankar K. Iyer, Mitsuhiro Kishimoto, Luiz A. Laranjeira
    Availability of Commercial Parallel Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:2-4 [Conf]
  2. John M. Rushby
    Reconfiguration and Transient Recovery in State Machine Architectures. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:6-15 [Conf]
  3. Dhiraj K. Pradhan, P. Krishna, Nitin H. Vaidya
    Recoverable Mobile Environment: Design and Trade-Off Analysis. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:16-25 [Conf]
  4. Yair Amir, Avishai Wool
    Evaluating Quorum Systems over the Internet. [Citation Graph (1, 0)][DBLP]
    FTCS, 1996, pp:26-35 [Conf]
  5. Noriyoshi Itazaki, Yasutaka Idomoto, Kozo Kinoshita
    A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:38-43 [Conf]
  6. Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse
    Random Pattern Testing for Sequential Circuits Revisited. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:44-52 [Conf]
  7. Irith Pomeranz, Sudhakar M. Reddy
    Dynamic Test Compaction for Synchronous Sequential Circuits using Static Compaction Techniques. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:53-61 [Conf]
  8. Nadine Peyrouze, Gilles Muller
    FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:64-73 [Conf]
  9. Shinji Sumimoto
    Design and Evaluation of Fault-Tolerant Shared File System for Cluster Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:74-83 [Conf]
  10. Nobuhiro Yanagida, Hiroshi Takahashi, Yuzo Takamatsu
    Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing Sequence Pairs. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:86-95 [Conf]
  11. Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs
    Fault Diagnosis Using State Information. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:96-103 [Conf]
  12. Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
    Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:106-115 [Conf]
  13. Muhammad A. Qureshi, William H. Sanders
    A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:116-125 [Conf]
  14. Guevara Noubir, Berthe Y. Choueiry
    Algebraic Techniques for the Optimization of Control Flow Checking. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:128-137 [Conf]
  15. Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille
    Executable Assertions and Timed Traces for On-Line Software Error Detection. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:138-147 [Conf]
  16. Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
    Dependability of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:150-155 [Conf]
  17. Klaus Echtle, Asif Masum
    A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine Faults. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:158-167 [Conf]
  18. Rachid Guerraoui, André Schiper
    Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:168-177 [Conf]
  19. Flaviu Cristian
    Group, Majority, and Strict Agreement in Timed Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:178-187 [Conf]
  20. Tepparit Ritthongpitak, Masato Kitakami, Eiji Fujiwara
    Optimal Two-Level Unequal Error Control Codes for Computer Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:190-199 [Conf]
  21. C. L. Chen
    Symbol Error Correctin Codes for Memory Applications. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:200-207 [Conf]
  22. Venkatesh Akella, Nitin H. Vaidya, G. Robert Redinbo
    Limitations of VLSI Implementation of Delay-Insensitive Codes. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:208-217 [Conf]
  23. Zhiming Liu, Mathai Joseph
    Verification of Fault Tolerance and Real Time. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:220-229 [Conf]
  24. Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
    A Framework for Conformance Testing of Systems Communicating through Rendezvous. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:230-238 [Conf]
  25. Roy A. Maxion, Philip A. Syme
    Mitigating Operator-Induced Unavailability by Matching Imprecise Queries. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:240-249 [Conf]
  26. J. Hamilton Slye, E. N. Elnozahy
    Supporting Nondeterministic Execution in Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:250-259 [Conf]
  27. Feng Bao, Yoshihide Igarashi
    Reliable Broadcasting in Product Networks with Byzantine Faults. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:262-271 [Conf]
  28. Nihar R. Mahapatra, Shantanu Dutt
    Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant Designs for Mesh-Connected Multicomputers. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:272-281 [Conf]
  29. Myung M. Bae, Bella Bose
    Spare Processor Allocation for Fault Tolerance in Torus-Based Multicomputers. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:282-291 [Conf]
  30. Michael F. Buckley, Daniel P. Siewiorek
    A Comparative Analysis of Event Tupling Schemes. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:294-303 [Conf]
  31. Jörgen Christmansson, Ram Chillarege
    Generation of Error Set that Emulates Software Faults Based on Field Data. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:304-313 [Conf]
  32. Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt
    An Approach towards Benchmarking of Fault-Tolerant Commercial Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:314-323 [Conf]
  33. Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare
    The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:326-335 [Conf]
  34. Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha
    Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:336-345 [Conf]
  35. Inhwan Lee, Gilbert Pitt, Ravishankar K. Iyer
    Efficient Service of Rediscovered Software Problems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:348-352 [Conf]
  36. S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich
    Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:353-357 [Conf]
  37. Amber Roy-Chowdhury, Prithviraj Banerjee
    Compiler-Assisted Generation of Error-Detecting Parallel Programs. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:360-369 [Conf]
  38. Tzi-cker Chiueh, Peitao Deng
    Evaluation of Checkpoint Mechanisms for Massively Parallel Machines. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:370-379 [Conf]
  39. Jean-Luis Dega
    The Redundancy Mechanisms of the Ariane 5 Operational Control Center. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:382-386 [Conf]
  40. B. Acevedo, L. Bahler, E. N. Elnozahy, V. Ratan, M. E. Segal
    Highly Available Directory Services in DCE. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:387-391 [Conf]
  41. Mário Zenha Rela, Henrique Madeira, João Gabriel Silva
    Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:394-403 [Conf]
  42. Scott Dawson, Farnam Jahanian, Todd Mitton, Teck-Lee Tung
    Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injektion. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:404-414 [Conf]
  43. João Gabriel Silva, Joao Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira
    Experimental Assessment of Parallel Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:415-424 [Conf]
  44. Nobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh
    Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:426-430 [Conf]
  45. Kyoya Kawamura, Takashi Matsubara, Yoshiaki Koga
    Technologies for Designing Dependable A/D Converters. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:431-435 [Conf]
  46. Rolf Johansson
    Two Error-Detecting and Correcting Circuits for Space Applications. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:436-439 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002