Dependable Hardware (I)

• 
  Shijian Zhang, Weiwu Hu: Fetching Primary and Redundant Instructions in Turn for a Fault-Tolerant Embedded Microprocessor. 1-8
• 
  Viswanathan Subramanian, Arun K. Somani: Conjoined Pipeline: Enhancing Hardware Reliability and Performance through Organized Pipeline Redundancy. 9-16
• 
  Weiguang Sheng, Liyi Xiao, Zhigang Mao: Versatile and Efficient Techniques for Speeding-Up Circuit Level Simulated Fault-Injection Campaigns. 17-23

Dependable Systems (I)

• 
  Thomas Robert, Jean-Charles Fabre, Matthieu Roy: On-line Monitoring of Real Time Applications for Early Error Detection. 24-31
• 
  Koji Tomita, Kazunori Fujiwara, Hiroshi Kawasaki, Naoki Miwa, Satoru Nagai: The Schemes to Develop Dependable System Using COTS. 32-39
• 
  Takahiro Minamikawa, Tatsuhiro Tsuchiya, Tohru Kikuno: Language and Tool Support for Model Checking of Fault-Tolerant Distributed Algorithms. 40-47

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)

• 
  Dong Tang, William Bryson, Richard Elling: RAS Modeling of an HPC Switch System. 81-86
• 
  Lin Huang, Qiang Xu: On Modeling the Lifetime Reliability of Homogeneous Manycore Systems. 87-94
• 
  Vasilis P. Koutras, Agapios N. Platis: Modeling Perfect and Minimal Rejuvenation for Client Server Systems with Heterogeneous Load. 95-103
• 
  Hakem Beitollahi, Geert Deconinck: Dependable Overlay Networks. 104-111

Dependable Systems (II)

• 
  Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum: Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability). 112-121
• 
  Carl Bergenhem, Johan Karlsson: A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling. 122-131
• 
  Chia-Chen Yen, Jih-Shih Hsu: Application of Flexible and Efficient Campus Curriculum Systems. 132-137

Dependable Networks

• 
  Bogdan Tomoyuki Nassu, Takashi Nanya, Hiroshi Nakamura: Detecting Inconsistent Values Caused by Interaction Faults Using Automatically Located Implicit Redundancies. 138-145
• 
  Roberto Jung Drebes, Takashi Nanya: Limitations of the Linux Fault Injection Framework to Test Direct Memory Access Address Errors. 146-152
• 
  Fedor V. Yarochkin, Shih-Yao Dai, Chih-Hung Lin, Yennun Huang, Sy-Yen Kuo: Towards Adaptive Covert Communication System. 153-159

Dependable Systems (II)

• 
  Shiyi Xu: Orderly Random Testing for Both Hardware and Software. 160-167
• 
  Yu-Min Chung, Chin-Yu Huang, Yu-Chi Huang: A Study of Modified Testing-Based Fault Localization Method. 168-175
• 
  Y. F. Li, M. Xie, T. N. Goh: Bayesian Inference Approach for Probabilistic Analogy Based Software Maintenance Effort Estimation. 176-183
• 
  Jennifer Black, Philip Koopman: Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. 184-191

Algorithms and Theory (II)

• 
  Bo Zhang, Binoy Ravindran: SOQ: A Service-Oriented Quorum-Based Protocol for Resilient Real-Time Communication in Partitionable Networks. 192-199
• 
  Christian Storm, Timo Warns, Oliver E. Theel: Flexible Heterogeneous Strict Quorum-Based Dynamic Data Replication Schemes. 200-207
• 
  Cristian Martín, Mikel Larrea: Eventual Leader Election in the Crash-Recovery Failure Model. 208-215
• 
  Ruen Chze Loh, Sieteng Soh, Mihai Lazarescu, Suresh Rai: A Greedy Technique for Finding the Most Reliable Edge-Disjoint-Path-Set in a Network. 216-223

Dependable Software

• 
  Tomotaka Ishii, Tadashi Dohi: A New Paradigm for Software Reliability Modeling - From NHPP to NHGP. 224-231
• 
  Hiroyuki Okamura, Tadashi Dohi: Hyper-Erlang Software Reliability Model. 232-239
• 
  Jianjun Xu, Rui Shen, Qingping Tan: PRASE: An Approach for Program Reliability Analysis with Soft Errors. 240-247
• 
  Thomas Pareaud, Jean-Charles Fabre, Marc-Olivier Killijian: Componentization of Fault Tolerance Software for Fine-Grain Adaptation. 248-255

Dependable Hardware (II)

• 
  Hung-Chuan Lai, Shi-Jinn Horng, Yung-Yuan Chen: An Online Control Flow Check for VLIW Processor. 256-264
• 
  Juan Carlos Ruiz, David de Andrés, Sara Blanc, Pedro J. Gil: Generic Design and Automatic Deployment of NMR Strategies on HW Cores. 265-272
• 
  Rui Gong, Kui Dai, Zhiying Wang: Transient Fault Tolerance on Chip Multiprocessor Based on Dual and Triple Core Redundancy. 273-280
• 
  Haruhiko Kaneko, Takuya Matsuzaka, Eiji Fujiwara: Three-Level Error Control Coding for Dependable Solid-State Drives. 281-288

Security Issues

• 
  Jin-Hee Cho, Ing-Ray Chen, Phu-Gui Feng: Effect of Intrusion Detection on Failure Time of Mission-Oriented Mobile Group Systems in Mobile Ad Hoc Networks. 289-296
• 
  José Fonseca, Marco Vieira, Henrique Madeira: Training Security Assurance Teams Using Vulnerability Injection. 297-304
• 
  Christiaan J. Lamprecht, Aad P. A. van Moorsel: Runtime Security Adaptation Using Adaptive SSL. 305-312
• 
  Naaliel Mendes, Afonso Araújo Neto, João Durães, Marco Vieira, Henrique Madeira: Assessing and Comparing Security of Web Servers. 313-322

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
• 
  Kouki 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 updated on Wed May 22 05:01:10 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page