Search results for "FTCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Nihar R. Mahapatra, Shantanu Dutt	Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAs.	FTCS	1999	DBLP DOI BibTeX RDF
1	Kamran Zarrineh, Shambhu J. Upadhyaya	Programmable Memory BIST and a New Synthesis Framework.	FTCS	1999	DBLP DOI BibTeX RDF
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	Harry Hengster, Bernd Becker	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	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		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	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	Christoph Lindemann, Andreas Reuys, Axel Thümmler	The DSPNexpress 2.000 Performance and Dependability Modeling Environment.	FTCS	1999	DBLP DOI 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	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	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	Bhaskar Maruthi, Arun K. Somani, Murat Azizoglu	Interference Robust TCP.	FTCS	1999	DBLP DOI BibTeX RDF
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	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	Anup K. Ghosh, Matthew Schmid, Frank Hill	Wrapping Windows NT Software for Robustness.	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	Marc Dacier, O. Sami Saydjari	Special Seminar: Intrusion Detection.	FTCS	1999	DBLP DOI BibTeX RDF
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	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	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	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	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	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	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	Jie Xu, 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	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	Carlos Pérez, Germán Fabregat, Rafael J. Martínez, G. 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	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	Philip Koopman, John DeVale	Comparing the Robustness of POSIX Operating Systems.	FTCS	1999	DBLP DOI BibTeX RDF	software robustness testing, operating systems
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	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	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	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	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	Xinyu Zang, Hairong Sun, Kishor S. Trivedi	Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.	FTCS	1999	DBLP DOI BibTeX RDF
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	Bin Yao, Kuo-Feng Ssu, W. Kent Fuchs	Message Logging in Mobile Computing.	FTCS	1999	DBLP DOI BibTeX RDF
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	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	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	Purnendu Sinha, Neeraj Suri	Identification of Test Cases Using a Formal Approach.	FTCS	1999	DBLP DOI BibTeX RDF
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	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	G. 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	Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat	MetaKernels and Fault Containment Wrappers.	FTCS	1999	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	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	Irith Pomeranz, Sudhakar M. Reddy	A Generalized Test Generation Procedure for Path Delay Faults.	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	Lisa Spainhower, Thomas A. Gregg	G4: A Fault-Tolerant CMOS Mainframe.	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	Roy A. Maxion, Robert T. Olszewski	Improving Software Robustness with Dependability Cases.	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	Timothy K. Tsai	Fault Tolerance Via N-Modular Software Redundancy.	FTCS	1998	DBLP DOI BibTeX RDF
1	T. Fichna, M. Gärtner, Fritz Gliem, F. Rombeck	Fault-Tolerance of Spaceborne Semiconductor Mass Memories.	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	The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and Scalability.	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	Nuno Neves, W. Kent Fuchs	RENEW: A Tool for Fast and Efficient Implementation of Checkpoint Protocols.	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	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	Peter T. Popov, Lorenzo Strigini	Conceptual Models for the Reliability of Diverse Systems - New Results.	FTCS	1998	DBLP DOI BibTeX RDF
1	E. N. Elnozahy	How Safe is Probabilistic Checkpointing?	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	Gerd Urban, Hans-Joachim Kolinowitz, Jan Peleska	A Survivable Avionics System for Space Applications.	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	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	Bader Almohammad, Bella Bose	Fault-Tolerant Communication Algorithms in Toroidal Networks.	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	Mark Bearden, Ronald P. Bianchini Jr.	A Fault-Tolerant Algorithm for Decentralized On-line Quorum Adaptation.	FTCS	1998	DBLP DOI BibTeX RDF
1	Thomas C. Bressoud	TFT: A Software System for Application-Transparent Fault Tolerance.	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	Kuo-Feng Ssu, W. Kent Fuchs	PREACHES - Portable Recovery and Checkpointing in Heterogeneous Systems.	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	Hagbae Kim, Allan L. White, Kang G. Shin	Reliability Modeling of Hard Real-Time Systems.	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	Peter Folkesson, Sven Svensson, Johan Karlsson	A Comparison of Simulation Based and Scan Chain Implemented Fault Injection.	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	Luís Moura Silva, João Gabriel Silva	Avoiding Checkpoint Contamination in Parallel Systems.	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	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	James S. Plank, Wael R. Elwasif	Experimental Assessment of Workstation Failures and Their Impact on Checkpointing Systems.	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	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	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	Neeraj Suri, Purnendu Sinha	On the Use of Formal Techniques for Validation.	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	Oliver E. Theel, Henning Pagnia	Optimal Replica Control Protocols Exhibit Symmetric Operation Availabilities.	FTCS	1998	DBLP DOI BibTeX RDF
1	José Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues	Fault-Tolerant Broadcasts in CAN.	FTCS	1998	DBLP DOI BibTeX RDF
1	A. Galves, Marie-Claude Gaudel	Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs.	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	Flaviu Cristian, Christof Fetzer	The Timed Asynchronous Distributed System Model.	FTCS	1998	DBLP DOI BibTeX RDF
1	John R. Samson Jr., Wilfrido A. 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	Christopher Temple	Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System.	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	Kazutaki 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	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	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	Yi-Min Wang, Pi-Yu Chung, Yennun Huang, E. N. Elnozahy	Integrating Checkpointing with Transaction Processing.	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 )