Search results for "PRDC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Kamilla Klonowska, Lars Lundberg, Håkan Lennerstad, Charlie Svahnberg	Using Modulo Rulers for Optimal Recovery Schemes in Distributed Computing.	PRDC	2004	DBLP DOI BibTeX RDF	recovery schemes, modulo sequence, fault tolerance, high performance computing, Golomb rulers
1	Diana Szentiványi, Simin Nadjm-Tehrani	Aspects for Improvement of Performance in Fault-Tolerant Software.	PRDC	2004	DBLP DOI BibTeX RDF
1	Rainer Knauf, Setsuo Tsuruta, Hirokazu Ihara, Avelino J. Gonzalez, Torsten Kurbad	Improving AI Systems? Dependability by Utilizing Historical Knowledge.	PRDC	2004	DBLP DOI BibTeX RDF
1	Ghazanfar Asadi, Seyed Ghassem Miremadi, Hamid R. Zarandi, Ali Reza Ejlali	Evaluation of Fault-Tolerant Designs Implemented on SRAM-Based FPGAs.	PRDC	2004	DBLP DOI BibTeX RDF
1	Lorena Anghel, Nadir Achouri, Michael Nicolaidis	Evaluation of Memory Built-in Self Repair Techniques for High Defect Density Technologie.	PRDC	2004	DBLP DOI BibTeX RDF
1	Manabu Sueishi, Masato Kitakami, Hideo Ito	Fault-Tolerant Message Switching Based on Wormhole Switching and Backtracking.	PRDC	2004	DBLP DOI BibTeX RDF
1	Tatsuhiro Tsuchiya, Tohru Kikuno	On the Effects of Partial Membership Knowledge on Reliability of Gossip-Based Multicast.	PRDC	2004	DBLP DOI BibTeX RDF
1	Serdar Cabuk, Nipoon Malhotra, Longbi Lin, Saurabh Bagchi, Ness B. Shroff	Analysis and Evaluation of Topological and Application Characteristics of Unreliable Mobile Wireless Ad-hoc Network.	PRDC	2004	DBLP DOI BibTeX RDF	ad-hoc mobile wireless network, topological characteristics, goal-directed mobility algorithms, simulation study, node failures
1	Raphael R. Some, Algirdas Avizienis, Jiri Gaisler, Hirokazu Ihara, Shubu Mukherjee, Neeraj Suri	Panel Summary Statements.	PRDC	2004	DBLP DOI BibTeX RDF
1	Jun Miyazaki, Yohei Abe, Haruo Yokota	Availabilities and Costs of Reliable Fat-Btrees.	PRDC	2004	DBLP DOI BibTeX RDF
1	Shyue-Kung Lu, Chien-Hung Yeh, Han-Wen Lin	Efficient Built-in Self-Test Techniques for Memory-Based FFT Processors.	PRDC	2004	DBLP DOI BibTeX RDF
1	Chia-Ho Ou, Kuo-Feng Ssu, Hewijin Christine Jiau	Connecting Network Partitions with Location-Assisted Forwarding Nodes in Mobile Ad Hoc Environments.	PRDC	2004	DBLP DOI BibTeX RDF
1	Amir Rajabzadeh, Mirzad Mohandespour, Seyed Ghassem Miremadi	Error Detection Enhancement in COTS Superscalar Processors with Event Monitoring Features.	PRDC	2004	DBLP DOI BibTeX RDF
1	Xinyu Chen, Michael R. Lyu	Expected-Reliability Analysis for Wireless CORBA with Imperfect Components.	PRDC	2004	DBLP DOI BibTeX RDF	Two-terminal expected-reliability, Wireless CORBA, Imperfect components, Reliability importance, Handoff
1	Toshinori Takabatake, Masato Kitakami, Hideo Ito	Fault-Tolerant Properties of Generalized Hierarchical Completely-Connected Networks.	PRDC	2002	DBLP DOI BibTeX RDF
1	Minsu Choi, Nohpill Park, Yong-Bin Kim, Fabrizio Lombardi	Hardware/Software Co-Reliability of Configurable Digital Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Nobuo Tsuda	Configurable PC Clusters Using a Hierarchical Complete-Connection-Based Switching Network.	PRDC	2002	DBLP DOI BibTeX RDF
1	Michel Raynal	An Introduction to the Renaming Problem.	PRDC	2002	DBLP DOI BibTeX RDF	Renaming problem, Fault-tolerance, Concurrency, Shared memory system, Process crash, Message passing system, Atomic register, Wait-free computation
1	Michel Raynal	Consensus in Synchronous Systems: A Concise Guided Tour.	PRDC	2002	DBLP DOI BibTeX RDF
1	Cristina Simache, Mohamed Kaâniche, Ayda Saïdane	Event Log based Dependability Analysis of Windows NT and 2K Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo	Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD.	PRDC	2002	DBLP DOI BibTeX RDF
1	Hideyuki Kawashima, Motomichi Toyama, Yuichiro Anzai, Michita Imai	Providing Persistence or Sensor Streams with Light Neighbor WAL.	PRDC	2002	DBLP DOI BibTeX RDF
1	Joaquin Gracia, Daniel Gil, Juan Carlos Baraza, Pedro J. Gil	Using VHDL-Based Fault Injection to exercise Error Detection Mechanisms in the Time-Triggered Architecture.	PRDC	2002	DBLP DOI BibTeX RDF
1	Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers	Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.	PRDC	2002	DBLP DOI BibTeX RDF
1	Sangman Moh, Chansu Yu, Ben Lee, Hee Yong Youn	Energy Efficient and Robust Multicast Protocol for Mobile Ad Hoc Networks.	PRDC	2002	DBLP DOI BibTeX RDF
1	Kin'ya Takahashi, Kunihito Yamamori, Ikuo Yoshihara, Susumu Horiguchi	Comparison with Defect Compensation Methods for Feed-forward Neural Networks.	PRDC	2002	DBLP DOI BibTeX RDF
1	Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno	Detecting Feature Interactions in Telecommunication Services with a SAT Solver.	PRDC	2002	DBLP DOI BibTeX RDF
1	François Taïani, Jean-Charles Fabre, Marc-Olivier Killijian	Principles of Multi-Level Reflection for Fault Tolerant Architectures.	PRDC	2002	DBLP DOI BibTeX RDF
1	Chi-Yi Lin, Szu-Chi Wang, Sy-Yen Kuo, Ing-Yi Chen	A Low Overhead heckpointing Protocol for Mobile Computing Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Yoshihiro Tohma	Fault Tolerance in Autonomic Computing Environment.	PRDC	2002	DBLP DOI BibTeX RDF
1	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.	PRDC	2002	DBLP DOI BibTeX RDF
1	Young Jin Nam, Chanik Park	An Adaptive High-Low Water Mark Destage Algorithm for Cached RAID5.	PRDC	2002	DBLP DOI BibTeX RDF
1	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
1	João Durães, Henrique Madeira	Characterization of Operating Systems Behavior in the Presence of Faulty Drivers through Software Fault Emulation.	PRDC	2002	DBLP DOI BibTeX RDF
1	Hiroshi Nakamura, Takanori Arai, Masahiro Fujita	Formal Verification of a Pipelined Processor with New Memory.	PRDC	2002	DBLP DOI BibTeX RDF
1	HariGovind V. Ramasamy, Michel Cukier, William H. Sanders	Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.	PRDC	2002	DBLP DOI BibTeX RDF
1	Hiroshi Takahashi, Kewal K. Saluja, Yuzo Takamatsu	An Alternative Method of Generating Tests for Path Delay Faults Using N -Detection Test Sets.	PRDC	2002	DBLP DOI BibTeX RDF
1	Kuan-Sheng Hsueh, Sheng-De Wang	A Packet-Based Caching Proxy with Loss Recovery for Video Streaming.	PRDC	2002	DBLP DOI BibTeX RDF
1	Miron Livny, Douglas Thain	Caveat Emptor: Making Grid Services Dependable from the Client Side.	PRDC	2002	DBLP DOI BibTeX RDF
1	Shyue-Kung Lu, Chien-Hung Yeh	Enhancing Delay Fault Testability for Iterative Logic Array.	PRDC	2002	DBLP DOI BibTeX RDF
1	Yuan-Shun Dai, Min Xie 0001, Kim-Leng Poh	Reliability Analysis of Grid Computing Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Carlo Marchetti, Sara Tucci Piergiovanni	Asynchronous Active Replication in Three-Tier Distributed Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Yousuke Nakamura, Kei Hiraki	Highly Fault-Tolerant FPGA Processor by Degrading Strategy.	PRDC	2002	DBLP DOI BibTeX RDF
1	Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau	Analysis of the Effects of Real and Injected Software Faults: .	PRDC	2002	DBLP DOI BibTeX RDF
1	Jennifer Ren, Paul Rubel, Mouna Seri, Michel Cukier, William H. Sanders, Tod Courtney	Passive Replication Schemes in Aqua.	PRDC	2002	DBLP DOI BibTeX RDF
1	Itsuo Takanami, Yasuhiro Oyama	An Extreme Value Injection Approach with Reduced Learning Time to Make MLNs Multiple-Weight-Fault Tolerant.	PRDC	2002	DBLP DOI BibTeX RDF
1	Hyunjoo Kim, Heon Young Yeom, Taesoon Park, Hyoung-Woo Park	The Cost of Checkpointing, Logging and Recovery for the Mobile Agent Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1		9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan	PRDC	2002	DBLP BibTeX RDF
1	Fu-Min Yeh, Hung-Yau Lin, Sy-Yen Kuo	Analyzing Network Reliability With Imperfect Nodes Using OBDD.	PRDC	2002	DBLP DOI BibTeX RDF
1	Jichiang Tsai 0001, Jenn-Wei Lin	On Characteristics of DEF Communication-Induced Checkpointing Protocols.	PRDC	2002	DBLP DOI BibTeX RDF
1	Marco Vieira, Henrique Madeira	Definition of Faultloads Based on Operator Faults for DMBS Recovery Benchmarking.	PRDC	2002	DBLP DOI BibTeX RDF
1	Ganesan Umanesan, Eiji Fujiwara	A Class of Random Multiple Bits in a Byte Error Correcting (S t/b EC)Codes for Semiconductor Memory Systems.	PRDC	2002	DBLP DOI BibTeX RDF
1	Ö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.	PRDC	2002	DBLP DOI BibTeX RDF
1	Jiannong Cao 0001, Xianbing Wang, Siu Lo, Sajal K. Das 0001	A Consensus Algorithm for Synchronous Distributed Systems using Mobile Agent.	PRDC	2002	DBLP DOI BibTeX RDF
1	Piotr Gawkowski, Janusz Sosnowski	Using Software Implemented Fault Inserter in Dependability Analysis.	PRDC	2002	DBLP DOI BibTeX RDF
1	Leon Alkalai	Perspectives on Dependable Computing for Solar System Exploration.	PRDC	2002	DBLP DOI BibTeX RDF
1	Savio N. Chau, Joseph Smith, Ann T. Tai	A Design-Diversity Based Fault-Tolerant COTS Avionics Bus Network.	PRDC	2001	DBLP DOI BibTeX RDF
1	Nicole Sergent, Xavier Défago, André Schiper	Impact of a Failure Detection Mechanism on the Performance of Consensus.	PRDC	2001	DBLP DOI BibTeX RDF
1	Tadayoshi Horita, Itsuo Takanami	Analytical Results for Reconfiguration of E-11/2- Track Switch Torus Arrays with Multiple Fault Types.	PRDC	2001	DBLP DOI BibTeX RDF
1	Hyo-Chang Nam, Jong Kim 0001, Sung Je Hong, Sunggu Lee	A Secure Checkpointing System.	PRDC	2001	DBLP DOI BibTeX RDF
1	Daeyoung Kim 0001, Yoonmee Doh, Yann-Hang Lee	Table Driven Proportional Access Based Real-Time Ethernet for Safety-Critical Real-Time Systems.	PRDC	2001	DBLP DOI BibTeX RDF
1	Hairong Sun, James J. Han, Haim Levendel	A Generic Availability Model for Clustered Computing System.	PRDC	2001	DBLP DOI BibTeX RDF
1	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.	PRDC	2001	DBLP DOI BibTeX RDF
1	Hairong Sun, James J. Han	Instantaneous Availability and Interval Availability for Systems with Time-Varying Failure Rate: Stair-Step Approximation.	PRDC	2001	DBLP DOI BibTeX RDF
1	Giovanni Battista Barone, N. Margarita, Antonino Mazzeo, Nicola Mazzocca, Luigi Romano	Secure Access to Personalized Web Services.	PRDC	2001	DBLP DOI BibTeX RDF
1	Minsu Choi, Nohpill Park, Fred J. Meyer, Fabrizio Lombardi	Connectivity-Based Multichip Module Repair.	PRDC	2001	DBLP DOI BibTeX RDF
1	Ching-Hua Chuan, Sy-Yen Kuo	Cache Management of Dynamic Source Routing for Fault Tolerance in Mobile Ad Hoc Networks.	PRDC	2001	DBLP DOI BibTeX RDF
1	Gyung-Leen Park, Hee Yong Youn, Hyunseung Choo	Optimal Checkpoint Interval Analysis Using Stochastic Petri Net.	PRDC	2001	DBLP DOI BibTeX RDF
1	Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Tsuchiya Kikuno	Automatic Verification of Fault Tolerance Using Model Checking.	PRDC	2001	DBLP DOI BibTeX RDF
1		8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 17-19 December 2001, Seoul, Korea	PRDC	2001	DBLP BibTeX RDF
1	Christof Fetzer, Michel Raynal, Frederic Tronel	An Adaptive Failure Detection Protocol.	PRDC	2001	DBLP DOI BibTeX RDF
1	Shigeto Hiraguri, Noriyuki Nishibori, Yasuko Hidaka, Takayuki Kasai, Hideo Nakamura	Safety Analysis by Box Modeling Method of System Behavior -- Application to Train Control System.	PRDC	2001	DBLP DOI BibTeX RDF
1	Byeong Min, Gwan Choi	ECC: Extended Condition Coverage for Design Verification Using Excitation and Observation.	PRDC	2001	DBLP DOI BibTeX RDF
1	Hiromi Kobayashi	Safety Analysis Using Temporal Database.	PRDC	2001	DBLP DOI BibTeX RDF
1	Max Walter, Carsten Trinitis, Wolfgang Karl	OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies.	PRDC	2001	DBLP DOI BibTeX RDF
1	Byung-Rae Lee, Tai-Yun Kim, Sang-Seung Kang	Ticket Based Authentication and Payment Protocol for Mobile Telecommunications Systems.	PRDC	2001	DBLP DOI BibTeX RDF
1	Frederick T. Sheldon, Hye Yeon Kim, Zhihe Zhou	A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance.	PRDC	2001	DBLP DOI BibTeX RDF
1	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.	PRDC	2001	DBLP DOI BibTeX RDF
1	Youngjae Kim, Sungjune Hong, Kiyong Park, Keecheon Kim, Sunyoung Han	Intelligent Fault-Tolerant CORBA Service on Real-Time CORBA.	PRDC	2001	DBLP DOI BibTeX RDF	IFTS, CORBA Service, object replication Category : Regular paper Topic : Fault-tolerant systems and software, Fault-Tolerance, Real-Time
1	Yukie Sasaki, Hiroei Imai, Masahiro Tsunoyama, Ikuo Ishii	Approximation Method for Probability Distribution Functions Using Cox Distribution to Evaluate Multimedia Systems.	PRDC	2001	DBLP DOI BibTeX RDF
1	Tomoya Kitai, Tomohiro Yoneda	Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits.	PRDC	2001	DBLP DOI BibTeX RDF
1	Ji Y. Lim, Tai M. Chung	Enhanced Token Delivery Scheme for Reliable Multicasting in Wireless Networks.	PRDC	2001	DBLP DOI BibTeX RDF
1	Jung-Min Kang, Wook Shin, C.-G. Park, Dong-Ik Lee	Extended BLP Security Model Based on Process Reliability for Secure Linux Kernel.	PRDC	2001	DBLP DOI BibTeX RDF
1	Heun Kim, Dae-Joon Hwang	A Study on the System Call for the Protection of Intellectual Property Rights on Linux Base.	PRDC	2001	DBLP DOI BibTeX RDF	IPR, systemcall, hooking, RPLA, kernel
1	Daisuke Ito, Haruo Yokota	Automatic Reconfiguration of an Autonomous Disk Cluster.	PRDC	2001	DBLP DOI BibTeX RDF	Autonomous disks, network disks, cluster, reconfiguration, SAN, NAS
1	Cristian Constantinescu	Dependability Analysis of a Fault-Tolerant Processor.	PRDC	2001	DBLP DOI BibTeX RDF
1	Yang-Koo Kang, Moon-Hyun Kim	Real-Time Fingerprints Recognition Mechanism-Based on Digital Contents Protection System for Interaction on Web.	PRDC	2001	DBLP DOI BibTeX RDF	Digital Contents protection, Digital Rights Providers, Fingerprint Recognition Mechanism, DRM
1	Seongwoo Kim, Arun K. Somani	SSD: An Affordable Fault Tolerant Architecture for Superscalar Processors.	PRDC	2001	DBLP DOI BibTeX RDF
1	R. K. Shyamasundar, J. V. Aghav	Validating Real-Time Constraints in Embedded Systems.	PRDC	2001	DBLP DOI BibTeX RDF	Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems
1	Moon Jeong Kim, Young Ik Eom	An Adaptive Routing Protocol Supporting Reliable Communication in Wireless Ad-Hoc Network Environments.	PRDC	2001	DBLP DOI BibTeX RDF
1	Masato Kitakami, Shunji Kubota, Hideo Ito	Fault-Tolerance of Functional Programs Based on the Parallel Graph Reduction.	PRDC	2001	DBLP DOI BibTeX RDF	Referential transparency, Fault tolerance, functional programming, message logging, graph reduction
1	Wei-Cheng Su, Szu-Chi Wang, Sy-Yen Kuo	Failure Detection Mechanism for Distributed Object Computing Using CORBA.	PRDC	2001	DBLP DOI BibTeX RDF
1	Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Juan J. Villaplana	TREG: Transactional Services Based on Incremental Messages.	PRDC	2001	DBLP DOI BibTeX RDF	incremental messages, operating systems, checkpointing, Transactional systems, replicated data management
1	Masayuki Matsumoto, Tadao Tsurumaki, Tatsuya Shigeta, Korefumi Tashiro, Dai Watanabe	Dependable Automatic Train Control System Using Digital Track Signals.	PRDC	2001	DBLP DOI BibTeX RDF
1	Chih-Hsien Hsu, Shyue-Kung Lu, Sy-Yen Kuo	Novel Fault-Tolerant Techniques for High Capacity RAMs.	PRDC	2001	DBLP DOI BibTeX RDF	divided bit-line, divided word-line, fault tolerance and redundancy, built-in self-repair
1	Masayuki Arai, Anna Yamamoto, Anna Yamaguchi, Satoshi Fukumoto, Kazuhiko Iwasaki	Analysis of Using Convolutional Codes to Recover Packet Losses over Burst Erasure Channels.	PRDC	2001	DBLP DOI BibTeX RDF
1	Jacques Philippe Sauvé, Flávia Estelia Silva Coelho	Availability Considerations in Network Design.	PRDC	2001	DBLP DOI BibTeX RDF
1	Toshinori Takabatake, Masato Kitakami, Hideo Ito	Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks.	PRDC	2001	DBLP DOI BibTeX RDF
1	Tadashi Dohi, Takashi Danjou, Hiroyuki Okamura	Optimal Software Rejuvenation Policy with Discounting.	PRDC	2001	DBLP DOI BibTeX RDF	semi-Mark v process, modified TTT statistics, estimation algorithm, cost model, software rejuvenation, preventive maintenance
1	Sam Soo Pyo	Implications of Dependable Computing in Banking Industry.	PRDC	2001	DBLP DOI BibTeX RDF

Publications at "PRDC"( http://dblp.L3S.de/Venues/PRDC )