CSDL - Proceedings P

Program Co-Chairs' Message (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Steering Committee (PDF)

pp. xii

Program Committee (PDF)

pp. xiii

Reviewers (PDF)

pp. xiv

Keynote Speech (I)

Fault Tolerance in Autonomic Computing Environment (Abstract)

Yoshihiro Tohma, Tokyo Denki University

pp. 3

PDF

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System (Abstract)

Session 1A:Dependable Distributed Systems (I)

HariGovind V. Ramasamy, University of Illinois at Urbana-Champaign

Michel Cukier, University of Maryland at College Park

William H. Sanders, University of Illinois at Urbana-Champaign

pp. 9

PDF

Asynchronous Active Replication in Three-Tier Distributed Systems (Abstract)

Roberto Baldoni, Università di Roma "La Sapienza"

Carlo Marchetti, Università di Roma "La Sapienza"

Sara Tucci Piergiovanni, Università di Roma "La Sapienza"

pp. 19

PDF

Session 1B:Checkpointing

On Characteristics of DEF Communication-Induced Checkpointing Protocols (Abstract)

Jichiang Tsai, National Chung Hsing University

Jenn-Wei Lin, Fu Jen Catholic University

pp. 29

PDF

A Low Overhead heckpointing Protocol for Mobile Computing Systems (Abstract)

Chi-Yi Lin, National Taiwan University

Szu-Chi Wang, National Taiwan University

Sy-Yen Kuo, National Taiwan University

Ing-Yi Chen, Chung Yuan Christian University

pp. 37

PDF

The Cost of Checkpointing,Logging and Recovery for the Mobile Agent Systems (Abstract)

Hyunjoo Kim, Seoul National University

Heon Y. Yeom, Seoul National University

Taesoon Park, Sejong Park

Hyoungwoo Park, KISTI

pp. 45

PDF

Session 2A:Dependable Systems (I)

Analysis of the Effects of Real and Injected Software Faults: (Abstract)

Tahar Jarboui, LAAS-CNRS

Jean Arlat, LAAS-CNRS

Yves Crouzet, LAAS-CNRS

Karama Kanoun, LAAS-CNRS

Thomas Marteau, LAAS-CNRS

pp. 51

PDF

Principles of Multi-Level Reflection for Fault Tolerant Architectures (Abstract)

François Taïani, LAAS-CNRS

Jean-Charles Fabre, LAAS-CNRS

Marc-Olivier Killijian, LAAS-CNRS

pp. 59

PDF

Hardware/Software Co-Reliability of Configurable Digital Systems (Abstract)

M. Choi, University of Missouri-Rolla

N. Park, Oklahoma State University

Y. Kim, Northeastern University

F. Lombardi, Northeastern University

pp. 67

PDF

Highly Fault-Tolerant FPGA Processor by Degrading Strategy (Abstract)

Yousuke Nakamura, University of Tokyo

Kei Hiraki, University of Tokyo

pp. 75

PDF

Session 2B:Reliability/Dependability Analysis

Using Software Implemented Fault Inserter in Dependability Analysis (Abstract)

P. Gawkowski, Warsaw University of Technology

J. Sosnowski, Warsaw University of Technology

pp. 81

PDF

Analyzing Network Reliability With Imperfect Nodes Using OBDD (Abstract)

Fu-Min Yeh, Chung-Shan Institute of Science and Technology

Hung-Yau Lin, National Taiwan University

Sy-Yen Kuo, National Taiwan University

pp. 89

PDF

Reliability Analysis of Grid Computing Systems (Abstract)

Y.S. Dai, National University of Singapore

M. Xie, National University of Singapore

K.L. Poh, National University of Singapore

pp. 97

PDF

A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems (Abstract)

Örjan Askerdal, Chalmers University of Technology

Magnus Gäfvert, Lund Institute of Technology

Martin Hiller, Chalmers University of Technology

Neeraj Suri, Chalmers University of Technology

pp. 105

PDF

Keynote Speech (II)

Caveat Emptor:Making Grid Services Dependable from the Client Side (PDF)

Miron Livny, University of Wisconsin-Madison

Doug Thain, University of Wisconsin-Madison

pp. 117

Session 3A:Dependable Distributed Systems (II)

An Introduction to the Renaming Problem (Abstract)

Michel RAYNAL, IRISA

pp. 121

PDF

PASSIVE REPLICATION SCHEMES IN AQUA (Abstract)

Yansong (Jennifer) Ren, Bell Laboratories

Paul Rubel, BBN Technologies

Mouna Seri, University of Illinois at Urbana-Champaign

Michel Cukier, University of Maryland at College Park

William H. Sanders, University of Illinois at Urbana-Champaign

Tod Courtney, University of Illinois at Urbana-Champaign

pp. 125

PDF

Detecting Feature Interactions in Telecommunication Services with a SAT Solver (Abstract)

Tatsuhiro Tsuchiya, Osaka University

Masahide Nakamura, Nara Institute of Science &Technology

Tohru Kikuno, Osaka University

pp. 131

PDF

Session 3B:Dependable Networks

Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks (Abstract)

Toshinori Takabatake, Chiba University

Masato Kitakami, Chiba University

Hideo Ito, Chiba University

pp. 137

PDF

Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks (Abstract)

