Search results for "FTCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	P. Emerald Chung, Woei-Jyh Lee, Yennun Huang, Deron Liang, Chung-Yih Wang	Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT Applications.	FTCS	1999	DBLP DOI BibTeX RDF
1	Bin Yao, Kuo-Feng Ssu, W. Kent Fuchs	Message Logging in Mobile Computing.	FTCS	1999	DBLP DOI BibTeX RDF
1	Paula Prata, João Gabriel Silva	Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations.	FTCS	1999	DBLP DOI BibTeX RDF	ABFT, Error Detection, Fault injection, Result-checking, Matrix operations
1	Anup K. Ghosh, Matthew Schmid, Frank Hill	Wrapping Windows NT Software for Robustness.	FTCS	1999	DBLP DOI BibTeX RDF
1	José Rufino, Paulo Veríssimo, Guilherme Arroz	A Columbus' Egg Idea for CAN Media Redundancy.	FTCS	1999	DBLP DOI BibTeX RDF	Field-buses, Media Redundancy, Communications Reliability, Distributed and Real-Time Systems, Fault-tolerance, Controller Area Network (CAN)
1	JoAnne Holliday, Divyakant Agrawal, Amr El Abbadi	The Performance of Database Replication with Group Multicast.	FTCS	1999	DBLP DOI BibTeX RDF	performance, database, multicast, replication, transaction management
1	Govind Krishnamurthi, Arun K. Somani	Effect of Failures on Optimal Location Management Algorithms.	FTCS	1999	DBLP DOI BibTeX RDF	database failures, robust load balancing, query delay, call blocking probability, PCS networks
1	Andreas Steininger, Christoph Scherrer	On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study.	FTCS	1999	DBLP DOI BibTeX RDF
1	Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson	COTS Hardware and Software in High-Availability Systems (Panel).	FTCS	1999	DBLP DOI BibTeX RDF
1	Craig Labovitz, Abha Ahuja, Farnam Jahanian	Experimental Study of Internet Stability and Backbone Failures.	FTCS	1999	DBLP DOI BibTeX RDF	Internet, Routing, Failure analysis, Network reliability
1	Ilker Hamzaoglu, Janak H. Patel	Reducing Test Application Time for Full Scan Embedded Cores.	FTCS	1999	DBLP DOI BibTeX RDF	test generation, design-for-testability, fault simulation, embedded cores, full scan
1	Philip Koopman, John DeVale	Comparing the Robustness of POSIX Operating Systems.	FTCS	1999	DBLP DOI BibTeX RDF	software robustness testing, operating systems
1	Lorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel	An Analysis of Communication Induced Checkpointing.	FTCS	1999	DBLP DOI BibTeX RDF	Performance Evaluation, MPI, Checkpointing, Rollback Recovery, Consistent Global States
1	Sachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik	Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.	FTCS	1999	DBLP DOI BibTeX RDF	Distributedm Systems, Performability Modeling, Software Fault Tolerance
1	Gurusamy Mohan, C. Siva Ram Murthy	Routing and Wavelength Assignment for Establishing Dependable Connections in WDM Networks.	FTCS	1999	DBLP DOI BibTeX RDF	D-connections, primary and backup lightpaths, Wavelength division multiplexing, failure recovery
1	Amitabh Mishra, Prithviraj Banerjee	An Algorithm Based Error Detection Scheme for the Multigrid Algorithm.	FTCS	1999	DBLP DOI BibTeX RDF	Algorithm Based fault Tolerance (ABFT), Parallel, Error Detection, Multigrid Method
1	Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	MetaKernels and Fault Containment Wrappers.	FTCS	1999	DBLP DOI BibTeX RDF
1	Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan	A Fault Tolerance Framework for CORBA.	FTCS	1999	DBLP DOI BibTeX RDF	strong replica consistency, fault tolerance, interoperability, CORBA, transparency, replicated objects
1	Harry Hengster, Bernd Becker 0001	Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and Testability.	FTCS	1999	DBLP DOI BibTeX RDF	EXOR-based Synthesis, Decision Diagrams, Synthesis for Testability, High Speed Circuits
1	Shivakant Mishra, Lan Fei, Guming Xing	Design, Implementation and Performance Evaluation of a CORBA Group Communication Service.	FTCS	1999	DBLP DOI BibTeX RDF	fault tolerance, performance, Heterogeneity, group communication
1	William R. Dieter, James E. Lumpp Jr.	A User-Level Checkpointing Library for POSIX Threads Programs.	FTCS	1999	DBLP DOI BibTeX RDF	multithreaded, Unix, checkpointing, threads, rollback recovery, Solaris
1	Wenyi Feng, Fred J. Meyer, Fabrizio Lombardi	Two-Step Algorithms for Maximal Diagnosis of Wiring Interconnects.	FTCS	1999	DBLP DOI BibTeX RDF	Interconnect, Multiple Faults, Adaptive Diagnosis, Wiring Network
1	Sriram Rao, Lorenzo Alvisi, Harrick M. Vin	Egida: An Extensible Toolkit for Low-Overhead Fault-Tolerance.	FTCS	1999	DBLP DOI BibTeX RDF	transparent fault-tolerance, middleware, MPI, checkpointing, message-logging
1	G. Robert Redinbo, Ranjit Manomohan	Fault Tolerance, Channel Coding and Arithmetic Source Coding Combined.	FTCS	1999	DBLP DOI BibTeX RDF	Fault-tolerant data compression, burst-detecting convolutional codes, combined source channel coding, arithmetic coding, algorithm-based fault tolerance, hardware failures
1	James S. Plank, Michael G. Thomason	The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime Parameters.	FTCS	1999	DBLP DOI BibTeX RDF	parallel computation, Checkpointing, performance prediction, parameter selection
1	Eric Rotenberg	AR-SMT: A Microarchitectural Approach to Fault Tolerance in Microprocessors.	FTCS	1999	DBLP DOI BibTeX RDF	branch prediction and value prediction, trace processors, transient faults, simultaneous multithreading, time redundancy
1	Luca G. Tallini, Bella Bose	Some Transmission Time Analysis for the Parallel Asynchronous Communication Scheme.	FTCS	1999	DBLP DOI BibTeX RDF	delay-insensitive codes, proximity detecting codes, low weight codes, Asynchronous communication, constant weight codes, unordered codes
1	Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit	The Galileo Fault Tree Analysis Tool.	FTCS	1999	DBLP DOI BibTeX RDF	DIFtree, Galileo, component-based, package-oriented programming, dynamic fault tree
1	Xinyu Zang, Hairong Sun, Kishor S. Trivedi	Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.	FTCS	1999	DBLP DOI BibTeX RDF
1	Christoph Lindemann, Andreas Reuys, Axel Thümmler	The DSPNexpress 2.000 Performance and Dependability Modeling Environment.	FTCS	1999	DBLP DOI BibTeX RDF
1	Jie Xu 0007, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke	Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.	FTCS	1999	DBLP DOI BibTeX RDF	coordinated atomic (CA) actions, reliability and safety, model checking, Concurrency, object orientation, formal verification, exception handling, reactive systems
1	Purnendu Sinha, Neeraj Suri	Identification of Test Cases Using a Formal Approach.	FTCS	1999	DBLP DOI BibTeX RDF
1	Yannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer	Functional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt.	FTCS	1999	DBLP DOI BibTeX RDF
1	Dwight Sunada, David Glasco, Michael J. Flynn	Multiprocessor Architecture Using an Audit Trail for Fault Tolerance.	FTCS	1999	DBLP DOI BibTeX RDF	apparatus, tightly-coupled multiprocessor, fault tolerance, algorithm, checkpoint
1	Kamran Zarrineh, Shambhu J. Upadhyaya	Programmable Memory BIST and a New Synthesis Framework.	FTCS	1999	DBLP DOI BibTeX RDF
1	Maitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd	Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems.	FTCS	1999	DBLP DOI BibTeX RDF	Fault tolerance in transaction processing, Highly available database management systems (DBMS), Replicated DBMS, Software reliability, Fault injection
1	Emmanuel Simeu, Arno W. Peters, Iyad Rayane	Automatic Design of Optimal Concurrent Fault Detector for Linear Analog Systems.	FTCS	1999	DBLP DOI BibTeX RDF	concurrent, detection, state space, residual, netlist
1	Béchir el Ayeb	Fault Identification Algorithmic: A New Formal Approach.	FTCS	1999	DBLP DOI BibTeX RDF	Fault Identification Algorithm, New Formal Approach, Complexity, Graph, System-Level Diagnosis
1	Nihar R. Mahapatra, Shantanu Dutt	Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAs.	FTCS	1999	DBLP DOI BibTeX RDF
1	Marc Dacier, O. Sami Saydjari	Special Seminar: Intrusion Detection.	FTCS	1999	DBLP DOI BibTeX RDF
1	Bhaskar Maruthi, Arun K. Somani, Murat Azizoglu	Interference Robust TCP.	FTCS	1999	DBLP DOI BibTeX RDF
1		Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999	FTCS	1999	DBLP BibTeX RDF
1	Takako M. Hickey, Robbert van Renesse	An Execution Service for a Partitionable Low Bandwidth Network.	FTCS	1999	DBLP DOI BibTeX RDF
1	Meng-Lai Yin, Lawrence E. James, Rafael R. Arellano, Raymond V. Hettwer	Real Time Estimation for Usage-Dependent Reliability on a Dual-Backbone Network Subsystem.	FTCS	1999	DBLP DOI BibTeX RDF
1	Wee Teck Ng, Peter M. Chen	The Systematic Improvement of Fault Tolerance in the Rio File Cache.	FTCS	1999	DBLP DOI BibTeX RDF	write-back file cache, reliable memory, software fault injection
1	Carlos Pérez, Germán Fabregat, Rafael J. Martínez, Gregorio Martín	Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data.	FTCS	1999	DBLP DOI BibTeX RDF	virtual memory management, message passing, micro-kernels, replicated data management, Checkpointing and recovery
1	Thomas C. Bressoud	TFT: A Software System for Application-Transparent Fault Tolerance.	FTCS	1998	DBLP DOI BibTeX RDF
1	Nobuyasu Kanekawa, Takayuki Meguro, Kyosuke Isono, Yosuke Shima, Naoto Miyazaki, Shinichiro Yamaguchi	Fault Detection and Recovery Coverage Improvement by Clock Synchronized Duplicated Systems with Optimal Time Diversity.	FTCS	1998	DBLP DOI BibTeX RDF
1	Torsten Fichna, M. Gärtner, Fritz Gliem, F. Rombeck	Fault-Tolerance of Spaceborne Semiconductor Mass Memories.	FTCS	1998	DBLP DOI BibTeX RDF
1	Antonio Galves, Marie-Claude Gaudel	Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs.	FTCS	1998	DBLP DOI BibTeX RDF
1	Mohamed F. Younis, Jeffrey X. Zhou, Mohamed Aboutabl	Strong Partitioning Protocol for a Multiprocessor VME System.	FTCS	1998	DBLP DOI BibTeX RDF
1	João Gabriel Silva, Paula Prata, Mário Zenha Rela, Henrique Madeira	Practical Issues in the Use of ABFT and a New Failure Model.	FTCS	1998	DBLP DOI BibTeX RDF
1		Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998	FTCS	1998	DBLP BibTeX RDF
1	Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska 0001	A Survivable Avionics System for Space Applications.	FTCS	1998	DBLP DOI BibTeX RDF
1	Irith Pomeranz, Sudhakar M. Reddy	A Generalized Test Generation Procedure for Path Delay Faults.	FTCS	1998	DBLP DOI BibTeX RDF
1	Oliver E. Theel, Henning Pagnia	Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities.	FTCS	1998	DBLP DOI BibTeX RDF
1	Bader Almohammad, Bella Bose	Fault-Tolerant Communication Algorithms in Toroidal Networks.	FTCS	1998	DBLP DOI BibTeX RDF
1	Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek	Automated Robustness Testing of Off-the-Shelf Software Components.	FTCS	1998	DBLP DOI BibTeX RDF
1	R. Roques, A. Corrégé, Christian Boléat	Fault-Tolerant Computer for the Automated Transfer Vehicle.	FTCS	1998	DBLP DOI BibTeX RDF
1	Kazutaka Murakami, Richard W. Buskens, Ramachandran Ramjee, Yow-Jian Lin, Thomas F. La Porta	Design, Implementation, and Evaluation of Highly Available Distributed Call Processing Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Kuo-Feng Ssu, W. Kent Fuchs	PREACHES - Portable Recovery and Checkpointing in Heterogeneous Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Neeraj Suri, Purnendu Sinha	On the Use of Formal Techniques for Validation.	FTCS	1998	DBLP DOI BibTeX RDF
1	Flaviu Cristian, Christof Fetzer	The Timed Asynchronous Distributed System Model.	FTCS	1998	DBLP DOI BibTeX RDF
1	John R. Samson Jr., Wilfrido Alejandro Moreno, Fernando J. Falquez	A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI).	FTCS	1998	DBLP DOI BibTeX RDF
1	Luiz A. Laranjeira	NCAPS: Application High Availability in UNIX Computer Clusters.	FTCS	1998	DBLP DOI BibTeX RDF
1	Cristian Constantinescu	Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer.	FTCS	1998	DBLP DOI BibTeX RDF
1	Mohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Richard M. Karcich	A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage Architecture.	FTCS	1998	DBLP DOI BibTeX RDF
1	Hagbae Kim, Allan L. White, Kang G. Shin	Reliability Modeling of Hard Real-Time Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Geneviève Allain-Morin, Olivier Pourret	Dependability Assessment of a Computerized Nuclear Protection System.	FTCS	1998	DBLP DOI BibTeX RDF
1	Luís Moura Silva, João Gabriel Silva	Avoiding Checkpoint Contamination in Parallel Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Peter T. Popov, Lorenzo Strigini	Conceptual Models for the Reliability of Diverse Systems - New Results.	FTCS	1998	DBLP DOI BibTeX RDF
1	Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell	Cyber Threats (Panel).	FTCS	1998	DBLP DOI BibTeX RDF
1	Nuno Neves 0001, W. Kent Fuchs	RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols.	FTCS	1998	DBLP DOI BibTeX RDF
1	Roy A. Maxion, Robert T. Olszewski	Improving Software Robustness with Dependability Cases.	FTCS	1998	DBLP DOI BibTeX RDF
1	Günter Heiner, Thomas Thurner	Time-Triggered Architecture for Safety-Related Distributed Real-Time Systems in Transportation Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Werner Vogels, Dan Dumitriu, Kenneth P. Birman, Rod Gamache, Mike Massa, Rob Short, John Vert, Joe Barrera, Jim Gray 0001	The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability.	FTCS	1998	DBLP DOI BibTeX RDF
1	Lisa Spainhower, Thomas A. Gregg	G4: A Fault-Tolerant CMOS Mainframe.	FTCS	1998	DBLP DOI BibTeX RDF
1	Geert Deconinck, Oliver Botti, Flavio Cassinari, Vincenzo De Florio, Rudy Lauwereins	Stable Memory in Substation Automation: A Case Study.	FTCS	1998	DBLP DOI BibTeX RDF
1	E. N. Elnozahy	How Safe is Probabilistic Checkpointing?	FTCS	1998	DBLP DOI BibTeX RDF
1	Eric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell	Supporting Multiple Levels of Criticality.	FTCS	1998	DBLP DOI BibTeX RDF
1	Timothy K. Tsai	Fault Tolerance Via N-Modular Software Redundancy.	FTCS	1998	DBLP DOI BibTeX RDF
1	Peter Folkesson, Sven Svensson, Johan Karlsson	A Comparison of Simulation Based and Scan Chain Implemented Fault Injection.	FTCS	1998	DBLP DOI BibTeX RDF
1	Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing	Proving Correctness of a Controller Algorithm for the RAID Level 5 System.	FTCS	1998	DBLP DOI BibTeX RDF
1	Vicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia	Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints.	FTCS	1998	DBLP DOI BibTeX RDF
1	James S. Plank, Wael R. Elwasif	Experimental Assessment of Workstation Failures and Their Impact on Checkpointing Systems.	FTCS	1998	DBLP DOI BibTeX RDF
1	Frank Eskesen, Michel Hack, Arun Iyengar, Richard P. King, Nagui Halim	Software Exploitation of a Fault-Tolerant Computer with a Large Memory.	FTCS	1998	DBLP DOI BibTeX RDF
1	Ram Chillarege, Robert W. Horst, Clifford B. Meltzer, Angelo Pruscino, Dalibor F. Vrsalovic	Vision for High-Availability of the Global Infrastructure (Panel).	FTCS	1998	DBLP DOI BibTeX RDF
1	Jérome Boué, Philippe Pétillon, Yves Crouzet	MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance.	FTCS	1998	DBLP DOI BibTeX RDF
1	José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida 0002, Luís E. T. Rodrigues	Fault-Tolerant Broadcasts in CAN.	FTCS	1998	DBLP DOI BibTeX RDF
1	Ashish Singhai, Swee Boon Lim, Sanjay R. Radia	The SunSCALR Framework for Internet Servers.	FTCS	1998	DBLP DOI BibTeX RDF
1	Peter Liggesmeyer, Martin Rothfelder	Improving System Reliability with Automatic Fault Tree Generation.	FTCS	1998	DBLP DOI BibTeX RDF
1	Christopher Temple	Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System.	FTCS	1998	DBLP DOI BibTeX RDF
1	Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal	Communication-Induced Determination of Consistent Snapshots.	FTCS	1998	DBLP DOI BibTeX RDF
1	Mark Bearden, Ronald P. Bianchini Jr.	A Fault-Tolerant Algorithm for Decentralized On-line Quorum Adaptation.	FTCS	1998	DBLP DOI BibTeX RDF
1	Subhachandra Chandra, Peter M. Chen	How Fail-Stop are Faulty Programs?	FTCS	1998	DBLP DOI BibTeX RDF
1	Yinong Chen	Modelling Software Operational Reliability via Input Domain-Based Reliability Growth Model.	FTCS	1998	DBLP DOI BibTeX RDF
1	Karl-Erwin Großpietsch, Jacob A. Abraham, Johannes Maier, Hans-Dieter Kochs, Michel Renovell	From Dependable Computing Systems to Computing for Integrated Dependable Systems? (Panel).	FTCS	1998	DBLP DOI BibTeX RDF
1	Balkrishna Ramkumar, Volker Strumpen	Portable Checkpointing for Heterogenous Architectures.	FTCS	1997	DBLP DOI BibTeX RDF
1	Nancy A. Lynch, Alexander A. Shvartsman	Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts.	FTCS	1997	DBLP DOI BibTeX RDF
1	Gary Hughes-Fenchel	A Flexible Clustered Approach to High Availability.	FTCS	1997	DBLP DOI BibTeX RDF

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