Search dblp for Publications

export results for "toc:db/conf/ftcs/ftcs93.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ftcs/AlvisiHM93,
  author       = {Lorenzo Alvisi and
                  Bruce Hoppe and
                  Keith Marzullo},
  title        = {Nonblocking and Orphan-Free Message Logging Protocols},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {145--154},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627318},
  doi          = {10.1109/FTCS.1993.627318},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/AlvisiHM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BalakrishnanR93,
  author       = {Meera Balakrishnan and
                  Andrew L. Reibman},
  title        = {Characterizing a Lumping Heuristic for a Markov Network Reliability
                  Model},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627308},
  doi          = {10.1109/FTCS.1993.627308},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BalakrishnanR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Baum-Waidner93,
  author       = {Birgit Baum{-}Waidner},
  title        = {Byzantine Agreement with a Minimum Number of Messages Both in the
                  Faultless and Worst Case},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {554--563},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627358},
  doi          = {10.1109/FTCS.1993.627358},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Baum-Waidner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BeoumesKALAMBS93,
  author       = {C. B{\'{e}}oumes and
                  Karama Kanoun and
                  Martine Aguera and
                  Jean{-}Claude Laprie and
                  Jean Arlat and
                  Sylvain Metge and
                  S. Bachmann and
                  Jorge Moreira de Souza and
                  C. Bourdeau and
                  David Powell and
                  J.{-}E. Doucet and
                  P. Spiesser},
  title        = {{SURF-2:} {A} Program for Dependability Evaluation of Complex Hardware
                  and Software Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {668--673},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627372},
  doi          = {10.1109/FTCS.1993.627372},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BeoumesKALAMBS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BermanG93,
  author       = {Piotr Berman and
                  Juan A. Garay},
  title        = {Randomized Distributed Agreement Revisited},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {412--419},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627344},
  doi          = {10.1109/FTCS.1993.627344},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BermanG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BhideDHSP93,
  author       = {Anupam Bhide and
                  Daniel M. Dias and
                  Nagui Halim and
                  T. Basil Smith and
                  Francis N. Parr},
  title        = {A Case for Fault-Tolerant Memory for Transaction Processing},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {451--460},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627348},
  doi          = {10.1109/FTCS.1993.627348},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BhideDHSP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Bishop93,
  author       = {Peter G. Bishop},
  title        = {The Variation of Software Survival Time for Different Operational
                  Input Profiles},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627312},
  doi          = {10.1109/FTCS.1993.627312},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Bishop93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BlantonH93,
  author       = {Ronald D. Blanton and
                  John P. Hayes},
  title        = {Efficient Testing of Tree Circuits},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {176--185},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627321},
  doi          = {10.1109/FTCS.1993.627321},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BlantonH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Bouissou93,
  author       = {Marc Bouissou},
  title        = {The {FIGARO} Dependability Evaluation Workbench in Use: Case Studies
                  for Fault-Tolerant Computer Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {680--685},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627374},
  doi          = {10.1109/FTCS.1993.627374},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Bouissou93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BriereT93,
  author       = {Dominique Bri{\`{e}}re and
                  Pascal Traverse},
  title        = {{AIRBUS} {A320/A330/A340} Electrical Flight Controls: {A} Family of
                  Fault-Tolerant Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {616--623},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627364},
  doi          = {10.1109/FTCS.1993.627364},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BriereT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BruckCH93,
  author       = {Jehoshua Bruck and
                  Robert Cypher and
                  Ching{-}Tien Ho},
  title        = {Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hybercubes},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {260--267},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627329},
  doi          = {10.1109/FTCS.1993.627329},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BruckCH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BurkhardM93,
  author       = {Walter A. Burkhard and
                  Jai Menon},
  title        = {Disk Array Storage System Reliability},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {432--441},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627346},
  doi          = {10.1109/FTCS.1993.627346},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BurkhardM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BuskensJ93,
  author       = {Richard W. Buskens and
                  Ronald P. Bianchini Jr.},
  title        = {Distributed On-Line Diagnosis in the Presence of Arbitrary Faults},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {470--479},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627350},
  doi          = {10.1109/FTCS.1993.627350},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/BuskensJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/CauR93,
  author       = {Antonio Cau and
                  Willem P. de Roever},
  title        = {Specifying Fault Tolerance within Stark's Formalism},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {392--401},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627342},
  doi          = {10.1109/FTCS.1993.627342},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/CauR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChaRCPI93,
  author       = {Hungse Cha and
                  Elizabeth M. Rudnick and
                  Gwan S. Choi and
                  Janak H. Patel and
                  Ravishankar K. Iyer},
  title        = {A Fast and Accurate Gate-Level Transient Fault Simulation Environment},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {310--319},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627334},
  doi          = {10.1109/FTCS.1993.627334},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChaRCPI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChakrabartyH93,
  author       = {Krishnendu Chakrabarty and
                  John P. Hayes},
  title        = {Balance Testing of Logic Circuits},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {350--359},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627338},
  doi          = {10.1109/FTCS.1993.627338},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChakrabartyH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChangS93,
  author       = {David Chih{-}Wei Chang and
                  Nirmal R. Saxena},
  title        = {Concurrent Error Detection/Correction in the {HAL} {MMU} Chip},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {630--635},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627366},
  doi          = {10.1109/FTCS.1993.627366},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChangS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChenAKK93,
  author       = {Chang Chen and
                  Hiroyuki Asada and
                  Yoshiaki Kakuda and
                  Tohru Kikuno},
  title        = {Comparison of Hybrid Modular Redundant Multiprocessor Systems with
                  respect to Performabilitites},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {66--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627309},
  doi          = {10.1109/FTCS.1993.627309},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChenAKK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChoiI93,
  author       = {Gwan S. Choi and
                  Ravishankar K. Iyer},
  title        = {Wear-Out Simulation Environment for {VLSI} Designs},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {320--329},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627335},
  doi          = {10.1109/FTCS.1993.627335},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChoiI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ClassN93,
  author       = {Christopher J. Glass and
                  Lionel M. Ni},
  title        = {Fault-Tolerant Wormhole Routing in Meshes},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {240--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627327},
  doi          = {10.1109/FTCS.1993.627327},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ClassN93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/DavidG93,
  author       = {Philippe David and
                  Claude Guidal},
  title        = {Development of a Fault Tolerant Computer System for the {HERMES} Space
                  Shuttle},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {641--646},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627368},
  doi          = {10.1109/FTCS.1993.627368},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/DavidG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/DolevKM93,
  author       = {Danny Dolev and
                  Shlomo Kramer and
                  Dalia Malki},
  title        = {Early Delivery Totally Ordered Multicast in Asynchronous Environments},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {544--553},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627357},
  doi          = {10.1109/FTCS.1993.627357},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/DolevKM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/EychenneBJK93,
  author       = {Yves Eychenne and
                  Michel Simatic and
                  Christophe Baradel and
                  Laurent Junot and
                  Bruno Kohen},
  title        = {The Use of Object Groups to Implement Dependability in a Process Control
                  Supervision System},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {660--665},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627371},
  doi          = {10.1109/FTCS.1993.627371},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/EychenneBJK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/FujiwaraK93,
  author       = {Eiji Fujiwara and
                  Masato Kitakami},
  title        = {A Class of Error Locating Codes for Byte-Organized Memory Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {110--119},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627313},
  doi          = {10.1109/FTCS.1993.627313},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/FujiwaraK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/GeistT93,
  author       = {Robert Geist and
                  Kishor S. Trivedi},
  title        = {An Analytic Treatment of the Reliability and Performance of Mirrored
                  Disk Subsystems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {442--450},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627347},
  doi          = {10.1109/FTCS.1993.627347},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/GeistT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/GoswamiI93,
  author       = {Kumar K. Goswami and
                  Ravishankar K. Iyer},
  title        = {Simulation of Software Behaviour Under Hardware Faults},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {218--227},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627325},
  doi          = {10.1109/FTCS.1993.627325},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/GoswamiI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/GuptaJ93,
  author       = {Deepak Gupta and
                  Pankaj Jalote},
  title        = {Increasing System Availability through On-Line Software Version Change},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {30--35},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627305},
  doi          = {10.1109/FTCS.1993.627305},
  timestamp    = {Mon, 14 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/GuptaJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/HachigaAH93,
  author       = {Akira Hachiga and
                  Katsuji Akita and
                  Yutaka Hasegawa},
  title        = {The Design Concepts and Operational Results of Fault-tolerant Computer
                  Systems for the Shinkansen Train Control},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {78--87},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627310},
  doi          = {10.1109/FTCS.1993.627310},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/HachigaAH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/HennebertG93,
  author       = {Claude Hennebert and
                  G{\'{e}}rard D. Guiho},
  title        = {{SACEM:} {A} Fault Tolerant System for Train Speed Control},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {624--628},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627365},
  doi          = {10.1109/FTCS.1993.627365},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/HennebertG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/HollandGS93,
  author       = {Mark Holland and
                  Garth A. Gibson and
                  Daniel P. Siewiorek},
  title        = {Fast, On-Line Failure Recovery in Redundant Disk Arrays},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {422--431},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627345},
  doi          = {10.1109/FTCS.1993.627345},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/HollandGS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/HorstJL93,
  author       = {Robert W. Horst and
                  Doug Jewett and
                  Daniel Lenoski},
  title        = {The Risk of Data Corruption in Microprocessor-based Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {576--585},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627360},
  doi          = {10.1109/FTCS.1993.627360},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/HorstJL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/HuangK93,
  author       = {Yennun Huang and
                  Chandra M. R. Kintala},
  title        = {Software Implemented Fault Tolerance Technologies and Experience},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {2--9},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  timestamp    = {Fri, 23 Dec 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/HuangK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/JanssensF93,
  author       = {Bob Janssens and
                  W. Kent Fuchs},
  title        = {Relaxing Consistency in Recoverable Distributed Shared Memory},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {155--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627319},
  doi          = {10.1109/FTCS.1993.627319},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/JanssensF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KanounKLM93,
  author       = {Karama Kanoun and
                  Mohamed Ka{\^{a}}niche and
                  Jean{-}Claude Laprie and
                  Sylvain Metge},
  title        = {SoRel: {A} Tool for Reliability Growth Analysis and Prediction From
                  Statistical Failure Data},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {654--659},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627370},
  doi          = {10.1109/FTCS.1993.627370},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/KanounKLM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KantawalaT93,
  author       = {Kamal Kantawala and
                  Dali L. Tao},
  title        = {Designing Concurrent Checking Sorting Networks},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {250--259},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627328},
  doi          = {10.1109/FTCS.1993.627328},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/KantawalaT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KarriO93,
  author       = {Ramesh Karri and
                  Alex Orailoglu},
  title        = {Optimal Self-Recovering Microarchitecture Synthesis},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {512--521},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627354},
  doi          = {10.1109/FTCS.1993.627354},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/KarriO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Koch93,
  author       = {Henning Koch},
  title        = {An Efficient Replication Protocol Exploiting Logical Tree Structures},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {382--391},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627341},
  doi          = {10.1109/FTCS.1993.627341},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Koch93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KopetzG93,
  author       = {Hermann Kopetz and
                  G{\"{u}}nter Gr{\"{u}}nsteidl},
  title        = {{TTP} - {A} Time-Triggered Protocol for Fault-Tolerant Real-Time Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {524--533},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627355},
  doi          = {10.1109/FTCS.1993.627355},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/KopetzG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KriegerBS93,
  author       = {Rolf Krieger and
                  Bernd Becker and
                  R. Sinkovic},
  title        = {A {BDD} - based Algorithm for Computation of Exact Fault Detection
                  Probabilities},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {186--195},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627322},
  doi          = {10.1109/FTCS.1993.627322},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/KriegerBS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LaprieLMR93,
  author       = {Jean{-}Claude Laprie and
                  G{\'{e}}rard Le Lann and
                  Michele Morganti and
                  John M. Rushby},
  title        = {Limits in Dependability (Panel)},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {608--613},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627363},
  doi          = {10.1109/FTCS.1993.627363},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LaprieLMR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LeeI93,
  author       = {Inhwan Lee and
                  Ravishankar K. Iyer},
  title        = {Faults, Symptoms, and Software Fault Tolerance in the Tandem {GUARDIAN90}
                  Operating System},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {20--29},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627304},
  doi          = {10.1109/FTCS.1993.627304},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LeeI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LeeYS93,
  author       = {Jae Young Lee and
                  Hee Yong Youn and
                  Adit D. Singh},
  title        = {Adaptive Voting for Faulty {(VFF)} Node Scheme for Distributed Self-Diagnosis},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {480--489},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627351},
  doi          = {10.1109/FTCS.1993.627351},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LeeYS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LeveugleRSMP93,
  author       = {R{\'{e}}gis Leveugle and
                  Rapha{\"{e}}l Rochet and
                  Gabriele Saucier and
                  L. Martinez and
                  C. Pitot},
  title        = {A Synthesis Tool for Fault-Tolerant Finite State Machines},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {502--511},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627353},
  doi          = {10.1109/FTCS.1993.627353},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LeveugleRSMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LincolnR93,
  author       = {Patrick Lincoln and
                  John M. Rushby},
  title        = {A Formally Verified Algorithm for Interactive Consistency Under a
                  Hybrid Fault Model},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {402--411},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627343},
  doi          = {10.1109/FTCS.1993.627343},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LincolnR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LyuNF93,
  author       = {Michael R. Lyu and
                  Allen P. Nikora and
                  William H. Farr},
  title        = {A Systematic and Comprehensive Tool for Software Reliability Modeling
                  and Measurement},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {648--653},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627369},
  doi          = {10.1109/FTCS.1993.627369},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/LyuNF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/MatsubaraK93,
  author       = {Takashi Matsubara and
                  Yoshiaki Koga},
  title        = {A Proposal for Error-Tolerating Codes},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {130--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627315},
  doi          = {10.1109/FTCS.1993.627315},
  timestamp    = {Sun, 07 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/MatsubaraK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/MaxionO93,
  author       = {Roy A. Maxion and
                  Robert T. Olszewski},
  title        = {Detection and Discrimination of Injected Network Faults},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {198--207},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627323},
  doi          = {10.1109/FTCS.1993.627323},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/MaxionO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/NicolaSHG93,
  author       = {Victor F. Nicola and
                  Perwez Shahabuddin and
                  Philip Heidelberger and
                  Peter W. Glynn},
  title        = {Fast Simulation of Steady-State Availability in Non-Markovian Highly
                  Dependable Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {38--47},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627306},
  doi          = {10.1109/FTCS.1993.627306},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/NicolaSHG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Nicolaidis93,
  author       = {Michael Nicolaidis},
  title        = {Efficient Implementations of Self-Checking Adders and ALUs},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {586--595},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627361},
  doi          = {10.1109/FTCS.1993.627361},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Nicolaidis93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/OhY93,
  author       = {Choong Gun Oh and
                  Hee Yong Youn},
  title        = {On Concurrent Error Detection, Location, and Correction of {FFT} Networks},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {596--605},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627362},
  doi          = {10.1109/FTCS.1993.627362},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/OhY93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Pelc93,
  author       = {Andrzej Pelc},
  title        = {Efficient Distributed Diagnosis in the Presence of Random Faults},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {462--469},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627349},
  doi          = {10.1109/FTCS.1993.627349},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Pelc93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PomeranzR93,
  author       = {Irith Pomeranz and
                  Sudhakar M. Reddy},
  title        = {{EXOP} (Extended Operation): {A} New Logical Fault Model for Digital
                  Circuits},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {166--175},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627320},
  doi          = {10.1109/FTCS.1993.627320},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PomeranzR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PomeranzR93a,
  author       = {Irith Pomeranz and
                  Sudhakar M. Reddy},
  title        = {Design and Synthesis for Testability of Synchronous Sequential Circuits
                  Based on Strong-Connectivity},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {492--501},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627352},
  doi          = {10.1109/FTCS.1993.627352},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PomeranzR93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PomeranzRP93,
  author       = {Irith Pomeranz and
                  Sudhakar M. Reddy and
                  Janak H. Patel},
  title        = {Theory and Practice of Sequential Machine Testing and Testability},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {330--337},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627336},
  doi          = {10.1109/FTCS.1993.627336},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PomeranzRP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PowellMAC93,
  author       = {David Powell and
                  Eliane Martins and
                  Jean Arlat and
                  Yves Crouzet},
  title        = {Estimators for Fault Tolerance Coverage Evaluation},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {228--237},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627326},
  doi          = {10.1109/FTCS.1993.627326},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/PowellMAC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Redinbo93,
  author       = {G. Robert Redinbo},
  title        = {Optimum Detector/Corrector for Fault-Tolerant Linear Processing},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {299--308},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627333},
  doi          = {10.1109/FTCS.1993.627333},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Redinbo93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RosenbergS93,
  author       = {Harold A. Rosenberg and
                  Kang G. Shin},
  title        = {Software Fault Injection and its Application in Distributed Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627324},
  doi          = {10.1109/FTCS.1993.627324},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/RosenbergS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Roy-ChowdhuryB93,
  author       = {Amber Roy{-}Chowdhury and
                  Prithviraj Banerjee},
  title        = {Tolerance Determination for Algorithm-Based Checks Using Simplified
                  Error Analysis Techniques},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {290--298},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627332},
  doi          = {10.1109/FTCS.1993.627332},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Roy-ChowdhuryB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RubinoS93,
  author       = {Gerardo Rubino and
                  Bruno Sericola},
  title        = {Interval Availability Distribution Computation},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {48--55},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627307},
  doi          = {10.1109/FTCS.1993.627307},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/RubinoS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RussinovichSS93,
  author       = {Mark Russinovich and
                  Zary Segall and
                  Daniel P. Siewiorek},
  title        = {Application Transparent Fault Management in Fault Tolerant Match},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {10--19},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627303},
  doi          = {10.1109/FTCS.1993.627303},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/RussinovichSS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SandersO93,
  author       = {William H. Sanders and
                  W. Douglas Obal II},
  title        = {Dependability Evaluation Using U\emph{ltra}SAN},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {674--679},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627373},
  doi          = {10.1109/FTCS.1993.627373},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/SandersO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SaxenaTS93,
  author       = {Nirmal R. Saxena and
                  Ravi Tangirala and
                  Ajay Srivastava},
  title        = {Algorithmic Synthesis of High Level Tests for Data Path Designs},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {360--369},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627339},
  doi          = {10.1109/FTCS.1993.627339},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/SaxenaTS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SchiperR93,
  author       = {Andr{\'{e}} Schiper and
                  Aleta Ricciardi},
  title        = {Virtually-Synchronous Communication Based on a Weak Failure Suspector},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {534--543},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627356},
  doi          = {10.1109/FTCS.1993.627356},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/SchiperR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Shambroom93,
  author       = {W. David Shambroom},
  title        = {Use of Protocol Validation and Verification Techniques in the Design
                  of a Fault-Tolerant Computer Architecture},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {636--640},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627367},
  doi          = {10.1109/FTCS.1993.627367},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Shambroom93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ShamsunderRR93,
  author       = {Ragini Shamsunder and
                  Daniel J. Rosenkrantz and
                  S. S. Ravi},
  title        = {Exploiting Data Flow Information in Algorithm-Based Fault Tolerance},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {280--289},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627331},
  doi          = {10.1109/FTCS.1993.627331},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ShamsunderRR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SiewiorekHSS93,
  author       = {Daniel P. Siewiorek and
                  John J. Hudak and
                  Byung{-}Hoon Suh and
                  Zary Segall},
  title        = {Development of a Benchmark to Measure System Robustness},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {88--97},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627311},
  doi          = {10.1109/FTCS.1993.627311},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/SiewiorekHSS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/TohmaK93,
  author       = {Yoshihiro Tohma and
                  Yoichi Koyanagi},
  title        = {Design of Neural Networks to Tolerate the Mixture of Two Types of
                  Faults},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {268--277},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627330},
  doi          = {10.1109/FTCS.1993.627330},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/TohmaK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Vaidya93,
  author       = {Nitin H. Vaidya},
  title        = {Unidirectional Error Control Codes},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {120--129},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627314},
  doi          = {10.1109/FTCS.1993.627314},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/Vaidya93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/VishakantaiahA93,
  author       = {Praveen Vishakantaiah and
                  Jacob A. Abraham},
  title        = {Impact of Behavioral Learning on the Compilation of Sequential Circuit
                  Tests},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {370--379},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627340},
  doi          = {10.1109/FTCS.1993.627340},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/VishakantaiahA93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/WangHF93,
  author       = {Yi{-}Min Wang and
                  Yennun Huang and
                  W. Kent Fuchs},
  title        = {Progressive Retry for Software Error Recovery in Distributed Systems},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {138--144},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627317},
  doi          = {10.1109/FTCS.1993.627317},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/WangHF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/WilkenK93,
  author       = {Kent D. Wilken and
                  Timothy Kong},
  title        = {Efficient Memory Access Checking},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {566--575},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627359},
  doi          = {10.1109/FTCS.1993.627359},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/WilkenK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ZorianI93,
  author       = {Yervant Zorian and
                  Andr{\'{e}} Ivanov},
  title        = {Programmable Space Compaction for {BIST}},
  booktitle    = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  pages        = {340--349},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/FTCS.1993.627337},
  doi          = {10.1109/FTCS.1993.627337},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/ZorianI93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ftcs/1993,
  title        = {Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium
                  on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/4964/proceeding},
  isbn         = {0-8186-3680-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/1993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.