Conferences in DBLP
Yoshihiro Tohma Fault Tolerance in Autonomic Computing Environment. [Citation Graph (0, 0)][DBLP ] Conf ] HariGovind V. Ramasamy , Michel Cukier , William H. Sanders Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Baldoni , Carlo Marchetti , Sara Tucci Piergiovanni Asynchronous Active Replication in Three-Tier Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jichiang Tsai , Jenn-Wei Lin On Characteristics of DEF Communication-Induced Checkpointing Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Yi Lin , Szu-Chi Wang , Sy-Yen Kuo , Ing-Yi Chen A Low Overhead heckpointing Protocol for Mobile Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hyunjoo Kim , Heon Young Yeom , Taesoon Park , Hyoung-Woo Park The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tahar Jarboui , Jean Arlat , Yves Crouzet , Karama Kanoun , Thomas Marteau Analysis of the Effects of Real and Injected Software Faults: . [Citation Graph (0, 0)][DBLP ] Conf ] François Taïani , Jean-Charles Fabre , Marc-Olivier Killijian Principles of Multi-Level Reflection for Fault Tolerant Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Minsu Choi , Nohpill Park , Yong-Bin Kim , Fabrizio Lombardi Hardware/Software Co-Reliability of Configurable Digital Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yousuke Nakamura , Kei Hiraki Highly Fault-Tolerant FPGA Processor by Degrading Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Gawkowski , Janusz Sosnowski Using Software Implemented Fault Inserter in Dependability Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Fu-Min Yeh , Hung-Yau Lin , Sy-Yen Kuo Analyzing Network Reliability With Imperfect Nodes Using OBDD. [Citation Graph (0, 0)][DBLP ] Conf ] Y. S. Dai , M. Xie , K. L. Poh Reliability Analysis of Grid Computing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Örjan Askerdal , Magnus Gäfvert , Martin Hiller , Neeraj Suri A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Miron Livny , Douglas Thain Caveat Emptor: Making Grid Services Dependable from the Client Side. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal An Introduction to the Renaming Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jennifer Ren , Paul Rubel , Mouna Seri , Michel Cukier , William H. Sanders , Tod Courtney Passive Replication Schemes in Aqua. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuhiro Tsuchiya , Masahide Nakamura , Tohru Kikuno Detecting Feature Interactions in Telecommunication Services with a SAT Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Takabatake , Masato Kitakami , Hideo Ito Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Sangman Moh , Chansu Yu , Ben Lee , Hee Yong Youn Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuo Tsuda Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Alkalai Perspectives on Dependable Computing for Solar System Exploration. [Citation Graph (0, 0)][DBLP ] Conf ] Yasushi Shinjo , Kotaro Eiraku , Atsushi Suzuki , Kozo Itano , Calton Pu Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module. [Citation Graph (0, 0)][DBLP ] Conf ] Young Jin Nam , Chanik Park An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5. [Citation Graph (0, 0)][DBLP ] Conf ] Kuan-Sheng Hsueh , Sheng-De Wang A Packet-Based Caching Proxy with Loss Recovery for Video Streaming. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Ruei Chang , Suprasad V. Amari , Sy-Yen Kuo Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD. [Citation Graph (0, 0)][DBLP ] Conf ] João Durães , Henrique Madeira Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoya Kitai , Yusuke Oguro , Tomohiro Yoneda , Eric Mercer , Chris J. Myers Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Raynal Consensus in Synchronous Systems: A Concise Guided Tour. [Citation Graph (0, 0)][DBLP ] Conf ] Jiannong Cao , Xianbing Wang , Siu Lo , Sajal K. Das A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Arai , Hitoshi Kurosu , Satoshi Fukumoto , Kazuhiko Iwasaki Evaluation of Convolutional-Code-Based FEC under Limited Recovery Time and Its Application to Real-time Transmission. [Citation Graph (0, 0)][DBLP ] Conf ] Ganesan Umanesan , Eiji Fujiwara A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC)Codes for Semiconductor Memory Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Kawashima , Motomichi Toyama , Yuichiro Anzai , Michita Imai Providing Persistence or Sensor Streams with Light Neighbor WAL. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Vieira , Henrique Madeira Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Takahashi , Kewal K. Saluja , Yuzo Takamatsu An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Shyue-Kung Lu , Chien-Hung Yeh Enhancing Delay Fault Testability for Iterative Logic Array. [Citation Graph (0, 0)][DBLP ] Conf ] Kin'ya Takahashi , Kunihito Yamamori , Ikuo Yoshihara , Susumu Horiguchi Comparison with Defect Compensation Methods for Feed-forward Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Itsuo Takanami , Yasuhiro Oyama An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Simache , Mohamed Kaâniche , Ayda Saidane Event Log based Dependability Analysis of Windows NT and 2K Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Gracia , Daniel Gil , J. C. Baraza , Pedro J. Gil Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Nakamura , Takanori Arai , Masahiro Fujita Formal Verification of a Pipelined Processor with New Memory. [Citation Graph (0, 0)][DBLP ] Conf ] 