The Community for Technology Leaders
Pacific Rim International Symposium on Dependable Computing, IEEE (1999)
Hong Kong, China
Dec. 16, 1999 to Dec. 17, 1999
ISBN: 0-7695-0371-3
TABLE OF CONTENTS
Keynote Speech I
Keynote Speech II
Session 1A: Dependability in Mobile Environments

Dependability Issues in Mobile Distributed System (Abstract)

Kimmo Raatikainen , University of Helsinki
Timo Alanko , University of Helsinki
Heimo Laamanen , Sonera Ltd.,
pp. 7

LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments (Abstract)

Hideo Ito , Tokyo University of Agriculture and Technology
Keiichi Kaneko , Tokyo University of Agriculture and Technology
Mikio Yagi , Chiba University
pp. 23
Session 1B: Hardware Fault-Tolerance

A Novel NMR Structure with Concurrent Error Location Capabilities (Abstract)

Xiaodong Zhao , Shanghai Tiedao University
Jianhui Jiang , Shanghai Tiedao University and Chinese Academy of Sciences
Hongbao Shi , Shanghai Tiedao University
Yinghua Min , Shanghai Tiedao University
pp. 32

A Novel Fault Tolerant Approach for SRAM-Based FPGAs (Abstract)

Jian Xu , Fudan University
Weikang Huang , Fudan University
Fabrizio Lombardi , Texas A&M University
Paifa Si , Fudan University
pp. 40

An Automatic Testing and Diagnosis for FPGAs (Abstract)

Hideo Ito , Chiba University
Abderrahim Doumar , Chiba University
pp. 45

Parity Sensitive Comparators (Abstract)

Germán Fabregat , Universitat Jaume
Germán León , Universitat Jaume
José V. Martí , Universitat Jaume
pp. 53
Session 2A: Error Detection and Correction

Testing-Resource Allocation for Redundant Software Systems (Abstract)

Bo Yang , National University of Singapore
Min Xie , National University of Singapore
pp. 78
Session 2B: Dependable Systems

FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5 Systems (Abstract)

Masanori Goto , Tokyo Institute of Technology
Haruo Yokota , Tokyo Institute of Technology
pp. 95
Session 3A: Dependability Evaluation

A Fuzzy Based Approach for the Design and Evaluation of Dependable Systems Using the Markov Model (Abstract)

J.B. Camargo, Jr. , Escola Polit?cnica da Universidade de S?o Paulo
M.T. Carvalho de Andrade , Escola Polit?cnica da Universidade de S?o Paulo
P.S. Cugnasca , Escola Polit?cnica da Universidade de S?o Paulo
pp. 112

Enhancing Dependability via Parameterized Refinement (Abstract)

Elena A. Troubitsyna , Turku Center for Computer Science
pp. 120
Keynote Speech III
Keynote Speech IV

Tba (PDF)

pp. 0
Session 4A: Software Dependability

Combining Methods for the Analysis of a Fault-Tolerant System (Abstract)

Michel Kouvaras , DaimlerChrysler Aerospace RI
Jan Peleska , Verified Systems International GmbH
Hui Shi , University Bremen
pp. 135

An Architecture-Based Software Reliability Model (Abstract)

Ye Wu , State University of New York at Albany
Wen-Li Wang , State University of New York at Albany
Mei-Hwa Chen , State University of New York at Albany
pp. 143
Session 4B: Checkpointing

Reliable Probabilistic Checkpointing (Abstract)

SungJe Hong , Pohang University of Science and Technology
Jong Kim , Pohang University of Science and Technology
Sunggu Lee , Pohang University of Science and Technology
Hyo-chang Nam , Pohang University of Science and Technology
pp. 153

Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms (Abstract)

Tadashi Dohi , Hiroshima University
Naoto Kaio , Hiroshima Shudo University
Shunji Osaki , Hiroshima University
pp. 161
Session 5A: Fault-Injection Based Dependability

A Simulated Fault Injection Tool for Dependable VoD Application Design (Abstract)

G. Capuozzo , Universit? degli Studi di Napoli
N. Mazzocca , Universit? degli Studi di Napoli
L. Romano , Universit? degli Studi di Napoli
A. Mazzeo , Universit? degli Studi di Napoli
pp. 170

Networked Windows NT System Field Failure Data Analysis (Abstract)

Jun Xu , University of Illinois at Urbana-Champaign
Zbigniew Kalbarczyk , University of Illinois at Urbana-Champaign
Ravishankar K. Iyer , University of Illinois at Urbana-Champaign
pp. 178

Cost of Ensuring Safety in Distributed Database Management Systems (Abstract)

Maitrayi Sabaratnam , Norwegian University of Science & Technology
Svein-Olaf Hvasshovd , Norwegian University of Science & Technology
pp. 193
Session 5B: Dependability in Parallel Systems

A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes (Abstract)

Sy-Yen Kuo , National Taiwan University
Hung-Yau Lin , National Taiwan University
Yennun Huang , AT&T Labs - Research
Shih-Chang Wang , National Taiwan University
pp. 210

Self-Validating Diagnosis of Hypercube Systems (Abstract)

Paolo Santi , University of Pisa
Piero Maestrini , University of Pisa
pp. 218

Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices (Abstract)

Feng Gao , Chinese Academy of Sciences
Zhongcheng Li , Chinese Academy of Sciences
pp. 227

Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes (Abstract)

Naotake Kamiura , Himeji Institute of Technology
Nobuyuki Matsui , Himeji Institute of Technology
Yutaka Hata , Himeji Institute of Technology
Sumito Nakano , Himeji Institute of Technology
pp. 234

A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application (Abstract)

Fabien Clermidy , LETI(CEA - Technologie Avanc?e)
Thierry Collette , LETI(CEA - Technologie Avanc?e)
pp. 242
Session 6A: Dependability in Computer Networks

Performance of Message Logging Protocols for NOWs with MPI (Abstract)

Shahnaz Afroz , University of Texas at Arlington
Hee Yong Youn , Information & Communication University
Dongman Lee , Information & Communication University
pp. 252

Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications (Abstract)

Masayuki Arai , Tokyo Metropolitan University
Kazuhiko Iwasaki , Tokyo Metropolitan University
Atsushi Chiba , Tokyo Metropolitan University
pp. 260

Author Index (PDF)

pp. 277
93 ms
(Ver )