PRDC 1999: Hong Kong

1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong. IEEE Computer Society 1999 BibTeX

Dependability in Mobile Environments

Heimo Laamanen, Timo O. Alanko, Kimmo E. E. Raatikainen:
Dependability Issues in Mobile Distributed System. 7-14
Electronic Edition (link) BibTeX
Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han:
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System. 15-22
Electronic Edition (link) BibTeX
Mikio Yagi, Keiichi Kaneko, Hideo Ito:
LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments. 23-
Electronic Edition (link) BibTeX

Jianhui Jiang, Hongbao Shi, Yinghua Min, Xiaodong Zhao:
A Novel NMR Structure with Concurrent Error Location Capabilities. 32-39
Electronic Edition (link) BibTeX
Jian Xu, Paifa Si, Weikang Huang, Fabrizio Lombardi:
A Novel Fault Tolerant Approach for SRAM-Based FPGAs. 40-44
Electronic Edition (link) BibTeX
Abderrahim Doumar, Hideo Ito:
An Automatic Testing and Diagnosis for FPGAs. 45-
Electronic Edition (link) BibTeX

Germán Fabregat, Jose V. Marti, German Leon:
Parity Sensitive Comparators. 53-61
Electronic Edition (link) BibTeX
Thijs Krol:
Interconnecting Lock-Step Synchronous Fault-Tolerant Systems Based on Voting and Error-Correcting Codes. 62-69
Electronic Edition (link) BibTeX
G. Robert Redinbo:
Hardware Fault Tolerance in Arithmetic Coding for Data Compression. 70-77
Electronic Edition (link) BibTeX
Bo Yang, Min Xie:
Testing-Resource Allocation for Redundant Software Systems. 78-83
Electronic Edition (link) BibTeX
Mehmet Sahinoglu, Edward Chow:
Empirical-Bayesian Availability Indices of Safety & Time Critical Software Systems with Corrective Maintenance. 84-
Electronic Edition (link) BibTeX

Haruo Yokota, Masanori Goto:
FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5 Systems. 95-102
Electronic Edition (link) BibTeX
Frank M. G. Dorenberg, Huesung Kim, Arun K. Somani:
The Effect of Interconnect Schemes on the Dependability of a Modular Multi-Processor System with Shared Resources. 103-
Electronic Edition (link) BibTeX

P. S. Cugnasca, M. T. Carvalho de Andrade, João Batista Camargo Jr.:
A Fuzzy Based Approach for the Design and Evaluation of Dependable Systems Using the Markov Model. 112-119
Electronic Edition (link) BibTeX
Elena Troubitsyna:
Enhancing Dependability via Parameterized Refinement. 120-
Electronic Edition (link) BibTeX

Hui Shi, Jan Peleska, Michel Kouvaras:
Combining Methods for the Analysis of a Fault-Tolerant System. 135-142
Electronic Edition (link) BibTeX
Wen-Li Wang, Ye Wu, Mei-Hwa Chen:
An Architecture-Based Software Reliability Model. 143-
Electronic Edition (link) BibTeX

Hyo-Chang Nam, Jong Kim, Sung Je Hong, Sunggu Lee:
Reliable Probabilistic Checkpointing. 153-160
Electronic Edition (link) BibTeX
Tadashi Dohi, Shunji Osaki, Naoto Kaio:
Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms. 161-
Electronic Edition (link) BibTeX

Luigi Romano, G. Capuozzo, Antonino Mazzeo, Nicola Mazzocca:
A Simulated Fault Injection Tool for Dependable VoD Application Design. 170-177
Electronic Edition (link) BibTeX
Jun Xu, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
Networked Windows NT System Field Failure Data Analysis. 178-185
Electronic Edition (link) BibTeX
Cristian Constantinescu:
Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms. 186-192
Electronic Edition (link) BibTeX
Maitrayi Sabaratnam, Svein-Olaf Hvasshovd, Øystein Torbjørnsen:
Cost of Ensuring Safety in Distributed Database Management Systems. 193-200
Electronic Edition (link) BibTeX
Diamantino Costa, Henrique Madeira:
Experimental Assessment of COTS DBMS Robustness under Transient Faults. 201-
Electronic Edition (link) BibTeX

Shih-Chang Wang, Hung-Yau Lin, Sy-Yen Kuo, Yennun Huang:
A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes. 210-217
Electronic Edition (link) BibTeX
Paolo Santi, Piero Maestrini:
Self-Validating Diagnosis of Hypercube Systems. 218-226
Electronic Edition (link) BibTeX
Feng Gao, Zhongcheng Li:
Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices. 227-233
Electronic Edition (link) BibTeX
Sumito Nakano, Naotake Kamiura, Yutaka Hata, Nobuyuki Matsui:
Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes. 234-241
Electronic Edition (link) BibTeX
Fabien Clermidy, Thierry Collette, Michael Nicolaidis:
A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application. 242-
Electronic Edition (link) BibTeX

Shahnaz Afroz, Hee Yong Youn, Dongman Lee:
Performance of Message Logging Protocols for NOWs with MPI. 252-259
Electronic Edition (link) BibTeX
Masayuki Arai, Atsushi Chiba, Kazuhiko Iwasaki:
Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications. 260-267
Electronic Edition (link) BibTeX
Allan K. Y. Wong, Tharam S. Dillon:
A Fault-Tolerant Data Communication Setup to Improve Reliability and Performance for Internet Based Distributed Applications. 268-
Electronic Edition (link) BibTeX