Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/ftcs/AcevedoBERS96,
  author       = {B. Acevedo and
                  L. Bahler and
                  E. N. Elnozahy and
                  Vivek Ratan and
                  Mark E. Segal},
  title        = {Highly Available Directory Services in {DCE}},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {387--391},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534624},
  doi          = {10.1109/FTCS.1996.534624},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/AcevedoBERS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/AkellaVR96,
  author       = {Venkatesh Akella and
                  Nitin H. Vaidya and
                  G. Robert Redinbo},
  title        = {Limitations of {VLSI} Implementation of Delay-Insensitive Codes},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {208--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534608},
  doi          = {10.1109/FTCS.1996.534608},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/AkellaVR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/AmirW96,
  author       = {Yair Amir and
                  Avishai Wool},
  title        = {Evaluating Quorum Systems over the Internet},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {26--35},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534591},
  doi          = {10.1109/FTCS.1996.534591},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/AmirW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ArlatKADHP96,
  author       = {Jean Arlat and
                  Nobuyasu Kanekawa and
                  Arturo M. Amendola and
                  Jean{-}Luis Dufour and
                  Yuji Hirao and
                  Joseph A. Profeta III},
  title        = {Dependability of Railway Control Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {150--155},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.ieeecomputersociety.org/10.1109/FTCS.1996.10001},
  doi          = {10.1109/FTCS.1996.10001},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/ArlatKADHP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/AyacheCHRSG96,
  author       = {S. Ayache and
                  Eric Conquet and
                  Philippe Humbert and
                  Carlos Rodriguez and
                  Joseph Sifakis and
                  R. Gerlich},
  title        = {Formal Methods for the Validation of Fault Tolerance in Autonomous
                  Spacecraft},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {353--357},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534620},
  doi          = {10.1109/FTCS.1996.534620},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/AyacheCHRSG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BaeB96,
  author       = {Myung M. Bae and
                  Bella Bose},
  title        = {Spare Processor Allocation for Fault Tolerance in Torus-Based Multicomputers},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {282--291},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534613},
  doi          = {10.1109/FTCS.1996.534613},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BaeB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BaoI96,
  author       = {Feng Bao and
                  Yoshihide Igarashi},
  title        = {Reliable Broadcasting in Product Networks with Byzantine Faults},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {262--271},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534612},
  doi          = {10.1109/FTCS.1996.534612},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BaoI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BoppanaHF96,
  author       = {Vamsi Boppana and
                  Ismed Hartanto and
                  W. Kent Fuchs},
  title        = {Fault Diagnosis Using State Information},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {96--103},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534598},
  doi          = {10.1109/FTCS.1996.534598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BoppanaHF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/BuckleyS96,
  author       = {Michael F. Buckley and
                  Daniel P. Siewiorek},
  title        = {A Comparative Analysis of Event Tupling Schemes},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {294--303},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534614},
  doi          = {10.1109/FTCS.1996.534614},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/BuckleyS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Chen96,
  author       = {C. L. Chen},
  title        = {Symbol Error Correctin Codes for Memory Applications},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {200--207},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534607},
  doi          = {10.1109/FTCS.1996.534607},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Chen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChiuehD96,
  author       = {Tzi{-}cker Chiueh and
                  Peitao Deng},
  title        = {Evaluation of Checkpoint Mechanisms for Massively Parallel Machines},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {370--379},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534622},
  doi          = {10.1109/FTCS.1996.534622},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChiuehD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChristmanssonC96,
  author       = {J{\"{o}}rgen Christmansson and
                  Ram Chillarege},
  title        = {Generation of Error Set that Emulates Software Faults Based on Field
                  Data},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {304--313},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534615},
  doi          = {10.1109/FTCS.1996.534615},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChristmanssonC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ChungBHIKL96,
  author       = {Jen{-}Yao Chung and
                  Nicholas S. Bowen and
                  Mei{-}Chen Hsueh and
                  Ravishankar K. Iyer and
                  Mitsuhiro Kishimoto and
                  Luiz A. Laranjeira},
  title        = {Availability of Commercial Parallel Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {2--4},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.ieeecomputersociety.org/10.1109/FTCS.1996.10000},
  doi          = {10.1109/FTCS.1996.10000},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/ChungBHIKL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Cristian96,
  author       = {Flaviu Cristian},
  title        = {Group, Majority, and Strict Agreement in Timed Asynchronous Distributed
                  Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {178--187},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534605},
  doi          = {10.1109/FTCS.1996.534605},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Cristian96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/DawsonJMT96,
  author       = {Scott Dawson and
                  Farnam Jahanian and
                  Todd Mitton and
                  Teck{-}Lee Tung},
  title        = {Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol
                  Fault Injektion},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {404--414},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534626},
  doi          = {10.1109/FTCS.1996.534626},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/DawsonJMT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Dega96,
  author       = {Jean{-}Luis Dega},
  title        = {The Redundancy Mechanisms of the Ariane 5 Operational Control Center},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {382--386},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534623},
  doi          = {10.1109/FTCS.1996.534623},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Dega96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/EchtleM96,
  author       = {Klaus Echtle and
                  Asif Masum},
  title        = {A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine
                  Faults},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {158--167},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534603},
  doi          = {10.1109/FTCS.1996.534603},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/EchtleM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/GuerraouiS96,
  author       = {Rachid Guerraoui and
                  Andr{\'{e}} Schiper},
  title        = {Consensus Service: {A} Modular Approach for Building Agreement Protocols
                  in Distributed Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {168--177},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534604},
  doi          = {10.1109/FTCS.1996.534604},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/GuerraouiS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/ItazakiIK96,
  author       = {Noriyoshi Itazaki and
                  Yasutaka Idomoto and
                  Kozo Kinoshita},
  title        = {A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential
                  Circuits},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {38--43},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534592},
  doi          = {10.1109/FTCS.1996.534592},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/ItazakiIK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Johansson96,
  author       = {Rolf Johansson},
  title        = {Two Error-Detecting and Correcting Circuits for Space Applications},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {436--439},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534630},
  doi          = {10.1109/FTCS.1996.534630},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Johansson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KanekawaNSS96,
  author       = {Nobuyasu Kanekawa and
                  Makoto Nohmi and
                  Yoshimichi Satoh and
                  Hiroshi Satoh},
  title        = {Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {426--430},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534628},
  doi          = {10.1109/FTCS.1996.534628},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/KanekawaNSS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KanounBMP96,
  author       = {Karama Kanoun and
                  Marie Borrel and
                  Thierry Morteveille and
                  Alain Peytavin},
  title        = {Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic
                  Control System},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {106--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534599},
  doi          = {10.1109/FTCS.1996.534599},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/KanounBMP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/KawamuraMK96,
  author       = {Kyoya Kawamura and
                  Takashi Matsubara and
                  Yoshiaki Koga},
  title        = {Technologies for Designing Dependable {A/D} Converters},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {431--435},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534629},
  doi          = {10.1109/FTCS.1996.534629},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/KawamuraMK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LakshminarayanaRJ96,
  author       = {Ganesh Lakshminarayana and
                  Anand Raghunathan and
                  Niraj K. Jha},
  title        = {Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing
                  Probability Analysis},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {336--345},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534618},
  doi          = {10.1109/FTCS.1996.534618},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/LakshminarayanaRJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LeePI96,
  author       = {Inhwan Lee and
                  Gilbert Pitt and
                  Ravishankar K. Iyer},
  title        = {Efficient Service of Rediscovered Software Problems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {348--352},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534619},
  doi          = {10.1109/FTCS.1996.534619},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/LeePI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/LiuJ96,
  author       = {Zhiming Liu and
                  Mathai Joseph},
  title        = {Verification of Fault Tolerance and Real Time},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {220--229},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534609},
  doi          = {10.1109/FTCS.1996.534609},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/LiuJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/MahapatraD96,
  author       = {Nihar R. Mahapatra and
                  Shantanu Dutt},
  title        = {Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant
                  Designs for Mesh-Connected Multicomputers},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {272--281},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.535880},
  doi          = {10.1109/FTCS.1996.535880},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/MahapatraD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/MaxionS96,
  author       = {Roy A. Maxion and
                  Philip A. Syme},
  title        = {Mitigating Operator-Induced Unavailability by Matching Imprecise Queries},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {240--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.535879},
  doi          = {10.1109/FTCS.1996.535879},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/MaxionS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/NachmanSUR96,
  author       = {Lama Nachman and
                  Kewal K. Saluja and
                  Shambhu J. Upadhyaya and
                  Robert Reuse},
  title        = {Random Pattern Testing for Sequential Circuits Revisited},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {44--52},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534593},
  doi          = {10.1109/FTCS.1996.534593},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/NachmanSUR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/NoubirC96,
  author       = {Guevara Noubir and
                  Berthe Y. Choueiry},
  title        = {Algebraic Techniques for the Optimization of Control Flow Checking},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {128--137},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534601},
  doi          = {10.1109/FTCS.1996.534601},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/NoubirC96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PeyrouzeM96,
  author       = {Nadine Peyrouze and
                  Gilles Muller},
  title        = {{FT-NFS:} An Efficient Fault-Tolerant {NFS} Server Designed for Off-the-Shelf
                  Workstations},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {64--73},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534595},
  doi          = {10.1109/FTCS.1996.534595},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/PeyrouzeM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PomeranzR96,
  author       = {Irith Pomeranz and
                  Sudhakar M. Reddy},
  title        = {Dynamic Test Compaction for Synchronous Sequential Circuits using
                  Static Compaction Techniques},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {53--61},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534594},
  doi          = {10.1109/FTCS.1996.534594},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/PomeranzR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/PradhanKV96,
  author       = {Dhiraj K. Pradhan and
                  P. Krishna and
                  Nitin H. Vaidya},
  title        = {Recoverable Mobile Environment: Design and Trade-Off Analysis},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {16--25},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534590},
  doi          = {10.1109/FTCS.1996.534590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/PradhanKV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/QureshiS96,
  author       = {Muhammad A. Qureshi and
                  William H. Sanders},
  title        = {A New Methodology for Calculating Distributions of Reward Accumulated
                  During a Finite Interval},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {116--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534600},
  doi          = {10.1109/FTCS.1996.534600},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/QureshiS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RabejacBQ96,
  author       = {Christophe Rab{\'{e}}jac and
                  Jean{-}Paul Blanquart and
                  Jean{-}Pierre Queille},
  title        = {Executable Assertions and Timed Traces for On-Line Software Error
                  Detection},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {138--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534602},
  doi          = {10.1109/FTCS.1996.534602},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/RabejacBQ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RelaMS96,
  author       = {M{\'{a}}rio Zenha Rela and
                  Henrique Madeira and
                  Jo{\~{a}}o Gabriel Silva},
  title        = {Experimental Evaluation of the Fail-Silent Behaviour in Programs with
                  Consistency Checks},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {394--403},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534625},
  doi          = {10.1109/FTCS.1996.534625},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/RelaMS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/RitthongpitakKF96,
  author       = {Tepparit Ritthongpitak and
                  Masato Kitakami and
                  Eiji Fujiwara},
  title        = {Optimal Two-Level Unequal Error Control Codes for Computer Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {190--199},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534606},
  doi          = {10.1109/FTCS.1996.534606},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/RitthongpitakKF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Roy-ChowdhuryB96,
  author       = {Amber Roy{-}Chowdhury and
                  Prithviraj Banerjee},
  title        = {Compiler-Assisted Generation of Error-Detecting Parallel Programs},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {360--369},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534621},
  doi          = {10.1109/FTCS.1996.534621},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Roy-ChowdhuryB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Rushby96,
  author       = {John M. Rushby},
  title        = {Reconfiguration and Transient Recovery in State Machine Architectures},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {6--15},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534589},
  doi          = {10.1109/FTCS.1996.534589},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Rushby96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SilvaCMCM96,
  author       = {Jo{\~{a}}o Gabriel Silva and
                  Jo{\~{a}}o Carreira and
                  Henrique Madeira and
                  Diamantino Costa and
                  Francisco Moreira},
  title        = {Experimental Assessment of Parallel Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {415--424},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534627},
  doi          = {10.1109/FTCS.1996.534627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/SilvaCMCM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/SlyeE96,
  author       = {J. Hamilton Slye and
                  E. N. Elnozahy},
  title        = {Supporting Nondeterministic Execution in Fault-Tolerant Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {250--259},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534611},
  doi          = {10.1109/FTCS.1996.534611},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/SlyeE96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/Sumimoto96,
  author       = {Shinji Sumimoto},
  title        = {Design and Evaluation of Fault-Tolerant Shared File System for Cluster
                  Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {74--83},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534596},
  doi          = {10.1109/FTCS.1996.534596},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/Sumimoto96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/TanPB96,
  author       = {Q. M. Tan and
                  Alexandre Petrenko and
                  Gregor von Bochmann},
  title        = {A Framework for Conformance Testing of Systems Communicating through
                  Rendezvous},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {230--238},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534610},
  doi          = {10.1109/FTCS.1996.534610},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/TanPB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/TsaiIJ96,
  author       = {Timothy K. Tsai and
                  Ravishankar K. Iyer and
                  Doug Jewitt},
  title        = {An Approach towards Benchmarking of Fault-Tolerant Commercial Systems},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {314--323},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534616},
  doi          = {10.1109/FTCS.1996.534616},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/TsaiIJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/WakitaTI96,
  author       = {Naoki Wakita and
                  Ken{-}ich Takagi and
                  Yoshihiro Iwadare},
  title        = {The Design of Totally Self-Checking Checkers for Classes of Hadamard
                  Codes},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {326--335},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534617},
  doi          = {10.1109/FTCS.1996.534617},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/WakitaTI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftcs/YanagidaTT96,
  author       = {Nobuhiro Yanagida and
                  Hiroshi Takahashi and
                  Yuzo Takamatsu},
  title        = {Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing
                  Sequence Pairs},
  booktitle    = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  pages        = {86--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/FTCS.1996.534597},
  doi          = {10.1109/FTCS.1996.534597},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ftcs/YanagidaTT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ftcs/1996,
  title        = {Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium
                  on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/3791/proceeding},
  isbn         = {0-8186-7261-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ftcs/1996.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.