PRDC 2008:
Taipei,
Taiwan
14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan.
IEEE Computer Society 2008
Dependable Hardware (I)
Dependable Systems (I)
Algorithms and Theory (I)
- Julien Clément, Thomas Hérault, Stéphane Messika, Olivier Peres:
On the Complexity of a Self-Stabilizing Spanning Tree Algorithm for Large Scale Systems.
48-55
- Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin:
VTV - A Voting Strategy for Real-Time Systems.
56-63
- Roberto Baldoni, Marco Platania, Leonardo Querzoni, Sirio Scipioni:
A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes.
64-72
- Gang Wang, Xiaoguang Liu, Sheng Lin, Guangjun Xiu, Jing Liu:
Constructing Liberation Codes Using Latin Squares.
73-80
Modeling and Analysis (I)
Dependable Systems (II)
Dependable Networks
Dependable Systems (II)
Algorithms and Theory (II)
Dependable Software
Dependable Hardware (II)
Security Issues
Modeling and Analysis (II)
- Kishor S. Trivedi, Dazhi Wang, D. Jason Hunt, Andrew Rindos, W. Earl Smith, Bart Vashaw:
Availability Modeling of SIP Protocol on IBM(c) WebSphere(c).
323-330
- Yansheng Zhang, Farokh B. Bastani, I-Ling Yen, Jicheng Fu, Ing-Ray Chen:
Availability Analysis of Robotic Swarm Systems.
331-338
- Daniel Chen, Gabriela Jacques-Silva, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Bruce G. Mealey:
Error Behavior Comparison of Multiple Computing Systems: A Case Study Using Linux on Pentium, Solaris on SPARC, and AIX on POWER.
339-346
Poster Papers
- Kazuteru Namba, Hideo Ito:
Path Delay Fault Test Set for Two-Rail Logic Circuits.
347-348
- Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno:
Finding the Optimal Configuration of a Cascading TMR System.
349-350
- Dianfu Ma, Min Liu, Yongwang Zhao, Dou Sun:
Reliability Quantification of the Tree Structure Based Distributed System.
351-352
- K. Suzuki, Takashi Nakada, Masaki Nakanishi, Shigeru Yamashita, Yasuhiko Nakashima:
A Functional Unit with Small Variety of Highly Reliable Cells.
353-354
- Yanjun Shu, Zhibo Wu, Hongwei Liu, Xiaozong Yang:
Considering Fault Correction Lag in Software Reliability Modeling.
355-356
- Jichiang Tsai, Wu-Hong Chen, Che-Cheng Chang:
Efficient Dynamic Indexing Methods for Communication-Induced Checkpointing Protocols.
357-358
Last update Wed Feb 15 05:15:50 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page