Search results for "FTCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Bharat P. Dave, Niraj K. Jha	COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance.	FTCS	1997	DBLP DOI BibTeX RDF
1	Richard K. Shehady, Daniel P. Siewiorek	A Methodology to Automate User Interface Testing Using Variable Finite State Machines.	FTCS	1997	DBLP DOI BibTeX RDF
1	Volkmar Sieh, Oliver Tschäche, Frank Balbach	VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions.	FTCS	1997	DBLP DOI BibTeX RDF
1	J. Terry Sims	Redundancy Management Software Services for Seawolf Ship Control System.	FTCS	1997	DBLP DOI BibTeX RDF
1	João P. Marques Silva, Karem A. Sakallah	Robust Search Algorithms for Test Pattern Generation.	FTCS	1997	DBLP DOI BibTeX RDF
1	Christof Fetzer, Flaviu Cristian	Fail-Awareness: An Approach to Construct Fail-Safe Applications.	FTCS	1997	DBLP DOI BibTeX RDF
1	Seungjae Han, Kang G. Shin	Experimental Evaluation of Failure-Detection Schemes in Real-time Communication Networks.	FTCS	1997	DBLP DOI BibTeX RDF
1	David T. Stott, Mei-Chen Hsueh, Gregory L. Ries, Ravishankar K. Iyer	Dependability Analysis of a Commercial High-Speed Network.	FTCS	1997	DBLP DOI BibTeX RDF
1	Andreas Steininger, Christoph Scherrer	On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments.	FTCS	1997	DBLP DOI BibTeX RDF
1	Samuel Norman Hamilton, Alex Orailoglu	Microarchitectural Synthesis of ICs with Embedded Concurrent Fault Isolation.	FTCS	1997	DBLP DOI BibTeX RDF
1	Yoshio Masubuchi, Satoshi Hoshina, Tomofumi Shimada, Hideaki Hirayama, Nobuhiro Kato	Fault Recovery Mechanism for Multiprocessor Servers.	FTCS	1997	DBLP DOI BibTeX RDF
1	Fred J. Meyer, Xiao-Tao Chen, Wei-Kang Huang, Fabrizio Lombardi	Using Virtual Links for Reliable Information Retrieval Across Point-to-Point Networks.	FTCS	1997	DBLP DOI BibTeX RDF
1	Roy A. Maxion, Philip A. Syme	MetriStation: A Tool for User-Interface Fault Detection.	FTCS	1997	DBLP DOI BibTeX RDF
1	Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang	Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.	FTCS	1997	DBLP DOI BibTeX RDF
1	Karpjoo Jeong, Dennis E. Shasha, Surendranath Talla, Peter Wyckof	An Approach to Fault-Tolerant Parallel Processing on Intermittently Idle, Heterogeneous Workstations.	FTCS	1997	DBLP DOI BibTeX RDF
1	Rico Piantoni, Constantin Stanescu	Implementing the Swiss Exchange Trading System.	FTCS	1997	DBLP DOI BibTeX RDF
1	Weiping Shi, Douglas B. West	Optimal Structural Diagnosis of Wiring Networks.	FTCS	1997	DBLP DOI BibTeX RDF
1	Robert Y. Hou, Yale N. Patt	Using Non-Volatile Storage to Improve the Reliability of RAID5 Disk Arrays.	FTCS	1997	DBLP DOI BibTeX RDF
1	Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno	A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy.	FTCS	1997	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, José Rufino, Li Ming	How Hard is Hard Real-time Communication on Field-Buses?.	FTCS	1997	DBLP DOI BibTeX RDF
1	Douglas M. Blough, Tatsuhiro Torii	Fault-Injection-Based Testing of Fault-Tolerant Algorithms in Message-Passing Parallel Computers.	FTCS	1997	DBLP DOI BibTeX RDF
1		Digest of Papers: FTCS-27, The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June 24-27, 1997	FTCS	1997	DBLP BibTeX RDF
1	Emmanuelle Anceaume	A Lightweight Solution to Uniform Atomic Broadcast for Asynchronous Systems.	FTCS	1997	DBLP DOI BibTeX RDF
1	Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002	Discriminating Fault Rate and Persistency to Improve Fault Treatment.	FTCS	1997	DBLP DOI BibTeX RDF
1	Satoshi Morinaga	A General Model for Reliability Maximization Problem Under Given Redundancy.	FTCS	1997	DBLP DOI BibTeX RDF
1	Yi-Min Wang, Pi-Yu Chung, Yennun Huang, E. N. Elnozahy	Integrating Checkpointing with Transaction Processing.	FTCS	1997	DBLP DOI BibTeX RDF
1	Gurjeet S. Saund, Michael S. Hsiao, Janak H. Patel	Partial Scan beyond Cycle Cutting.	FTCS	1997	DBLP DOI BibTeX RDF
1	Luca G. Tallini, Bella Bose	On the Design of Constant Weight Codes for VLSI Systems.	FTCS	1997	DBLP DOI BibTeX RDF
1	Tsu-Wei Chen, Paul Krzyzanowski, Michael R. Lyu, Cormac J. Sreenan, John A. Trotter	Renegotiable Quality of Service - A New Scheme for Fault Tolerance in Wireless Networks.	FTCS	1997	DBLP DOI BibTeX RDF
1	Bina Ramamurthy, Shambhu J. Upadhyaya, Ravishankar K. Iyer	An Object-Oriented Testbed for the Evaluation of Checkpointing and Recovery Systems.	FTCS	1997	DBLP DOI BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	ACTIV-LOCSTEP: A Test Generation Procedure Based on Logic Simulation and Fault Activation.	FTCS	1997	DBLP DOI BibTeX RDF
1	Matthew Clegg, Keith Marzullo	Predicting Physical Processes in the Presence of Faulty Sensor Readings.	FTCS	1997	DBLP DOI BibTeX RDF
1	Silke Draber	Reliability-Oriented Design of a Distributed Control System for High-Voltage Switchgear Stations.	FTCS	1997	DBLP DOI BibTeX RDF
1	Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.	FTCS	1997	DBLP DOI BibTeX RDF
1	Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli	Experimental Evaluation of Computer-Based Railway Control Systems.	FTCS	1997	DBLP DOI BibTeX RDF
1	Parameswaran Ramanathan	Fault-Tolerance in Real-time Control Applications Using (m, k)-Firm Guarantee.	FTCS	1997	DBLP DOI BibTeX RDF
1	Hyo-Chang Nam, Jong Kim 0001, Sung Je Hong, Sunggu Lee	Probabilistic Checkpointing.	FTCS	1997	DBLP DOI BibTeX RDF
1	Jiri Gaisler	Evaluation of a 32-bit Microprocessor with Built-in Concurrent Error-Detection.	FTCS	1997	DBLP DOI BibTeX RDF
1	Pascale Thévenod-Fosse, Hélène Waeselynck	Towards a Statistical Approach to Testing Object-Oriented Programs.	FTCS	1997	DBLP DOI BibTeX RDF
1	Edgar Nett, Michael Mock, Peter Theisohn	Managing Dependencies - A Key Problem in Fault-Tolerant Distributed Algorithms.	FTCS	1997	DBLP DOI BibTeX RDF
1	Nadine Peyrouze, Gilles Muller	FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations.	FTCS	1996	DBLP DOI BibTeX RDF
1	Myung M. Bae, Bella Bose	Spare Processor Allocation for Fault Tolerance in Torus-Based Multicomputers.	FTCS	1996	DBLP DOI BibTeX RDF
1	B. Acevedo, L. Bahler, E. N. Elnozahy, Vivek Ratan, Mark E. Segal	Highly Available Directory Services in DCE.	FTCS	1996	DBLP DOI BibTeX RDF
1	Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse	Random Pattern Testing for Sequential Circuits Revisited.	FTCS	1996	DBLP DOI BibTeX RDF
1	Shinji Sumimoto	Design and Evaluation of Fault-Tolerant Shared File System for Cluster Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	C. L. Chen	Symbol Error Correctin Codes for Memory Applications.	FTCS	1996	DBLP DOI BibTeX RDF
1	Tzi-cker Chiueh, Peitao Deng	Evaluation of Checkpoint Mechanisms for Massively Parallel Machines.	FTCS	1996	DBLP DOI BibTeX RDF
1	Rolf Johansson 0003	Two Error-Detecting and Correcting Circuits for Space Applications.	FTCS	1996	DBLP DOI BibTeX RDF
1	S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich	Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.	FTCS	1996	DBLP DOI BibTeX RDF
1	Nihar R. Mahapatra, Shantanu Dutt	Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant Designs for Mesh-Connected Multicomputers.	FTCS	1996	DBLP DOI BibTeX RDF
1	Jen-Yao Chung, Nicholas S. Bowen, Mei-Chen Hsueh, Ravishankar K. Iyer, Mitsuhiro Kishimoto, Luiz A. Laranjeira	Availability of Commercial Parallel Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare	The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes.	FTCS	1996	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Mathai Joseph	Verification of Fault Tolerance and Real Time.	FTCS	1996	DBLP DOI BibTeX RDF
1	Nobuhiro Yanagida, Hiroshi Takahashi, Yuzo Takamatsu	Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing Sequence Pairs.	FTCS	1996	DBLP DOI BibTeX RDF
1	Noriyoshi Itazaki, Yasutaka Idomoto, Kozo Kinoshita	A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits.	FTCS	1996	DBLP DOI BibTeX RDF
1	Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt	An Approach towards Benchmarking of Fault-Tolerant Commercial Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Yair Amir, Avishai Wool	Evaluating Quorum Systems over the Internet.	FTCS	1996	DBLP DOI BibTeX RDF
1	Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann	A Framework for Conformance Testing of Systems Communicating through Rendezvous.	FTCS	1996	DBLP DOI BibTeX RDF
1	Klaus Echtle, Asif Masum	A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine Faults.	FTCS	1996	DBLP DOI BibTeX RDF
1	J. Hamilton Slye, E. N. Elnozahy	Supporting Nondeterministic Execution in Fault-Tolerant Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs	Fault Diagnosis Using State Information.	FTCS	1996	DBLP DOI BibTeX RDF
1	Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin	Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.	FTCS	1996	DBLP DOI BibTeX RDF
1	Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III	Dependability of Railway Control Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha	Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis.	FTCS	1996	DBLP DOI BibTeX RDF
1		Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996	FTCS	1996	DBLP BibTeX RDF
1	Mário Zenha Rela, Henrique Madeira, João Gabriel Silva	Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks.	FTCS	1996	DBLP DOI BibTeX RDF
1	Jörgen Christmansson, Ram Chillarege	Generation of Error Set that Emulates Software Faults Based on Field Data.	FTCS	1996	DBLP DOI BibTeX RDF
1	Guevara Noubir, Berthe Y. Choueiry	Algebraic Techniques for the Optimization of Control Flow Checking.	FTCS	1996	DBLP DOI BibTeX RDF
1	Kyoya Kawamura, Takashi Matsubara 0002, Yoshiaki Koga	Technologies for Designing Dependable A/D Converters.	FTCS	1996	DBLP DOI BibTeX RDF
1	Nobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh	Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy.	FTCS	1996	DBLP DOI BibTeX RDF
1	Scott Dawson, Farnam Jahanian, Todd Mitton, Teck-Lee Tung	Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injektion.	FTCS	1996	DBLP DOI BibTeX RDF
1	Dhiraj K. Pradhan, P. Krishna, Nitin H. Vaidya	Recoverable Mobile Environment: Design and Trade-Off Analysis.	FTCS	1996	DBLP DOI BibTeX RDF
1	Venkatesh Akella, Nitin H. Vaidya, G. Robert Redinbo	Limitations of VLSI Implementation of Delay-Insensitive Codes.	FTCS	1996	DBLP DOI BibTeX RDF
1	Inhwan Lee, Gilbert Pitt, Ravishankar K. Iyer	Efficient Service of Rediscovered Software Problems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Jean-Luis Dega	The Redundancy Mechanisms of the Ariane 5 Operational Control Center.	FTCS	1996	DBLP DOI BibTeX RDF
1	Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille	Executable Assertions and Timed Traces for On-Line Software Error Detection.	FTCS	1996	DBLP DOI BibTeX RDF
1	Flaviu Cristian	Group, Majority, and Strict Agreement in Timed Asynchronous Distributed Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Rachid Guerraoui, André Schiper	Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Muhammad A. Qureshi, William H. Sanders	A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval.	FTCS	1996	DBLP DOI BibTeX RDF
1	Feng Bao 0004, Yoshihide Igarashi	Reliable Broadcasting in Product Networks with Byzantine Faults.	FTCS	1996	DBLP DOI BibTeX RDF
1	João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira 0001	Experimental Assessment of Parallel Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Michael F. Buckley, Daniel P. Siewiorek	A Comparative Analysis of Event Tupling Schemes.	FTCS	1996	DBLP DOI BibTeX RDF
1	John M. Rushby	Reconfiguration and Transient Recovery in State Machine Architectures.	FTCS	1996	DBLP DOI BibTeX RDF
1	Amber Roy-Chowdhury, Prithviraj Banerjee	Compiler-Assisted Generation of Error-Detecting Parallel Programs.	FTCS	1996	DBLP DOI BibTeX RDF
1	Tepparit Ritthongpitak, Masato Kitakami, Eiji Fujiwara	Optimal Two-Level Unequal Error Control Codes for Computer Systems.	FTCS	1996	DBLP DOI BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	Dynamic Test Compaction for Synchronous Sequential Circuits using Static Compaction Techniques.	FTCS	1996	DBLP DOI BibTeX RDF
1	Roy A. Maxion, Philip A. Syme	Mitigating Operator-Induced Unavailability by Matching Imprecise Queries.	FTCS	1996	DBLP DOI BibTeX RDF
1	Michael R. Lyu, Jinsong S. Yu, Elaine Keramidas, Siddhartha R. Dalal	ARMOR: Analyzer for Reducing Module Operational Risk.	FTCS	1995	DBLP DOI BibTeX RDF
1	Yennun Huang, Yi-Min Wang	Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems.	FTCS	1995	DBLP DOI BibTeX RDF
1	Andreas Steininger, Herbert Schweinzer	A Model for the Analysis of the Fault Injection Process.	FTCS	1995	DBLP DOI BibTeX RDF
1	Sampath Rangarajan, Karunaharan Ratnam, Anton T. Dahbura	A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks.	FTCS	1995	DBLP DOI BibTeX RDF
1	Richard W. Buskens, Ronald P. Bianchini Jr.	Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes.	FTCS	1995	DBLP DOI BibTeX RDF
1	Babu Turumella, Aiman Kabakibo, Manjunath Bogadi, Karakunakara Menon, Shaleah Thusoo, Long Nguyen, Nirmal R. Saxena, Michael Chow	Design Verification of a Super-Scalar RISC Processor.	FTCS	1995	DBLP DOI BibTeX RDF
1	Eiji Fujiwara, Masato Kitakami	A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems.	FTCS	1995	DBLP DOI BibTeX RDF
1	Yingquan Zhou, Mike W. T. Wong, Yinghua Min	Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers.	FTCS	1995	DBLP DOI BibTeX RDF
1	Ronald Riter	Modeling and Testing a Critical Fault-Tolerant Multi-Process System.	FTCS	1995	DBLP DOI BibTeX RDF
1	Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln	Dependability of Medical Computing.	FTCS	1995	DBLP BibTeX RDF
1	Christopher P. Dingman, Joe Marshall, Daniel P. Siewiorek	Measuring Robustness of a Fault Tolerant Aerospace System.	FTCS	1995	DBLP DOI BibTeX RDF
1	Tullio Vardanega, P. David, J.-F. Chane, Wolfgang R. Mader, R. Messaros, Jean Arlat	On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.	FTCS	1995	DBLP DOI BibTeX RDF
1	James S. Plank, Youngbae Kim, Jack J. Dongarra	Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations.	FTCS	1995	DBLP DOI BibTeX RDF

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