Home

Organizing Committee

Program Committee

Conference Program

Registration Information

Call for Fast Abstracts 

Call for Papers

Hotel Information

Local and
Transport
Information

Hong Kong Tourist Association (for local information on Hong Kong)
 

 

1999 PACIFIC RIM INTERNATIONAL SYMPOSIUM
ON DEPENDABLE COMPUTING (PRDC 1999)
part of the federated 1999 International Computer Congress (ICC'99)
December 16-17, 1999 
HONG KONG, CHINA 
PROGRAM OVERVIEW

Thursday December 16, 1999

08:15 08:30 Opening Ceremony
08:30 09:15 Keynote Speech I
Dependable Real-Time Communication in Wide-Area Networks
(Prof. Kang Shin)
09:15 10:00 Keynote Speech II
 The Myth of Fault-Tolerance in Complex Systems
(Prof. Jacob A. Abraham)
10:00 10:15 Coffee & Tea Break
10:15 12:15 Session 1A
 Dependability in Mobile Environments
Session 1B
Hardware Fault-Tolerance
12:15 13:15 Lunch Break (Panorama Restaurant)
13:15 15:15 Session 2A
Error Detection and Correction
Session 2B
Dependable Systems
15:15 15:30 Coffee & Tea Break
15:30 17:00 Panel Discussion Session 3B
Dependability Evaluation
18:30 21:00 Dinner Banquet (Success Seafood Restaurant)

Friday December 17, 1999


08:30 09:15 Keynote Speech III
Diversity for Dependability
(Prof. Jean-Claude Laprie)
09:15 10:00 Keynote Speech IV
Computer Crime in Hong Kong
(Mr. Anthony Fung)
10:00 10:15 Coffee & Tea Break
10:15 11:45 Session 4A
Software Dependability
Session 4B
Checkpointing
11:45 12:45 Lunch Break (Patio Coffee Shop)
12:45 15:15 Session 5A
Fault-Injection
Session 5B
Dependability in Parallel Systems
15:15 15:30 Coffee & Tea Break
15:30 17:00 Fast Abstracts Session Session 6B
Dependability in Computer Networks

DETAILED PROGRAM

Thursday December 16, 1999

08:15 08:30 Opening Ceremony

08:30 09:15 Keynote Speech I

Dependable Real-Time Communication in Wide-Area Networks
(Prof. Kang Shin)
Chair: Prof. W. Zhao
09:15 10:00 Keynote Speech II
The Myth of Fault Tolerance in Complex Systems
(Prof. Jacob A. Abraham)
Chair: Prof. Y. Min


10:00 10:15  Coffee & Tea Break

10:15 12:15 Session 1A Dependability in Mobile Environments
Chair: Dr. J. Cao

1A 1 Adaptive Checkpointing with Storage Management for Mobile Environments, K.-F. Ssu, W. K. Fuchs and N. Neves, Univ. of Illinois, USA
1A 2 Dependability Issues in Mobile Distributed Systems, H. Laamanen, T. Alanko, and K. Raatikainen, Sonera ltd. Mobile Communications, Finland
1A 3 Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System, H. Sun, Y. Cao, K. S. Trivedi, and J. J. Han, Duke University, USA
1A 4 LLT and LTn Schemes: Error Recovery Schemes in Mobile Environments, M. Yagi, K. Kaneko and H. Ito, Chiba Univ., Japan


10:15 12:15 Session 1B Hardware Fault-Tolerance
Chair: Prof. Y. Tohma

1B 1 A Novel NMR Structure with Concurrent Error Location Capabilities, J.-H. Jiang, H.-B. Shi, Y. Min and X.-D. Zhao, Shanghai Tiedao Univ., China
1B 2 A Novel Fault-Tolerant Approach for SRAM-Based FPGAs, J. Xu, P. SI, W. Huang, and F. Lombardi, Fudan Univ., China
1B 3 An Automatic Testing and Diagnosis for FPGAs, A. Doumar, and H. Ito, Chiba Univ., Japan
1B 4 Parity Sensitive Comparators, G. Fabregat, J. V. Martí, and G. León, Universitat Jaume 1, Spain
12:15 13:15 Lunch Break (Panorama Restaurant)

13:15 15:15 Session 2A Error Detection and Correction
Chair: Prof. W. Huang

2A 1 Interconnecting Lock-step Synchronous Fault-tolerant Systems Based on Voting and Error-Correcting Codes, T. Krol, Univ. of Twente, The Netherlands
2A 2 Hardware Fault Tolerance in Arithmetic Coding for Data Compression, R. Redinbo, Univ. of California, Davis, USA
2A 3 Empirical-Bayesian Availability Index of Safety & Time Critical Software Systems with Corrective Maintenance, M. Sahinoglu, and E. Chow, Case Western Reserve Univ., USA
2A 4 The Specified Strong Failure Detector Class for Asynchronous Distributed Systems, C.-C. Hsu and C.-C. Kung, National Taiwan Univ., Taiwan
13:15 15:15 Session 2B Dependable Systems
Chair: Dr. C. R. Das
2B 1 The Design of a Fault-Tolerant COTS-Based Bus Architecture, S. N. Chau, L. Alkalai, and A. T. Tai, California Institute of Technology, USA
2B 2 FBD: A Fault-tolerant Buffering Disk System for Improving Write Performance of RAID5, H. Yokota, and M. Goto, Tokyo Institute of Technology, Japan
2B 3 The Effect of Interconnect Schemes on the Dependability of a Modular Multi-processor System with Shared Resources, F. M. G. Dörenberg, H.-S. Kim and A. K. Somani, Allied Signal Avionics & Lighting, USA
15:15 15:30 Coffee & Tea Break

15:30 17:00 Panel Session Topic Secure Systems in the Near Future

15:30 17:00 Session 3B Dependability Evaluation
Chair: Dr. Jong Kim

3B 1 A Fuzzy Based Aid Approach for the Design and Evaluation of Dependable Systems Using Markov Model, P. S. Cugnasca, M. T. Carvalho de Andrade, and J. B. Camargo Jr., Escola Politéchnica da Universidade de São Paulo, Brazil
3B 2 Enhancing Dependability via Parametrized Refinement, E. A. Troubitsyna, Turku Center for Computer Science, Finland
3B 3 Testing-Resource Allocation for Redundant Software Systems, B. Yang and M. Xie, National Univ. of Singapore, Singapore
18:30 21:00 Dinner Banquet: Success Seafood Restaurant (2nd Floor, Tsim Sha Tsui Centre, 66 Mody Road, Tsim Sha Tsui, Kowloon)
 
 

Friday December 17, 1999

08:30 09:15 Keynote Speech III

Diversity for Dependability
(Prof. Jean-Claude Laprie)
Chair: Dr. M. R. Lyu
09:15 10:00 Keynote Speech IV
Computer Crime in Hong Kong
(Mr. Anthony Fung)
Chair: Dr. L. C. K. Hui


10:00 10:15 Coffee & Tea Break

10:15 11:45 Session 4A Software Dependability
Chair: Prof. M. Xie

4A 1 Approximate Correctness Checking of Computational Results, H. Jin, G. F. Sullivan and G. M. Masson, Johns Hopkins Univ., USA
4A 2 Combining Methods for the Analysis of a Fault-Tolerant System, H. Shi, J. Peleska and M. Kouvaras, Univ. of Bremen, Germany
4A 3 Architecture-Based Software Reliability Model, W.-L. Wang, Y. Wu, and M.-H. Chen, SUNY Albany, USA
10:15 11:45 Session 4B Checkpointing
Chair: Dr. F. C. M. Lau
4B 1 Selective Checkpointing and Rollbacks in Multithreaded Object-oriented Environment, M. Kasbekar, C. Narayanan, and C. R. Das, The Pennsylvania State Univ., USA
4B 2 Reliable Probabilistic Checkpointing, H.-C. Nam, J. Kim, S. Hong, and S. Lee, Pohang Univ. of Science and Technology, Korea
4B 3 Optimal Checkpointing and Rollback Strategies with Media Failures: Statistical Estimation Algorithms, T. Dohi, N. Kaio and S. Osaki, Hiroshima Univ., Japan
11:45 12:45 Lunch Break (Patio Coffee Shop)

12:45 15:15 Session 5A Fault-Injection
Chair: Prof. K. S. Trivedi

5A 1 A Simulated Fault Injection Tool for Dependable VoD Application Design, L. Romano, G. Capuozzo, A. Mazzeo, and N. Mazzocca, Università di Napoli, Italy
5A 2 Networked Windows NT System Field Failure Data Analysis, J. Xu, Z. Kalbarczyk, and R. Iyer, Univ. of Illinois, USA
5A 3 Using Physical and Simulated Fault Injection to Evaluate Error Detection Mechanisms, C. Constantinescu, Intel, USA
5A 4 Cost of Ensuring Safety in Distributed Database Management Systems, M. Sabaratnam, O. Torbjornsen, ans S.-V. Hvasshovd, Norwegian Univ. of Science and Technology, Norway
5A 5 Experimental Assessment of COTS DBMS Robustness under Transient Faults, D. Costa and H. Madeira, Univ. of Coimbra, Portugal
12:45 15:15 Session 5B Dependability in Parallel Systems
Chair: Prof. W. K. Fuchs
5B 1 A Simple and Efficient Deadlock Recovery Scheme for Wormhole Routed 2-Dimensional Meshes, S.-C. Wang, S.-Y. Kuo and Y. Huang, National Taiwan Univ., Taiwan
5B 2 Self-Validating Diagnosis of Hypercube Systems, P. Santi, and P. Maestrini, University of Pisa, Italy
5B 3 Fault-Tolerant Routing Algorithms Based on Optimal Path Matrices, F. Gao, and Z. Li, Chinese Acad. of Sciences, China
5B 4 Reconfiguration of Two-Dimensional Meshes Embedded in Hypercubes, S. Nakano, N. Kamiura, Y. Hata, and N. Matsui, Himeji Institute of Technology, Japan
5B 5 A New Placement Algorithm Dedicated to Parallel Computers: Bases and Application, F. Clermidy, T. Collette, and M. Nicolaïdis, LETI, France
15:15 15:30 Coffee & Tea Break

15:30 17:00 Fast Abstracts Session
Chair: Dr. J. K. Muppala

FA 1 Protecting Huffman Data Compression Operations, T. Hourteillan and G. R. Redinbo, Univ. of California, Davis, USA
FA 2 A High Dependability Computer Attainable by a Tracking Redundancy Scheme, H. Kato, Shonan Inst.of Technology, Japan
FA 3 Design of 2-D Hash Function for Fault Tolerant Cryptography, C. N. Zhang and C. Lai, Univ. of Regina, Canada
FA 4 Reachability Analusis of Cellular Automata, J. K. Deka and P. Dasgupta, Indian Inst. of Technology, Kharagpur, India
FA 5 Efficient Checkpointing Using Incremental Messages: Performance Evaluation, C. Perez, J. J. Villaplana, G. Fabregat, and R. J. Martinez, Univ. of Valencia, Spain
FA 6 Using Time Redundancy for Detection of Result Errors Caused by Permanent Hardware Faults, O. Askerdal and J. Tonnin, Chalmers Univ. of Technology, Sweden
FA 7 Using Group Communication for Implementing Fault Tolerant Mobile Agents, A. Cherif and T. Katayama, Japan Advanced Institute of Science and Technology, Japan
FA 8 A Methodology for the Adaptive Optimization of N-Version Software Systems, K.-E. Grosspietsch, German National Research Center for Information Technology, Germany
FA 9 The Effect of Faults on the Performance of Non-blocking Shared Data Objects in Multiprocessor Systems, P. Tsigas and Y. Zhang, Chalmers Univ. of Technology, Sweden
FA 10 Dependable Procedures for Bus Phase Control, Y. Hayashi, T. Matsubara, and Y. Koga, National Defense Academy, Japan


15:30 17:00 Session 6B Dependability in Computer Networks
Chair: Dr. M. R. Lyu

6B 1 Performance of Message Logging Protocols for NOWs with MPI, H. Y. Youn, and S. Afroz, Univ. of Texas at Arlington, USA
6B 2 The Measurement and Modeling of Burst Packet Losses in Internet End-to-End Communications, M. Arai, A. Chiba, and K. Iwasaki, Tokyo Metropolitan Univ., Japan
6B 3 A Fault-Tolerant Data Communication Setup to Improve Reliability and Performance for Internet-Based Distributed Systems, A. K. Y. Wong, and T. T. Dillon, Hong Kong Polytechnic Univ., Hong Kong




Page maintained by Jogesh K. Muppala