Search results for "fault-tolerant"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Clara Benac Earle, Lars-Åke Fredlund, John Derrick	Verifying fault-tolerant Erlang programs.	Erlang Workshop	2005	DBLP DOI BibTeX RDF	code verification, fault-tolerance, concurrency
30	Panagiotis Katsaros, Constantine Lazos	Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems.	DSN	2004	DBLP DOI BibTeX RDF
30	Jie Wu 0001	Fault-Tolerant Adaptive and Minimal Routing in Mesh-Connected Multicomputers Using Extended Safety Levels.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	Fault tolerance, minimal routing, mesh-connected multicomputers
30	Koichi Wada 0001, Wei Chen 0003	Optimal Fault-Tolerant Routings for k-Connected Graphs with Smaller Routing Tables.	WG	2000	DBLP DOI BibTeX RDF
29	Fayçal Bessayah, Ana R. Cavalli, Eliane Martins	A formal approach for specification and verification of fault injection process.	ICIS	2009	DBLP DOI BibTeX RDF	fault specification, formal methods, fault injection, trace analysis, security testing, time specification
29	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance.	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
29	Sun-Yuan Hsieh	Path Embedding on Folded Hypercubes.	TAMC	2007	DBLP DOI BibTeX RDF
29	Ching-Wen Chen, Chung-Ping Chung	Designing A Disjoint Paths Interconnection Network with Fault Tolerance and Collision Solving.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	gamma interconnection networks, rerouting hops, collision ratio, multistage interconnection networks, disjoint paths, dynamic rerouting
29	Wing Lok Yeung, Steve A. Schneider	Design and Verification of Distributed Recovery Blocks with CSP.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification
29	Elizabeth Borowsky, Eli Gafni, Nancy A. Lynch, Sergio Rajsbaum	The BG distributed simulation algorithm.	Distributed Comput.	2001	DBLP DOI BibTeX RDF	Simulation, Fault-tolerance, Distributed computing, Consensus, Set-agreement
29	Reuven Bar-Yehuda, Dror Rawitz	Efficient Algorithms for Integer Programs with Two Variables per Constraint.	Algorithmica	2001	DBLP DOI BibTeX RDF	Well-separated pairs, Fault-tolerance, Computational geometry, Spanners
29	Diego Del Gobbo, Ali Mili 0001	Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems.	RE	2001	DBLP DOI BibTeX RDF
29	Yu Wang 0003, Lijuan Cao, Teresa A. Dahlberg, Fan Li 0001, Xinghua Shi	Self-organizing fault-tolerant topology control in large-scale three-dimensional wireless networks.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Three-dimensional wireless networks, fault tolerance, topology control, power efficiency
29	Miaomiao Zhang, Zhiming Liu 0001, Charles Morisset, Anders P. Ravn	Design and Verification of Fault-Tolerant Components.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	Fault-tolerance, model checking, abstraction, real-time embedded systems
29	Lingfu Xie, Du Xu, Qing Yao, Lei Song	A New Fault-Tolerant Wormhole Routing Scheme in Tori with Convex Faults.	HASE	2008	DBLP DOI BibTeX RDF
29	Abdul-Rahman Mawlood-Yunis	Fault-tolerant semantic mappings among heterogeneous and distributed local ontologies.	ONISW	2008	DBLP DOI BibTeX RDF	consensus reaching, heterogeneous information sources, semantic conflicts, temporal faults, interoperability, ontology mapping, emergent semantics
29	Petru Eles, Viacheslav Izosimov, Paul Pop, Zebo Peng	Synthesis of Fault-Tolerant Embedded Systems.	DATE	2008	DBLP DOI BibTeX RDF
29	Peter Gaspar, Zoltán Szabó 0002, Jozsef Bokor	Design of reconfigurable and fault-tolerant suspension systems based on LPV methods.	CDC	2008	DBLP DOI BibTeX RDF
29	Salvatore Distefano	Investigating fault tolerant computing systems reliability.	IPDPS	2008	DBLP DOI BibTeX RDF
29	Yu Wang 0003, Lijuan Cao, Teresa A. Dahlberg	Efficient Fault Tolerant Topology Control for Three-Dimensional Wireless Networks.	ICCCN	2008	DBLP DOI BibTeX RDF
29	Chandrasekhar Radhakrishnan, William Kenneth Jenkins	Special Fault Tolerant properties of FFT-based transform domain Adaptive Filters.	ISCAS	2008	DBLP DOI BibTeX RDF
29	Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.	ISORC	2007	DBLP DOI BibTeX RDF
29	José Carlos Mouriño, María J. Martín, Patricia González, Ramon Doallo	Fault-tolerant solutions for a MPI compute intensive application.	PDP	2007	DBLP DOI BibTeX RDF
29	Congfeng Jiang, Cheng Wang, Xiaohu Liu, Yinghui Zhao	A Fuzzy Logic Approach for Secure and Fault Tolerant Grid Job Scheduling.	ATC	2007	DBLP DOI BibTeX RDF
29	Hyuck Han, Jai Wug Kim, Jongpil Lee, Youngjin Yu, Kiyoung Kim, Heon Young Yeom	Practical Fault-Tolerant Framework for eScience Infrastructure.	e-Science	2006	DBLP DOI BibTeX RDF
29	Markus Ferringer, Gottfried Fuchs, Andreas Steininger, Gerald Kempf	VLSI Implementation of a Fault-Tolerant Distributed Clock Generation.	DFT	2006	DBLP DOI BibTeX RDF
29	Xingwei Wang 0001, Shuxiang Cai, Nan Gao, Min Huang 0001	A Hybrid Intelligent Preventive Fault-Tolerant QoS Unicast Routing Scheme in IP over DWDM Optical Internet.	ISPA	2006	DBLP DOI BibTeX RDF
29	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Synthesis of Fault-Tolerant Embedded Systems with Checkpointing and Replication.	DELTA	2006	DBLP DOI BibTeX RDF
29	John Sum, Andrew Chi-Sing Leung, Kevin Ho	Prediction Error of a Fault Tolerant Neural Network.	ICONIP (1)	2006	DBLP DOI BibTeX RDF
29	Ding-Li Yu, Thoonkhin Chang, Ding-Wen Yu	Fault tolerant control of multivariable processes using auto-tuning PID controller.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
29	Yi Zou, Krishnendu Chakrabarty	Fault-Tolerant Self-organization in Sensor Networks.	DCOSS	2005	DBLP DOI BibTeX RDF
29	Song Peng, Rajit Manohar	Fault Tolerant Asynchronous Adder through Dynamic Self-reconfiguration.	ICCD	2005	DBLP DOI BibTeX RDF
29	Mei Yang, Yingtao Jiang, Tao Li, Yulu Yang	Fault-Tolerant Routing Schemes in RDT(2, 2, 1)/a-Based Interconnection Network for Networks-on-Chip Designs.	ISPAN	2005	DBLP DOI BibTeX RDF
29	Bernd Thallner, Heinrich Moser	Topology Control for Fault-Tolerant Communication in Highly Dynamic Wireless Networks.	WISES	2005	DBLP DOI BibTeX RDF
29	Michael G. Merideth, Arun Iyengar, Thomas A. Mikalsen, Stefan Tai, Isabelle Rouvellou, Priya Narasimhan	Thema: Byzantine-Fault-Tolerant Middleware forWeb-Service Applications.	SRDS	2005	DBLP DOI BibTeX RDF
29	Michael K. Reiter, Asad Samar, Chenxi Wang	Distributed Construction of a Fault-Tolerant Network from a Tree.	SRDS	2005	DBLP DOI BibTeX RDF
29	SungJin Choi, MaengSoon Baik, Chong-Sun Hwang, Joon-Min Gil, Heon-Chang Yu	Volunteer Availability based Fault Tolerant Scheduling Mechanism in Desktop Grid Computing Environment.	NCA	2004	DBLP DOI BibTeX RDF
29	María Engracia Gómez, José Duato, José Flich, Pedro López 0001, Antonio Robles, Nils Agne Nordbotten, Tor Skeie, Olav Lysne	A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks.	HiPC	2004	DBLP DOI BibTeX RDF
29	Jie Han 0001, Pieter Jonker	From Massively Parallel Image Processors to Fault-Tolerant Nanocomputers.	ICPR (3)	2004	DBLP DOI BibTeX RDF
29	Chen-Liang Fang, De-Ron Liang, Chyouhwa Chen, PuSan Lin	A Redundant Nested Invocation Suppression Mechanism for Active Replication Fault-Tolerant Web Service.	EEE	2004	DBLP DOI BibTeX RDF
29	Wolfram M. Esser	Fault-Tolerant Fulltext Information Retrieval in Digital Multilingual Encyclopedias with Weighted Pattern Morphing.	ECIR	2004	DBLP DOI BibTeX RDF
29	Jenn-Wei Lin, Hung-Yu Liu	An Efficient Fault-Tolerant Approach for MPLS Network Systems.	ISPA	2004	DBLP DOI BibTeX RDF
29	S. M. Rezazad, Hamid Sarbazi-Azad	Fault-Tolerant Routing in the Star Graph.	AINA (2)	2004	DBLP DOI BibTeX RDF
29	SungJin Choi, MaengSoon Baik, HongSoo Kim, JunWeon Yoon, Jin Gon Shon, Chong-Sun Hwang	Region-based Stage Construction Protocol for Fault tolerant Execution of Mobile Agent.	AINA (2)	2004	DBLP DOI BibTeX RDF
29	Loh Peter, Xinhua Zhang	A Fault-tolerant Routing Strategy for Gaussian Cube Using Gaussian Tree.	ICPP Workshops	2003	DBLP DOI BibTeX RDF
29	John P. Hayes	Fault-Tolerant Quantum Computers.	IPDPS	2002	DBLP DOI BibTeX RDF
29	Meine van der Meulen	Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV.	FMCAD	2002	DBLP DOI BibTeX RDF
29	Daniel C. Bünzli, Mathieu S. Capcarrère	Fault-Tolerant Structures: Towards Robust Self-Replication in a Probabilistic Environment.	ECAL	2001	DBLP DOI BibTeX RDF
29	Andrea E. F. Clementi, Angelo Monti, Riccardo Silvestri	Round Robin Is Optimal for Fault-Tolerant Broadcasting on Wireless Networks.	ESA	2001	DBLP DOI BibTeX RDF
29	YunHee Kang, Ho-sang Ham, Chong-Sun Hwang	A Fault-Tolerant Scheme of Multi-agent System for Worker Agents.	Active Media Technology	2001	DBLP DOI BibTeX RDF
29	Nobuo Tsuda	Fault-Tolerant Ring- and Toroidal Mesh-Connected Processor Arrays Able to Enhance Emulation of Hypercubes.	DFT	2000	DBLP DOI BibTeX RDF	fault tolerance, hypercube, mesh, emulation, ring, massively parallel computer
29	Jiandong Huang, Sejun Song, L. Li, P. Kappler, R. Freimark, J. Gustin, T. Kozlik	An open solution to fault-tolerant Ethernet: design, prototyping, and evaluation.	IPCCC	1999	DBLP DOI BibTeX RDF
29	Jinsoo Kim 0005, Jaehyung Park, Jung Wan Cho, Hyunsoo Yoon	Fault-Tolerant Multicasting in Multistage Interconnection Networks.	ICPP	1998	DBLP DOI BibTeX RDF
29	Alan A. Bertossi, Andrea Fusiello, Luigi V. Mancini	Fault-Tolerant Deadline-Monotonic Algorithm for Scheduling Hard-Real-Time Tasks.	IPPS	1997	DBLP DOI BibTeX RDF
29	Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno	A Synthesis Method for Fault-tolerant and Flexible Multipath Routing Protocols.	ICECCS	1997	DBLP DOI BibTeX RDF
29	Maode Ma, Babak Hamidzadeh	A Fault-tolerant Strategy for Real-time Task Scheduling on Multiprocessor System.	ISPAN	1996	DBLP DOI BibTeX RDF	Multiprocessor computer, Chunk Self-Scheduling, Simulation, Fault tolerance, Real-time system
29	Christine Morin, Alain Gefflaut, Michel Banâtre, Anne-Marie Kermarrec	COMA: An Opportunity for Building Fault-Tolerant Scalable Shared Memory Multiprocessors.	ISCA	1996	DBLP DOI BibTeX RDF	Scalable Shared, fault-tolerance, coherence protocol, backward error recovery
29	Binh Vien Dao, José Duato, Sudhakar Yalamanchili	Configurable Flow Control Mechanisms for Fault-Tolerant Routing.	ISCA	1995	DBLP DOI BibTeX RDF
29	Matti A. Hiltunen, Richard D. Schlichting	A Model for Adaptive Fault-Tolerant Systems.	EDCC	1994	DBLP DOI BibTeX RDF
29	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms (Extended Abstract).	WDAG	1993	DBLP DOI BibTeX RDF
28	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira, Eliane Martins	Architecting Fault Tolerance with Exception Handling: Verification and Validation.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	fault-tolerant software architecture, model checking, exception handling, model-based test, software verification and validation
28	Pablo Neira Ayuso, Rafael Martinez Gasca, Laurent Lefèvre	FT-FW: Efficient Connection Failover in Cluster-based Stateful Firewalls.	PDP	2008	DBLP DOI BibTeX RDF	fault tolerant, firewall, stateful
28	Rudolf Ahlswede, Harout K. Aydinian	Sparse Asymmetric Connectors in Communication Networks.	GTIT-C	2006	DBLP DOI BibTeX RDF	fault–tolerant connector, connector, rearrangeable network
28	Jong-Phil Yang, Kyung Hyune Rhee, Kouichi Sakurai	A Proactive Secret Sharing for Server Assisted Threshold Signatures.	HPCC	2006	DBLP DOI BibTeX RDF	Fault tolerant and Distributed Computing, Secret sharing
28	Arash Reyhani-Masoleh, M. Anwarul Hasan	Error Detection in Polynomial Basis Multipliers over Binary Extension Fields.	CHES	2002	DBLP DOI BibTeX RDF	polynomial basis multiplier, fault tolerant computing, Finite fields, error detection
28	Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik	Back-End Software for Highly Dependable Real-Time Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS
28	Scott Johnson 0002, Farnam Jahanian, Sunondo Ghosh, Brian Van Voorst, Nicholas Weininger	Experiences with Group Communication Middleware.	DSN	2000	DBLP DOI BibTeX RDF	distributed systems, middleware, group communication, fault-tolerant communication
28	Dmitri Chkliaev, Jozef Hooman, Peter van der Stok	Formal Modeling and Analysis of Atomic Commitment Protocols.	ICPADS	2000	DBLP DOI BibTeX RDF	real-time, formal specification, distributed databases, PVS, fault-tolerant systems, mechanical verification, atomic commitment protocols
28	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
28	Jan Peleska 0001, Bettina Buth	Formal Methods for the International Space Station ISS.	Correct System Design	1999	DBLP DOI BibTeX RDF	Byzantine AgreementProtocol, Generalised Stochastic Petri Nets, Hardware-in-the-loop Test, International Space Station, Model Checking, Formal Verification, CSP, Fault-Tolerant Systems, Test Automation
28	W. Lynn Gallagher, Earl E. Swartzlander Jr.	Error-Correcting Goldschmidt Dividers Using Time Shared TMR.	DFT	1998	DBLP DOI BibTeX RDF	Goldschmidt's algorithm, time shared TMR, TSTMR fault tolerance, fault tolerant arithmetic, division
28	Michele Favalli, Cecilia Metra	Low-level error recovery mechanism for self-checking sequential circuits.	DFT	1997	DBLP DOI BibTeX RDF	low-level error recovery mechanism, self-checking sequential circuits, reliability requirements, small embedded systems, sequential circuits, design methodology, transient faults, delay faults, fault tolerant capabilities, crosstalk faults
28	Érica de Lima Gallindo, Francisco Vilar Brasileiro, Vladimir Soares Catão	Reliable Processing on the Seljuk-Amoeba Operating Environment.	SCCC	1997	DBLP DOI BibTeX RDF	reliable processing, Seljuk-Amoeba operating environment, Amoeba distributed operating system, processing service, memory availability, CPU speed, fault tolerant processing service, Amoeba system, controlled failure semantics, per process basis, load balancing, network operating systems
28	Charles Changli Chin, Shang-Rong Tsai	Transparency in a Replicated Network File System.	EUROMICRO	1996	DBLP DOI BibTeX RDF	replicated network file system, centralized data sharing, storage stations, modern network environments, high-performance services, Sun NFS protocol, replication transparency, failure transparency, fault-tolerant service, simple primary-backup model, mostly-read environment, high-performance file service, data integrity, transparency, data replication, data consistency, file server
28	Isaac Yi-Yuan Lee, Sheng-De Wang	Ring-Connected Networks and Their Relationship to Cubical Ring Connected Cycles and Dynamic Redundancy Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	multiple-fault tolerant, ring-connected network, interconnection network, hypercubic networks, Butterfly, circulant graph, cube-connected cycle, graph automorphism
28	Jonathan Ezekiel, Alessio Lomuscio	Combining fault injection and model checking to verify fault tolerance in multi-agent systems.	AAMAS (1)	2009	DBLP BibTeX RDF	fault tolerance, model checking, fault injection, epistemic logic
28	Farshad Safaei, Ahmad Khonsari, Aresh Dadlani, Mohamed Ould-Khaoua	A Probabilistic Characterization of Fault Rings in Adaptively-Routed Mesh Interconnection Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	Fault Rings, Fault-tolerance, Interconnection Networks, Mesh, Adaptive Routings
28	Marek Chrobak, Mathilde Hurand, Jirí Sgall	Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines.	RTSS	2007	DBLP DOI BibTeX RDF
28	Michael Nicolaidis, Yervant Zorian	Scaling Deeper to Submicron: On-Line Testing to the Rescue.	DATE	1999	DBLP DOI BibTeX RDF
28	Jang-Ping Sheu, Yuh-Shyan Chen	Tolerating Faults in Faulty Hypercubes Using Maximal Fault-Free Subcube-Ring.	Euro-Par	1995	DBLP DOI BibTeX RDF
28	Özalp Babaoglu	Report on the Fourth ACM SIGOPS European Workshop: Fault Tolerance Support in Distributed Systems.	ACM SIGOPS Oper. Syst. Rev.	1991	DBLP DOI BibTeX RDF
28	Arvind Gupta, Ján Manuch, Ladislav Stacho	Fault Tolerant Forwarding and Optical Indexes: A Design Theory Approach.	SIROCCO	2004	DBLP DOI BibTeX RDF
28	Boris Koldehofe	Buffer Management in Probabilistic Peer-to-Peer Communication Protocols.	SRDS	2003	DBLP DOI BibTeX RDF	multipeer communication, evaluation, networking, gossiping, peer-to-peer communication, fault tolerant protocols, fault tolerant communication
28	Alex Orailoglu	Graceful Degradation in Synthesis of VLSI ICs.	DFT	1998	DBLP DOI BibTeX RDF	permanent fault resilience, high level synthesis of fault-tolerant ICs, Safety Critical Systems, graceful degradation, Fault-tolerant microarchitectures
28	Shay Kutten, David Peleg	Tight Fault Locality (Extended Abstract).	FOCS	1995	DBLP DOI BibTeX RDF	fault local mending, deterministic mending algorithm, global functions, tightly fault local algorithm, computational complexity, complexity, fault tolerant computing, system recovery, fault tolerant algorithms
28	Rasool Jalili, Frans A. Henskens	Using directed graphs to describe entity dependency in stable distributed persistent stores.	HICSS (2)	1995	DBLP DOI BibTeX RDF	entity dependency, distributed persistent stores, roll-back, stability, fault tolerant computing, dependency, object-oriented databases, checkpoint, directed graphs, directed graphs, database theory, fault-tolerant systems, persistent systems, persistent object store
28	Hosame Abu-Amara, Jahnavi Lokre	Election in Asynchronous Complete Networks with Intermittent Link Failures.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	fault-tolerant leader election, asynchronous complete networks, intermittent link failures, fully-connected distributed networks, reliable processors, communication channel failures, algorithm execution, faulty channels, processor identifier set cardinality, undetectable faults, reliability, distributed algorithms, fault tolerant computing, communication complexity, failure analysis, message complexity, telecommunication channels, telecommunication network management
28	Gianfranco Ciardo, Christoph Lindemann	Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets".	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	self-stabilizing clock synchronization, deterministic and stochastic Petri net, fault-tolerant clock synchronisation systems, clocking modules, software package DSPNexpress, performance evaluation, Petri nets, fault tolerant computing, synchronisation, stochastic processes, stochastic Petri nets, steady-state analysis
28	David A. Hoelzeman, Saïd Bettayeb	On the Genus of Star Graphs.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	genus of star graphs, symmetry properties, fault-tolerant characteristics, maximum vertex degree, reliability, fault tolerant computing, hypercube, hypercube networks
28	John C. Ramirez, Rami G. Melhem	Computational Arrays with Flexible Redundancy.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	flexible redundancy, computational arrays, processor/switch array, redundant arrays, Markov chain techniques, probability arguments, fault tolerant arrays, defect avoidance, parallel processing, fault tolerant computing, reconfiguration, redundancy, redundancy, embedding, logic design, fault detection, correction, fault masking, faulty processors, reconfiguration algorithms
28	Phillip F. Chimento Jr., Kishor S. Trivedi	The Completion Time of Programs on Processors Subject to Failure and Repair.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	server behavior, nonexponential repair-time distributions, job completion time, Laplace-Stieltjes transform, failure-repair models, multistate computer systems, performance evaluation, fault tolerant computing, Markov processes, fault-tolerant system, preemptions, semi-Markov process, computer performance, Laplace transforms, closed-form expression
28	Edwin Hsing-Mean Sha, Kenneth Steiglitz	Reconfigurability and Reliability of Systolic/Wavefront Arrays.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	wavefront arrays, fault-tolerant redundant structures, reliable arrays, application graph, finitely reconfigurable, locally reconfigurable, reliability, lower bound, fault tolerant computing, reconfigurability, time complexity, systolic arrays, systolic arrays, reconfigurable architectures, dynamic graphs, bounded-degree graphs
28	Kang G. Shin, Chih-Che Chou	A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	loadchanges, distributed adaptive routing, distributed loop-free routing, network delay tables, routingmessages, fault tolerant computing, computer networks, computer networks, correctness, network routing, fault-tolerant routing, ARPANET, loop-free, routing strategy, component failures, computer communication networks
28	Robert Geist, A. Jefferson Offutt, Frederick C. Harris Jr.	Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	real-time software reliability, numerical estimates, synchronization structure, correlated sampling, module execution times, planetary lander control software, mutation-tested code, fault-tolerant software systems, simulation, computational complexity, Petri nets, fault tolerant computing, dependencies, software reliability, stochastic Petri net, mutation testing, software faults, mutation analysis, NASA
28	Guu-chang Yang, Thomas E. Fuja	The Reliability of Systems with Two Levels of Fault Tolerance: The Return of the "Birthday Surprise".	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	chip level coding, hierarchical levels, random access memory systems, board-level coding, fault-tolerant systolic arrays, fault tolerance, reliability, fault tolerant computing, encoding, systolic arrays, random-access storage, two-dimensional array
28	Amitava Majumdar 0002, Cauligi S. Raghavendra, Melvin A. Breuer	Fault Tolerance in Linear Systolic Arrays Using Time Redundancy.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	triple time redundancy, gracefully degradable mode, fault tolerant computing, logic testing, reconfiguration, throughput, interconnection, switching, performance metrics, cellular arrays, running time, reliability analysis, control structures, fault-tolerant capabilities, linear systolic arrays
28	Meiliu Lu, Du Zhang, Tadao Murata	Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	self stabilising clock synchronisation, fault tolerant clock synchronisation, statistical self-diagnosis, SPN software package, Petri nets, fault tolerant computing, distributed processing, Markov processes, self-stability, Markov model, synchronisation, stochastic Petri nets
28	Chien-Chun Su, Hao-Yung Lo	An Algorithm for Scaling and Single Residue Error Correction in Residue Number Systems.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	single residue digit error correction, mixed radix conversion, redundant digits, scaling error, error-correction circuit with scaling, fault tolerant computing, digital signal processing, digital arithmetic, error correction, residue number systems, RNS, fault-tolerant systems, digital signal processing chips, number theory, lookup table
28	Fred J. Meyer, Dhiraj K. Pradhan	Modeling Defect Spatial Distribution.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	defect spatial distribution modelling, center-satellite model, wafers, redundancy techniques, cluster, VLSI, fault tolerant computing, circuit CAD, fault-tolerant designs, yield models, WSI
28	James T. Blake, Kishor S. Trivedi	Multistage Interconnection Network Reliability.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	unique-path multistage interconnection network, fault-tolerant scheme, time-dependent reliability, shuffle-exchange multistage interconnection networks, SENs, SEN+, component-lifetime distributions, tight reliability lower bound, computational complexity, fault tolerant computing, multiprocessor interconnection networks, system reliability, circuit reliability