Sangman Moh, Electronics and Telecommunications Research Institute

Chansu Yu, Cleveland State Univ

Ben Lee, Oregon State Univ.

Hee Yong Youn, Sungkyunkwan Univ.

pp. 145

PDF

Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network (Abstract)

Nobuo Tsuda, Kanazawa Institute of Technology

pp. 153

PDF

Keynote Speech (III)

Perspectives on Dependable Computing for Solar System Exploration (PDF)

Leon Alkalai, California Institute of Technology

pp. 163

Session 4A:Dependable Systems (II)

Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module (Abstract)

Yasushi Shinjo, University of Tsukuba

Kotaro Eiraku, University of Tsukuba

Atsushi Suzuki, University of Tsukuba

Kozo Itano, University of Tsukuba

Calton Pu, Georgia Institute of Technology

pp. 167

PDF

An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5 (Abstract)

Young Jin Nam, Pohang University of Science and Technology

Chanik Park, Pohang University of Science and Technology

pp. 177

PDF

A Packet-Based Caching Proxy with Loss Recovery for Video Streaming (Abstract)

Kuan-Sheng Hsueh, National Taiwan University

Sheng-De Wang, National Taiwan University

pp. 185

PDF

Session 4B:Dependability Evaluation and Verification

Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD (Abstract)

Yung-Ruei Chang, National Taiwan University

Suprasad V. Amari, Relex Software Corporation

Sy-Yen Kuo, National Taiwan University

pp. 193

PDF

Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation (Abstract)

João Durães, Polytechnic Institute of Coimbra

Henrique Madeira, University of Coimbra

pp. 201

PDF

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method (Abstract)

Tomoya Kitai

Yusuke Oguro, To yo Institute of Technology

Tomohiro Yoneda, National Institute of Informatics

Eric Mercer, Brigham Young University

Chris Myers, University of Utah

pp. 210

PDF

Session 5A:Consensus in Distributed Systems

Consensus in Synchronous Systems:A Concise Guided Tour (Abstract)

Michel RAYNAL, IRISA

pp. 221

PDF

A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent (Abstract)

Jiannong Cao, Hong Kong Polytechnic University

Xianbing Wang, Hong Kong Polytechnic University and Wuhan University

Siu Lo, Hong Kong Polytechnic University

Sajal K. Das, University of Texas at Arlington

pp. 229

PDF

Session 5B:Coding

Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-time Transmission (Abstract)

Masayuki Arai, Tokyo Metropolitan University

Hitoshi Kurosu, Tokyo Metropolitan University

Satoshi Fukumoto, Tokyo Metropolitan University

Kazuhiko Iwasaki, Tokyo Metropolitan University

pp. 239

PDF

A Class of Random Multiple Bits in a Byte Error Correcting (S_t/b EC)Codes for Semiconductor Memory Systems (Abstract)

Ganesan UMANESAN, Tokyo Institute of Technology

Eiji FUJIWARA, Tokyo Institute of Technology

pp. 247

PDF

Session 6A:Dependable Database

Providing Persistence or Sensor Streams with Light Neighbor WAL (Abstract)

Hideyuki Kawashima, Keio University

Motomichi Toyama, Keio University

Yuichiro Anzai, Keio University

Michita Imai, Keio University

pp. 257

PDF

Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking (Abstract)

Marco Vieira, Polytechnic Institute of Coimbra

Henrique Madeira, University of Coimbra

pp. 265

PDF

Session 6B:Test

An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets (Abstract)

Hiroshi Takahashi, Ehime University

Kewal K. Saluja, University of Wisconsin

Yuzo Takamatsu, Ehime University

pp. 275

PDF

Enhancing Delay Fault Testability for Iterative Logic Arrays (Abstract)

Shyue-Kung Lu, Fu Jen Catholic University

Chien-Hung Yeh, Fu Jen Catholic University

pp. 283

PDF

Session 7A:Neural Network

Comparison with Defect Compensation Methods for Feed-forward Neural Networks (Abstract)

Kin ?ya TAKAHASHI, Miyazaki University

Kunihito YAMAMORI, Miyazaki University

Ikuo YOSHIHARA, Miyazaki University

Susumu HORIGUCHI, Japan Advanced Institute of Science and Technology

pp. 293

PDF

An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant (Abstract)

Itsuo Takanami, Ichinoseki National College of Technology

Yasuhiro Oyama, Iwate University

pp. 301

PDF

Session 7B:Practical Reports

Event Log based Dependability Analysis of Windows NT and 2K Systems (Abstract)

Cristina Simache, LAAS-CNRS

Mohamed Kaâniche, LAAS-CNRS

Ayda Saidane, LAAS-CNRS

pp. 311

PDF

Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture (Abstract)

I. Gracia, Universidad Politecnica de Valencia.

D. Gil, Universidad Politecnica de Valencia.

I. C. Baraza, Universidad Politecnica de Valencia.

P. J. Gil, Universidad Politecnica de Valencia

pp. 316

PDF

Formal Verification of a Pipelined Processor with New Memory (Abstract)

Hiroshi NAKAMURA, University of Tokyo

Takanori ARAI, University of Tokyo

Masahiro FUJITA, University of Tokyo

pp. 321

PDF

Author Index

Author Index (PDF)

pp. 325