The Program for PRDC 2005
December 11 |
|
9:00 -19:00 |
Registration |
19:00-20:15 |
Welcome Reception |
December 12 |
|||
7:30-8:30 |
Registration |
||
8:30-9:00 |
Welcoming Address |
||
9:00-10:00 |
Keynote Address¡ª¡°Dependable Computing in the Context of Mobility, Nomadicity, Ubiquity, and Pervasiveness ¡± Prof. W. Kent Fuchs Dean of Engineering, Cornell University |
||
10:00-11:00 |
Keynote Address¡ª¡°Why do software projects fail?: Reasons and a solution using a Bayesian classifier to predict potential risk¡± Prof. Tohru Kikuno Osaka Univ., Japan |
||
11:00-12:00 |
Tour to Yuelu academy |
||
12:00-14:00 |
Lunch |
||
14:00-16:00 |
Session 1A Distributed Protocols and Systems Paper title: Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses Authors: Wei Chen, Shi-Ding Lin, Qiao Lian, Zheng Zhang Paper title: Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems Authors: Roy Friedman, Achour Mostefaoui, Michel Raynal Paper title: Decision Optimal Early-Stopping k-set Agreement in Synchronous Systems Prone to Send Omission Failures Authors: Philippe Raipin Parvedy, Michel Raynal, Corentin Travers Paper title: Privacy-Preserving Bayesian Network Structure Learning On Distributed Heterogeneous Data Authors: Wang Hongmei, Zhao Zheng, Sun Zhiwei
|
Session 1B Software Reliability and Testing Paper title: Simultaneous Simulation of Alternate System Configurations Authors: Shravan Gaonkar, William H Sanders Paper title: Availability Assessment of SunOS/Solaris Unix Systems based on Syslogd and wtmpx log files: A case study Authors: Cristina Simache, Mohamed Kaaniche Paper title: On-chip Debugging-based Fault Emulation for Robustness Evaluation of Embedded Software Components Authors: J Pardo, JC Ruiz, JC Campelo, P Gil Paper title: Bayesian Networks Modeling for Software Inspection Effectiveness Authors: YP Wu, QP Hu, KL Poh, SH Ng, M Xie
|
|
16:00-16:15 |
Coffee Break |
||
16:15-17:45 |
Session 2A Fault Tolerance (1) Paper title: Application-Based Metrics for Strategic Placement of Detectors Authors: Karthik Pattabiraman, Zbigniew Kalbarczyk , Ravishankar K. Iyer Paper title: A Hardware Approach to Concurrent Error Detection Capability Enhancement in COTS Processors Authors: Amir Rajabzadeh, Seyed Ghassem Moremadi Paper title: Optimal Fault-Tolerant Routing Scheme For Generalized Hypercube Authors: Shaohuai Tian, Yingping Lu, Dafang Zhang |
Session 2B Validation and Modeling Paper title: High-Order Syndrome Testing for VLSI Authors: Shiyi Xu Paper title: A New Test Method for Core-based System Authors: ZHANG Ling , KUANG Jishun Paper title: A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions Authors: Neila BEN LAKHAL, Takashi KOBAYASHI, Haruo YOKOTA
|
|
18:30-21:00 |
Conference Banquet |
||
December 13 |
||
8:00-9:00 |
Registration |
|
9:00-10:30 |
Session 3A Fault Tolerance (2) Paper title: Code Design and Decoding Methods for Burst Error Locating Codes Authors: Masato Kitakami, Junpei Sano Paper title: An Evaluation of the Virtual Router Redundancy Protocol Extension with Load Balancing (corrected) Authors: Jen-Hao Kuo, Siong-Ui Te, Pang-Ting Liao, Chun-Ying Huang, Pan-Lung Tsai, Chin-Laung Lei, Sy-Yen Kuo, Yennun Huang, Zsehong Tsai Paper title: Formal Development of Software for Tolerating Transient Faults Authors: Dubravka Ilic, Elena Troubitsyna
|
Session 3B Checkpointing and Recovery Paper title: On the Fully-Informed Communication-Induced Checkpointing Protocol Authors: Jichiang Tsai, Jenn-Wei Lin Paper title: Optimal Choice of Checkpointing Interval for High Availability Authors: Diana Szentivanyi, Simin Nadjm-Tehrani, John M. Noble Paper title: Improving Schemes of Index-Based Checkpointing Authors: Yuan-sheng Luo, Yinghua Min, Dafang Zhang
|
10:30-10:45 |
Coffee Break |
|
10:45-12:15 |
Session 4A High-Performance Systems Paper title: Improving SRT Performance via Unified Fetch and Slack Decode Authors: Hua Yang, Gang Cui, XiaoZong Yang Paper title: Compression/Scan Co-Design to Reduce Test Data Volume, Scan-in Power Dissipation and Test Application Time Authors: Yu Hu, Yinhe Han, Xiaowei Li Paper title: Partitioned Cache Shadowing for Deep Sub-Micron (DSM) Regime Authors: Heng Xu, Arun Somani
|
Session 4B Security Paper title: Proxy Cryptography for Security Inter-domain Information Exchange Authors: Shuanghe Peng, Zhen Han, Changxiang Shen Paper title: Anomaly Detection with High Deviations for System Security Based on Call Trace Authors: Peng Xinguang, Ren Kaifeng Paper title: A Multi-Faceted Approach towards Spam-Resistible Mail Authors: Ming-Wei Wu, Yennun Huang, Ing-Yi Chen, Sy-Yen Kuo
|
12:15-14:00 |
Lunch |
|
14:00-15:30 |
Session 5A Distributed Systems Modeling(1) Paper title: A Virtual Modeling and a Fast Algorithm for Grid Service Reliability Authors: Yuan-Shun Dai, Xiao-Long Wang, Min Xie Paper title: Research on Architecture of COTS Components Based Generic Fault-Tolerant Computer Authors: Ou Zhonghong, Yuan Youguang Paper title: Bi-Objectives Model for Test-Suite Reduction of Modified Condition/Decision Coverage Authors: Pan Lili, Zou Beiji
|
Session 5B Mobile Systems and Networks (1) Paper title: A Reliable Routing Algorithm Based on Fuzzy Applicability of F sets in MANET Authors: HU Rong, HU Zhigang, MA Hao Paper title: An Efficient Approach to Tolerating Route Errors in Mobile Ad Hoc Networks Authors: Jenn-Wei Lin, Jichiang Tsai, Chao-Ying Chiu Paper title: A Novel Approach to Kernel Construction of China Bridge CA Authors: Leng Jian, Xie Dong-Qin
|
15:30-15:45 |
Coffee Break |
|
15:45-17:45 |
Session 6A Practical Experience Reports Paper title: Optimizing Service Strategy for Systems with Deferred Repair Authors: Hairong Sun, Dong Tang, Robert Wood Paper title: Research on the Trust Enhancement of General-purpose Computer Authors: Jiangchun Ren, Kui Dai, Zhiying Wang Paper title: Mining Alarm Database of Telecommunication Network for Alarm Association Rules Authors: Yangyang Wu, Shuguang Du, Wei Luo Paper title: On Automating Failure Mode Analysis and Enhancing its Integrity Authors: Kam S. Tso, Ann T. Tai, Savio N. Chau, Leon Alkalai
|
Session 6B Fault Tolerance (3) Paper title: A Novel R^2-FLC Dynamic Buffer Size Tuner to Support Time-Critical Applications over the Internet by Improving Logical Channel Fault Tolerance to Shorten Roundtrip Time Authors: Wilfred W.K. Lin, Allan K.Y. Wong, Tharam S. Dillon Paper title: Design of Defect Tolerant Wallace Multiplier Authors: Kazuteru NAMBA, Hideo ITO Paper title: Resilient State Machine Replication Authors: Paulo Sousa, Nuno Ferreia Neves, Paulo Versimo Paper title: Contribution of Controller Area Networks Controllers to Masquerade Failures Authors: Hassan Salmani, Seyed-Ghassem Miremadi
|
December 14 |
||
8:00-9:00 |
Registration |
|
9:00-10:30 |
Session 7A Mobile Systems and Networks (2) Paper title: Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc Networks Authors: Michael Pan, Sheng-De Wang Paper title: Centralized Surveillance of Unused Address Space by using Virtual Networks Authors: Takashi Minohara, Satoshi Ishikawa, Masahiro Amano Paper title: A Distributed Location Service for Reducing Query Failures in Geographic Ad Hoc Routing Authors: Chih-Hsun Chou, Kuo-Feng Ssu
|
Session 7B Fault Tolerance (4) Paper title: Server protection through dynamic patching Authors: Nicolas Loriant, Marc Sura-Devillechaise, Jean-Marc Menaud Paper title: Detection of malicious transactions in DBMS Authors: Marco Vieira, Henrique Madeira Paper title: Push/Pull-based Adaptive Fault Monitoring for CORBA-based Ubiquitous Computing Systems Authors: Su Myeong Lee, Hee Yong Youn
|
10:30-10:45 |
Coffee Break |
|
10:45-12:30 |
Session 8A Distributed Systems Modeling(2) Paper title: Research on Control Flags based Weighted Authentication Trustworthiness Model Authors: Wang Lunwei, He Lianyue, Liao Xiangke, Wang Huaimin Paper title: Towards Push-of-a-Button Stability Verification for Discrete-time Hybrid Systems Authors: Henning Burchardt, Jens Oehlerking, Oliver Theel Paper title: Reliability Prediction and Assessment of Fielded Software Based on Multiple Change-Point Models Authors: Chin-Yu Huang, Chu-Ti Lin Paper title: A Note on a Simple Equivalence between Round-based Synchronous Authors: Michel Raynal, Matthieu Roy
|
Session 8B Code & Language Paper title: Table-Driven Code Optimizer Authors: Sung-Lim Yun, Yun-Sik Son, Se-Man Oh Paper title: Neural Network based on Dynamic Tunneling Technique for Weather Forecast Authors: Zheng Qin, Xiaofeng Liao, Jinmin Yang Paper title: FPGA Authentication Header (AH) Implementation for Internet Appliances Authors: Chang-Chun Cheng, Wei-Ming Chen, Han-Chieh Chao Paper title: Development of Dependable Real-Time Systems with Zerberus Authors: Christian Buckl, Alois Knoll, Gerhard Schrott
|
12:30-14:30 |
Lunch |