Search dblp for Publications

export results for "toc:db/conf/prdc/prdc2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/prdc/Alkalai02,
  author       = {Leon Alkalai},
  title        = {Perspectives on Dependable Computing for Solar System Exploration},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {163--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185634},
  doi          = {10.1109/PRDC.2002.1185634},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Alkalai02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AraiKFI02,
  author       = {Masayuki Arai and
                  Hitoshi Kurosu and
                  Satoshi Fukumoto and
                  Kazuhiko Iwasaki},
  title        = {Evaluation of Convolutional-Code-Based {FEC} under Limited Recovery
                  Time and Its Application to Real-time Transmission},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {239--246},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185643},
  doi          = {10.1109/PRDC.2002.1185643},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/AraiKFI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AskerdalGHS02,
  author       = {{\"{O}}rjan Askerdal and
                  Magnus G{\"{a}}fvert and
                  Martin Hiller and
                  Neeraj Suri},
  title        = {A Control Theory Approach for Analyzing the Effects of Data Errors
                  in Safety-Critical Control Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {105--116},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185625},
  doi          = {10.1109/PRDC.2002.1185625},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/AskerdalGHS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/BaldoniMP02,
  author       = {Roberto Baldoni and
                  Carlo Marchetti and
                  Sara {Tucci Piergiovanni}},
  title        = {Asynchronous Active Replication in Three-Tier Distributed Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185614},
  doi          = {10.1109/PRDC.2002.1185614},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/BaldoniMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/CaoWLD02,
  author       = {Jiannong Cao and
                  Xianbing Wang and
                  Siu Lo and
                  Sajal K. Das},
  title        = {A Consensus Algorithm for Synchronous Distributed Systems using Mobile
                  Agent},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {229--238},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185642},
  doi          = {10.1109/PRDC.2002.1185642},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/CaoWLD02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ChangAK02,
  author       = {Yung{-}Ruei Chang and
                  Suprasad V. Amari and
                  Sy{-}Yen Kuo},
  title        = {Reliability Evaluation of Multi-state Systems Subject to Imperfect
                  Coverage using {OBDD}},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {193--200},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185638},
  doi          = {10.1109/PRDC.2002.1185638},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ChangAK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ChoiPKL02,
  author       = {Minsu Choi and
                  Nohpill Park and
                  Yong{-}Bin Kim and
                  Fabrizio Lombardi},
  title        = {Hardware/Software Co-Reliability of Configurable Digital Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {67--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185620},
  doi          = {10.1109/PRDC.2002.1185620},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ChoiPKL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DaiXP02,
  author       = {Yuan{-}Shun Dai and
                  Min Xie and
                  Kim{-}Leng Poh},
  title        = {Reliability Analysis of Grid Computing Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {97--104},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185624},
  doi          = {10.1109/PRDC.2002.1185624},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/DaiXP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/DuraesM02,
  author       = {Jo{\~{a}}o Dur{\~{a}}es and
                  Henrique Madeira},
  title        = {Characterization of Operating Systems Behavior in the Presence of
                  Faulty Drivers through Software Fault Emulation},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {201--209},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185639},
  doi          = {10.1109/PRDC.2002.1185639},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/DuraesM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/GawkowskiS02,
  author       = {Piotr Gawkowski and
                  Janusz Sosnowski},
  title        = {Using Software Implemented Fault Inserter in Dependability Analysis},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {81--88},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185622},
  doi          = {10.1109/PRDC.2002.1185622},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/GawkowskiS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/GraciaGBG02,
  author       = {Joaquin Gracia and
                  Daniel Gil and
                  Juan Carlos Baraza and
                  Pedro J. Gil},
  title        = {Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms
                  in the Time-Triggered Architecture},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {316--320},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185652},
  doi          = {10.1109/PRDC.2002.1185652},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/GraciaGBG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/HsuehW02,
  author       = {Kuan{-}Sheng Hsueh and
                  Sheng{-}De Wang},
  title        = {A Packet-Based Caching Proxy with Loss Recovery for Video Streaming},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {185--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185637},
  doi          = {10.1109/PRDC.2002.1185637},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/HsuehW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/JarbouiACKM02,
  author       = {Tahar Jarboui and
                  Jean Arlat and
                  Yves Crouzet and
                  Karama Kanoun and
                  Thomas Marteau},
  title        = {Analysis of the Effects of Real and Injected Software Faults:},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {51--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185618},
  doi          = {10.1109/PRDC.2002.1185618},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/JarbouiACKM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KawashimaTAI02,
  author       = {Hideyuki Kawashima and
                  Motomichi Toyama and
                  Yuichiro Anzai and
                  Michita Imai},
  title        = {Providing Persistence or Sensor Streams with Light Neighbor {WAL}},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {257--264},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185645},
  doi          = {10.1109/PRDC.2002.1185645},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KawashimaTAI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KimYPP02,
  author       = {Hyunjoo Kim and
                  Heon Young Yeom and
                  Taesoon Park and
                  Hyoung{-}Woo Park},
  title        = {The Cost of Checkpointing, Logging and Recovery for the Mobile Agent
                  Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {45--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185617},
  doi          = {10.1109/PRDC.2002.1185617},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KimYPP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KitaiOYMM02,
  author       = {Tomoya Kitai and
                  Yusuke Oguro and
                  Tomohiro Yoneda and
                  Eric Mercer and
                  Chris J. Myers},
  title        = {Level Oriented Formal Model for Asynchronous Circuit Verification
                  and its Efficient Analysis Method},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {210--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185640},
  doi          = {10.1109/PRDC.2002.1185640},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KitaiOYMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/LinWKC02,
  author       = {Chi{-}Yi Lin and
                  Szu{-}Chi Wang and
                  Sy{-}Yen Kuo and
                  Ing{-}Yi Chen},
  title        = {A Low Overhead heckpointing Protocol for Mobile Computing Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {37--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185616},
  doi          = {10.1109/PRDC.2002.1185616},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/LinWKC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/LivnyT02,
  author       = {Miron Livny and
                  Douglas Thain},
  title        = {Caveat Emptor: Making Grid Services Dependable from the Client Side},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {117--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185626},
  doi          = {10.1109/PRDC.2002.1185626},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/LivnyT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/LuY02,
  author       = {Shyue{-}Kung Lu and
                  Chien{-}Hung Yeh},
  title        = {Enhancing Delay Fault Testability for Iterative Logic Array},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {283--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185648},
  doi          = {10.1109/PRDC.2002.1185648},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/LuY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MohYLY02,
  author       = {Sangman Moh and
                  Chansu Yu and
                  Ben Lee and
                  Hee Yong Youn},
  title        = {Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {145--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185631},
  doi          = {10.1109/PRDC.2002.1185631},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/MohYLY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NakamuraAF02,
  author       = {Hiroshi Nakamura and
                  Takanori Arai and
                  Masahiro Fujita},
  title        = {Formal Verification of a Pipelined Processor with New Memory},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {321--324},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185653},
  doi          = {10.1109/PRDC.2002.1185653},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NakamuraAF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NakamuraH02,
  author       = {Yousuke Nakamura and
                  Kei Hiraki},
  title        = {Highly Fault-Tolerant {FPGA} Processor by Degrading Strategy},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {75--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185621},
  doi          = {10.1109/PRDC.2002.1185621},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NakamuraH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/NamP02,
  author       = {Young Jin Nam and
                  Chanik Park},
  title        = {An Adaptive High-Low Water Mark Destage Algorithm for Cached {RAID5}},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {177--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185636},
  doi          = {10.1109/PRDC.2002.1185636},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/NamP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RamasamyCS02,
  author       = {HariGovind V. Ramasamy and
                  Michel Cukier and
                  William H. Sanders},
  title        = {Formal Specification and Verification of a Group Membership Protocol
                  for an Intrusion-Tolerant Group Communication System},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {9--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185613},
  doi          = {10.1109/PRDC.2002.1185613},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/RamasamyCS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Raynal02,
  author       = {Michel Raynal},
  title        = {An Introduction to the Renaming Problem},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {121--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185627},
  doi          = {10.1109/PRDC.2002.1185627},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Raynal02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Raynal02a,
  author       = {Michel Raynal},
  title        = {Consensus in Synchronous Systems: {A} Concise Guided Tour},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {221--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185641},
  doi          = {10.1109/PRDC.2002.1185641},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Raynal02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/RenRSCSC02,
  author       = {Jennifer Ren and
                  Paul Rubel and
                  Mouna Seri and
                  Michel Cukier and
                  William H. Sanders and
                  Tod Courtney},
  title        = {Passive Replication Schemes in Aqua},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {125--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185628},
  doi          = {10.1109/PRDC.2002.1185628},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/RenRSCSC02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShinjoESIP02,
  author       = {Yasushi Shinjo and
                  Kotaro Eiraku and
                  Atsushi Suzuki and
                  Kozo Itano and
                  Calton Pu},
  title        = {Enhancing Access Control with SysGuard, Reference Monitor Supporting
                  Portable and Composable Kernel Module},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {167--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185635},
  doi          = {10.1109/PRDC.2002.1185635},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/ShinjoESIP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/SimacheKS02,
  author       = {Cristina Simache and
                  Mohamed Ka{\^{a}}niche and
                  Ayda Sa{\"{\i}}dane},
  title        = {Event Log based Dependability Analysis of Windows {NT} and 2K Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {311--315},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185651},
  doi          = {10.1109/PRDC.2002.1185651},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/SimacheKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TaianiFK02,
  author       = {Fran{\c{c}}ois Ta{\"{\i}}ani and
                  Jean{-}Charles Fabre and
                  Marc{-}Olivier Killijian},
  title        = {Principles of Multi-Level Reflection for Fault Tolerant Architectures},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {59--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185619},
  doi          = {10.1109/PRDC.2002.1185619},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TaianiFK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TakabatakeKI02,
  author       = {Toshinori Takabatake and
                  Masato Kitakami and
                  Hideo Ito},
  title        = {Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected
                  Networks},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {137--144},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185630},
  doi          = {10.1109/PRDC.2002.1185630},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TakabatakeKI02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TakahashiST02,
  author       = {Hiroshi Takahashi and
                  Kewal K. Saluja and
                  Yuzo Takamatsu},
  title        = {An Alternative Method of Generating Tests for Path Delay Faults Using
                  {N} -Detection Test Sets},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {275--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185647},
  doi          = {10.1109/PRDC.2002.1185647},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TakahashiST02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TakahashiYYH02,
  author       = {Kin'ya Takahashi and
                  Kunihito Yamamori and
                  Ikuo Yoshihara and
                  Susumu Horiguchi},
  title        = {Comparison with Defect Compensation Methods for Feed-forward Neural
                  Networks},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {293--300},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185649},
  doi          = {10.1109/PRDC.2002.1185649},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TakahashiYYH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TakanamiO02,
  author       = {Itsuo Takanami and
                  Yasuhiro Oyama},
  title        = {An Extreme Value Injection Approach with Reduced Learning Time to
                  Make MLNs Multiple-Weight-Fault Tolerant},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {301--310},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185650},
  doi          = {10.1109/PRDC.2002.1185650},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TakanamiO02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Tohma02,
  author       = {Yoshihiro Tohma},
  title        = {Fault Tolerance in Autonomic Computing Environment},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {3--8},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185612},
  doi          = {10.1109/PRDC.2002.1185612},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Tohma02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsaiL02,
  author       = {Jichiang Tsai and
                  Jenn{-}Wei Lin},
  title        = {On Characteristics of {DEF} Communication-Induced Checkpointing Protocols},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {29--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185615},
  doi          = {10.1109/PRDC.2002.1185615},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TsaiL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/TsuchiyaNK02,
  author       = {Tatsuhiro Tsuchiya and
                  Masahide Nakamura and
                  Tohru Kikuno},
  title        = {Detecting Feature Interactions in Telecommunication Services with
                  a {SAT} Solver},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {131--136},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185629},
  doi          = {10.1109/PRDC.2002.1185629},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/TsuchiyaNK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/Tsuda02,
  author       = {Nobuo Tsuda},
  title        = {Configurable {PC} Clusters Using a Hierarchical Complete-Connection-Based
                  Switching Network},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {153--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185632},
  doi          = {10.1109/PRDC.2002.1185632},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/Tsuda02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/UmanesanF02,
  author       = {Ganesan Umanesan and
                  Eiji Fujiwara},
  title        = {A Class of Random Multiple Bits in a Byte Error Correcting {(S} t/b
                  EC)Codes for Semiconductor Memory Systems},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {247--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185644},
  doi          = {10.1109/PRDC.2002.1185644},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/UmanesanF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/VieiraM02,
  author       = {Marco Vieira and
                  Henrique Madeira},
  title        = {Definition of Faultloads Based on Operator Faults for {DMBS} Recovery
                  Benchmarking},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {265--274},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185646},
  doi          = {10.1109/PRDC.2002.1185646},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/VieiraM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/YehLK02,
  author       = {Fu{-}Min Yeh and
                  Hung{-}Yau Lin and
                  Sy{-}Yen Kuo},
  title        = {Analyzing Network Reliability With Imperfect Nodes Using {OBDD}},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {89--96},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185623},
  doi          = {10.1109/PRDC.2002.1185623},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/YehLK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prdc/2002,
  title        = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8447/proceeding},
  isbn         = {0-7695-1852-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prdc/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics