default search action
PRDC 2001: Seoul, Korea
- 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea. IEEE Computer Society 2001, ISBN 0-7695-1414-6
Keynote Speech I
- K. H. (Kane) Kim:
Middleware of Real-Time Object Based Fault-Tolerant Distributed Computing Systems: Issues and Some Approaches. 3-10
Fault Tolerant Hardwares I
- Chih-Hsien Hsu, Shyue-Kung Lu, Sy-Yen Kuo
:
Novel Fault-Tolerant Techniques for High Capacity RAMs. 11-18 - Minsu Choi, Nohpill Park, Fred J. Meyer, Fabrizio Lombardi:
Connectivity-Based Multichip Module Repair. 19-26 - Seongwoo Kim, Arun K. Somani:
SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors. 27-34 - Savio N. Chau, Joseph Smith, Ann T. Tai:
A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network. 35-44
Checkpointing
- Jiman Hong, Sangsu Kim, Yookun Cho, Heon Young Yeom, Taesoon Park:
On the Choice of Checkpoint Interval Using Memory Usage Profile and Adaptive Time Series Analysis. 45-48 - Hyo-Chang Nam, Jong Kim, Sung Je Hong, Sunggu Lee:
A Secure Checkpointing System. 49-56 - Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo:
Optimal Checkpoint Interval Analysis Using Stochastic Petri Net. 57-62
Dependability Evaluation
- Cristian Constantinescu:
Dependability Analysis of a Fault-Tolerant Processor. 63-67 - Fabrizio Lombardi, Nohpill Park, Mohammad A. Al-Hashimi, Huay-min H. Pu:
Modeling the Dependability of N-Modular Redundancy on Demand under Malicious Agreement. 68-75 - Max Walter, Carsten Trinitis, Wolfgang Karl:
OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. 76-86
Software Fault Tolerance
- Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura
Optimal Software Rejuvenation Policy with Discounting. 87-94 - Tomoyuki Yokogawa, Tatsuhiro Tsuchiya
Automatic Verification of Fault Tolerance Using Model Checking. 95-102 - Dongyan Chen, Kishor S. Trivedi:
Analysis of Periodic Preventive Maintenance with General System Failure Distribution. 103-110
Networking Issues I
- Sheng-De Wang, Pao Hwa Sui:
Fault-Tolerant Routing in Two-Dimensional Mesh Networks with Less-Restricted Fault Patterns. 111-118 - Jacques Philippe Sauvé, Flávia Estelia Silva Coelho:
Availability Considerations in Network Design. 119-126 - Toshinori Takabatake, Masato Kitakami, Hideo Ito:
Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks. 127-136
Distributed Systems
- Nicole Sergent, Xavier Défago
Impact of a Failure Detection Mechanism on the Performance of Consensus. 137-145 - Christof Fetzer, Michel Raynal, Frederic Tronel
An Adaptive Failure Detection Protocol. 146-153 - Christof Fetzer, Karin Högstedt:
Rejuvenation and Failure Detection in Partitionable Systems. 154-164
Keynote Speech II
- Sam Soo Pyo:
Implications of Dependable Computing in Banking Industry. 165-168
Fault Tolerant Hardwares II
- Daisuke Ito, Haruo Yokota
Automatic Reconfiguration of an Autonomous Disk Cluster. 169-172 - Tomoya Kitai, Tomohiro Yoneda:
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. 173-182 - Byeong Min, Gwan Choi:
ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation. 183-190 - Sei Takahashi, Munehisa Taira, Hidetaka Saegusa, Takehiko Hoshino, Hideo Nakamura:
Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature. 191-198
Mobile Systems
- Ching-Hua Chuan, Sy-Yen Kuo
Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks. 199-205 - Moon Jeong Kim, Young Ik Eom:
An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments. 206-213 - Ji Y. Lim, Tai M. Chung:
Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks. 214-217 - Byung-Rae Lee, Tai-Yun Kim, Sang-Seung Kang:
Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems. 218-224
Fault Tolerant Microprocessors
- Toshinori Sato
Evaluating Low-Cost Fault-Tolerance Mechanism for Microprocessors on Multimedia Applications. 225-232 - Tadayoshi Horita, Itsuo Takanami:
Analytical Results for Reconfiguration of E-11/2- Track Switch Torus Arrays with Multiple Fault Types. 233-240 - Hairong Sun, James J. Han, Haim Levendel:
A Generic Availability Model for Clustered Computing System. 241-250
Networking Issues II
- Paul Oprisan, Bella Bose:
ARQ in Optical Networks. 251-257 - Masayuki Arai, Anna Yamamoto, Anna Yamaguchi, Satoshi Fukumoto, Kazuhiko Iwasaki:
Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels. 258-265 - Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca
Secure Access to Personalized Web Services. 266-272
CORBA and Group Communication
- Wei-Cheng Su, Szu-Chi Wang, Sy-Yen Kuo
Failure Detection Mechanism for Distributed Object Computing Using CORBA. 273-280 - Dongman Lee, Dukyun Nam
The Implementation and Analysis of OCI-Based Group Communication Support in CORBA. 281-288 - Kyung-Ah Chang, Tae-Seung Lee, Bang-Hung Chun, Tai-Yun Kim:
Ticket-Based Secure Delegation Service Supporting Multiple Domain Models. 289-294
Fault Tolerant Applications I
- Heun Kim, Dae-Joon Hwang:
A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base. 295-298 - Jung-Min Kang, Wook Shin, C.-G. Park, Dong-Ik Lee:
Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel. 299-303 - Yang-Koo Kang, Moon-Hyun Kim:
Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web. 304-310
Reliable Software Systems
- Frederick T. Sheldon
A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. 311-318 - Masato Kitakami, Shunji Kubota, Hideo Ito:
Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction. 319-324
Fault Tolerant Applications II
- Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Juan J. Villaplana:
TREG: Transactional Services Based on Incremental Messages. 325-332 - Yukie Sasaki, Hiroei Imai, Masahiro Tsunoyama, Ikuo Ishii:
Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems. 333-340 - Masayuki Matsumoto, Tadao Tsurumaki, Tatsuya Shigeta, Korefumi Tashiro, Dai Watanabe:
Dependable Automatic Train Control System Using Digital Track Signals. 341-346
Real-Time Systems
- R. K. Shyamasundar, J. V. Aghav:
Validating Real-Time Constraints in Embedded Systems. 347-355 - Daeyoung Kim, Yoonmee Doh, Yann-Hang Lee:
Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems. 356-363 - Youngjae Kim, Sungjune Hong, Kiyong Park, Keecheon Kim, Sunyoung Han:
Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA. 364-370
Availability Analysis
- Hairong Sun, James J. Han:
Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation. 371-374 - Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura:
Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System. 375-378 - Hiromi Kobayashi:
Safety Analysis Using Temporal Database. 379-382
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: