Search results for "system recovery"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Miseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-il Jin, Mi-kyong Han, Wan Choi	Two-step backup mechanism for real-time main memory database recovery.	RTCSA	2000	DBLP DOI BibTeX RDF	back-up procedures, two-step backup mechanism, real-time main-memory database recovery, system recovery time, undo/redo logs, backup processing, shadow memory area, stable memory, backup buffer, backup disk, worst-case performance analysis, real-time systems, predictability, database management systems, checkpointing, transaction processing, transaction processing, response time, system recovery, buffer storage, logging, disk I/O
2		System Recovery.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Sudharshan Vazhkudai, Xiaosong Ma	Recovering transient data: automated on-demand data reconstruction and offloading for supercomputers.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	file system recovery, supercomputer avalability, data reconstruction
2	Qiming Zou, Tao Yu, Haiyang Sun	Reliability Analysis for Manufacturing Grid.	PROLAMAT	2006	DBLP DOI BibTeX RDF	system recovery, reliability analysis, evaluation model, Manufacturing Grid (MG)
2	James Mauro, Ji Zhu, Ira Pramanick	The System Recovery Benchmark.	PRDC	2004	DBLP DOI BibTeX RDF
2	Ira Pramanick, James Mauro, Ji Zhu	A System Recovery Benchmark for Clusters.	CLUSTER	2003	DBLP DOI BibTeX RDF
2	Hyung-Taek Lim, Seung-Min Yang	A framework to model dependable real-time systems based on real-time object model.	RTCSA	2000	DBLP DOI BibTeX RDF	dependable real-time systems, real-time object model, fault-tolerant real-time systems, RobustRTO, robust real-time objects, RMO, region monitor real-time objects, object regions, abnormal behavior detection, system reconfiguration, real-time systems, embedded systems, fault tolerant computing, reconfigurable architectures, object-oriented methods, system recovery, system recovery, system monitoring, recovery blocks, N-version programming
2	Jack Kent, Hector Garcia-Molina	Optimizing Shadow Recovery Algorithms.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	shadow recovery algorithms, database testbed, Princeton, page-table I/O, disk utilization, optimisation, optimisation, program testing, system recovery, system recovery, input-output programs
2	K. H. Kim	Programmer-Transparent Coordination of Recovering Concurrent Processes: Philosophy and Rules for Efficient Implementation.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	programmer transparent coordination, storage reduction, recovering concurrent processes, error direction, intelligent processor system, process rollback, minimum-distance rollback, supervisory programs, data structures, data structures, fault tolerant computing, error detection, programming theory, system recovery, system recovery, multiprocessing programs, recovery block, language construct, time overhead
1	Radu Banabic, George Candea	Fast black-box testing of system recovery code.	EuroSys	2012	DBLP DOI BibTeX RDF
1	Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong	Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks.	NOMS	2008	DBLP DOI BibTeX RDF
1	Hasan Sözer, Bedir Tekinerdogan	Introducing Recovery Style for Modeling and Analyzing System Recovery.	WICSA	2008	DBLP DOI BibTeX RDF	fault tolerance, software architecture, recovery, viewpoint, style, local recovery
1	Yih Huang, Angelos Stavrou, Anup K. Ghosh, Sushil Jajodia	Efficiently tracking application interactions using lightweight virtualization.	VMSec	2008	DBLP DOI BibTeX RDF	interractions, tracking, virtualization, applications, lightweight
1	Svilen Ivanov, Edgar Nett	Fault-Tolerant Coverage Planning in Wireless Networks.	SRDS	2008	DBLP DOI BibTeX RDF
1	Yan Gu, Yue Li	An interdependent infrastructure risk analysis framework using parallel and distributed simulation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Ying H. Xia, Kevin D. Fairbanks, Henry Owen	Visual Analysis of Program Flow Data with Data Propagation.	VizSEC	2008	DBLP DOI BibTeX RDF
1	Sanjit A. Seshia	Autonomic Reactive Systems via Online Learning.	ICAC	2007	DBLP DOI BibTeX RDF
1	Andrew W. Williams, Soila M. Pertet, Priya Narasimhan	Tiresias: Black-Box Failure Prediction in Distributed Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	Architecting Fault Tolerant Systems.	WICSA	2007	DBLP DOI BibTeX RDF
1	Marco Serafini, Andrea Bondavalli, Neeraj Suri	Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF
1	Jinqian Liang, Xiaohong Guan	A virtual disk environment for providing file system recovery.	Computers & Security	2006	DBLP DOI BibTeX RDF
1	Daniela A. S. de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong	ExecRecorder: VM-based full-system replay for attack analysis and system recovery.	ASID	2006	DBLP DOI BibTeX RDF	virtual machines, recovery, malware, worms, replay, invasive software
1	Khin Mi Mi Aung, Kiejin Park, Jong Sou Park	Survival of the Internet Applications: A Cluster Recovery Model.	CCGRID	2006	DBLP DOI BibTeX RDF	Fault tolerance, Modeling, Reliability, System recovery
1	Okehee Goh, Yann-Hang Lee, Ziad Kaakani	Schedulable persistence system for teal-time applications in virtual machine.	EMSOFT	2006	DBLP DOI BibTeX RDF	CLI, checkpoint/recovery, schedulable persistence system, virtual machine, real-time applications
1	Kun Bai, Peng Liu	Towards Database Firewall: Mining the Damage Spreading Patterns.	ACSAC	2006	DBLP DOI BibTeX RDF
1	Yuan Tang, Graham E. Fagg, Jack Dongarra	Proposal of MPI Operation Level Checkpoint/Rollback and One Implementation.	CCGRID	2006	DBLP DOI BibTeX RDF
1	Kaustubh R. Joshi, William H. Sanders, Matti A. Hiltunen, Richard D. Schlichting	Automatic Recovery Using Bounded Partially Observable Markov Decision Processes.	DSN	2006	DBLP DOI BibTeX RDF
1	Xin-Mao Huang, Cheng-Yue Chang, Ming-Syan Chen	PeerCluster: A Cluster-Based Peer-to-Peer System.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	peer-to-peer, hypercube, data sharing, Data broadcasting
1	Polychronis Kondaxakis, Virginie F. Ruiz, William S. Harwin	Suboptimal System Recovery from Communication Loss in a Multi-robot Localization Scenario using EKF Algorithms.	CLAWAR	2005	DBLP DOI BibTeX RDF
1	Casey K. Fung, Patrick C. K. Hung	System Recovery through Dynamic Regeneration of Workflow Specification.	ISORC	2005	DBLP DOI BibTeX RDF	Transaction Logic, Web services, Exceptional Handling, BPEL, Survivability, Attack tree
1	Qi Zhang, Alma Riska, Erik Riedel	Workload Propagation - Overload in Bursty Servers.	QEST	2005	DBLP DOI BibTeX RDF	overload conditions, TPC-W, workload characterization, multi-tiered systems
1	Ivan Vasquez, John A. Miller, Kunal Verma, Amit P. Sheth	OpenWS-Transaction: Enabling Reliable Web Service Transactions.	ICSOC	2005	DBLP DOI BibTeX RDF
1	Kimberly Keeton, Arif Merchant	A Framework for Evaluating Storage System Dependability.	DSN	2004	DBLP DOI BibTeX RDF
1	Wei Yu	Analyze the Worm-Based Attack in Large Scale P2P.	HASE	2004	DBLP DOI BibTeX RDF
1	Christian F. da Silva, Alice M. Tokarnia	RECASTER: Synthesis of Fault-Tolerant Embedded Systems Based on Dynamically Reconfigurable FPGAs.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Meng Yu, Peng Liu, Wanyu Zang	Multi-Version Attack Recovery for Workflow System.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai	A design of the persistent operating system with non-volatile memory.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with r-operators.	Distributed Computing	2001	DBLP DOI BibTeX RDF	r -operators, Read-write atomicity, Distributed systems, Self-stabilization, Unfair scheduling
1	Xin Wang 0001, C. Yu, Henning Schulzrinne, Paul A. Stirpe, Wei Wu	IP Multicast Fault Recovery in PIM over OSPF. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	IP multicast fault recovery, IP multicast networks, network recovery, Protocol Independent Multicast, PIM routing protocol, Internet Group Management Protocol, Open Shortest Path First, OSPF protocol, multicast channel recovery time, IP multicast channels, OPNET simulation tool, fault recovery time, protocol control overhead, Cisco routers, router failures, control overhead, unicast protocol recovery, performance evaluation, local area networks, transport protocols, analytical models, digital simulation, testbed, wide area networks, WAN, system recovery, simulation models, telecommunication network routing, multicast communication, LAN, parameter tuning, performance tuning, OSPF, link failures, network configurations, telecommunication channels, computer network reliability, network failure, IGMP
1	Wei-Je Huang, Edward J. McCluskey	Transient errors and rollback recovery in LZ compression.	PRDC	2000	DBLP DOI BibTeX RDF	LZ compression, Lempel-Ziv compression, compressed codewords, rollback error recovery schemes, data integrity, data integrity, fault tolerant computing, data compression, error detection, system recovery, transient faults, rollback recovery, compression ratio, lossless data compression, transient errors, data reconstruction, hardware redundancy
1	Lawrence Klos, Golden G. Richard III	Julep: an environment for the evaluation of distributed process recovery protocols.	PRDC	2000	DBLP DOI BibTeX RDF	Julep, distributed process recovery protocols, object-oriented testbed, process recovery mechanisms, UDP-based object communication service, reliable object-based communication service, Java, Java, protocols, object-oriented programming, programming environments, system recovery, telecommunication channels, recovery mechanisms, communication mechanism
1	Seong Woo Kwak, Byung-Jae Choi, Byung Kook Kim	Checkpointing strategy for multiple real-time tasks.	RTCSA	2000	DBLP DOI BibTeX RDF	multiple real time tasks, checkpointing strategy, task deadlines, checkpoint placement, approximated failure probability, real-time systems, probability, system recovery, error bound
1	Gregory R. Ganger, Marshall K. McKusick, Craig A. N. Soules, Yale N. Patt	Soft updates: a solution to the metadata update problem in file systems.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF
1	Espen Skoglund, Christian Ceelen, Jochen Liedtke	Transparent Orthogonal Checkpointing through User-Level Pagers.	POS	2000	DBLP DOI BibTeX RDF
1	Sajal K. Das, Ajoy Kumar Datta, Sébastien Tixeuil	Self-Stabilizing Algorithms in DAG Structured Networks.	ISPAN	1999	DBLP DOI BibTeX RDF	fault-tolerance, Distributed systems, self-stabilization, directed acyclic graphs
1	Daniel Gil, R. Martínez, J. V. Busquets, Juan Carlos Baraza, Pedro J. Gil	Fault Injection into VHDL Models: Experimental Validation of a Fault Tolerant Microcomputer System.	EDCC	1999	DBLP DOI BibTeX RDF
1	Viral Shah, Sourav Bhattacharya	Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	fault propagation analysis based variable length checkpoint placement, fault tolerant parallel systems, optimal checkpoint placement strategies, failure propagation analysis, distributed rollback recovery system, FPA based checkpoint placement strategy, task grouping/allocation, loop stabilization aspects, message communication instructions, checkpoint placement strategy, message send/receive regions, FPA process, checkpoint placement strategies, cyclic relationship, distributed systems, parallel algorithm, fast Fourier transform, FFT, recursion, distributed programs, task allocation, system recovery, link failures
1	Chunbo Zhou, Atsumi Imamiya	Object-based nonlinear undo model. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	object-based nonlinear undo model, recovery facility, human-computer interaction systems, recovery history, object selection, object state recovery, subhistories, main history, interactive cycle sequence, active commands, inactive commands, TRIBASE, usability, system recovery
1	Yusen Lin, Sourav Bhattacharya	Impact of rollback recovery to program locality of reference and page replacement policies.	FTDCS	1997	DBLP DOI BibTeX RDF	page replacement policies, cache block replacement policies, fault-triggered rollback, simulation, fault tolerance, performance, memory management, checkpointing, research, system recovery, rollback recovery, locality of reference, fault propagation
1	J. R. Carnes, Amit Misra, Janos Sztipanovits	Model-integrated toolset for fault detection, isolation and recovery (FDIR).	ECBS	1996	DBLP DOI BibTeX RDF	space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
1	Luís Moura Silva, João Gabriel Silva, Simon Chapple	Portable Transparent Checkpointing for Distributed Shared Memory. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	portable transparent checkpointing, nonblocking mechanism, domino-effect free, POSIX compliant local file system, parallel algorithms, parallel algorithms, MPI, Message Passing Interface, message passing, Unix, shared memory systems, distributed memory systems, system recovery, software portability, workstation cluster, distributed shared memory systems
1	Jie Xu, Brian Randell	Roll-forward error recovery in embedded real-time systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	roll-forward error recovery, checkpointing schemes, time-critical applications, checkpoint validation steps, fault-free processors, interaction-intensive applications, checkpoint validation, real-time systems, fault tolerant computing, distributed processing, multiprocessing systems, system recovery, embedded real-time systems
1	Anjan K. Venkatramani, Timothy Mark Pinkston, José Duato	Generalized Theory for Deadlock-Free Adaptive Wormhole Routing and its Application to Disha Concurrent. (PDF / PS)	IPPS	1996	DBLP DOI BibTeX RDF	deadlock-free adaptive wormhole routing, Disha Concurrent, central buffers, sequential recovery, resource cost, mutual exclusive access, deadlock-free lane, tree-based networks, performance evaluation, parallel architectures, fault tolerant computing, concurrency control, multiprocessor interconnection networks, multiprocessor interconnection networks, network routing, system recovery, edge, Token, Hamiltonian path, deadlock recovery, k-ary n-cube networks
1	José Ramón González de Mendívil, Federico Fariña, Jesús E. Villadangos, José Ramón Garitagoitia	Liveness Conditions for a Safe Distributed Deadlock Resolution Algorithm.	PDP	1996	DBLP DOI BibTeX RDF	safe distributed deadlock resolution algorithm, liveness conditions, strong safety condition, distributed algorithms, concurrency control, system recovery, software fault tolerance
1	Paul J. Fortier, John C. Sieg Jr.	Simulation analysis of early commit concurrency control protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation analysis, early commit concurrency control protocols, concurrency control enforcement, atomic data sets, transaction writer, conventional locking, recovery protocols, merged-commit, databases, protocols, virtual machines, concurrency control, database management systems, transaction processing, database design, system recovery, simulation model, replay, optimistic protocols, protocols performance, timestamp ordering
1	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
1	Krishna M. Kavi, Frederick T. Sheldon, Behrooz Shirazi, Ali R. Hurson	Reliability analysis of CSP specifications using Petri nets and Markov processes.	HICSS	1995	DBLP DOI BibTeX RDF	stochastic analyses, CSP-based system specifications, potential failure processes, recovery actions, user level specification, performance, formal specification, Petri nets, Petri nets, Markov processes, Markov processes, cost, functionality, system recovery, safety-critical software, failure analysis, reliability analysis, communicating sequential processes, user needs
1	Stephen Lucci, Izidor Gertner, Anil Gupta, Uday Hegde	Reflective-memory multiprocessor.	HICSS	1995	DBLP DOI BibTeX RDF	reflective-memory multiprocessor, hardware-supported data replication, multiple computers, memory semantics, reflective memory implementation, Encore Infinity, spinlocks, cache coherency problems, massive replication, recovery procedure, crashed nodes, reliability, fault tolerant computing, shared memory systems, distributed memory systems, system recovery, cache storage, cached architectures, distributed shared memory multiprocessor
1	Mark Russinovich, Zary Segall	Application-transparent checkpointing in Mach 3.O/UX.	HICSS	1995	DBLP DOI BibTeX RDF	application-transparent checkpointing, Mach 3/UX, software based recovery techniques, virtual memory checkpointing algorithms, concurrent Unix applications, stable storage medium, snapshot algorithm execution, checkpoint commit execution, disk storage requirement, external pager facility, parallel programming, distributed computation, Unix, Unix, system recovery, software fault tolerance, operating systems (computers), system performance, virtual storage, concurrent processes, hard disk
1	Pierre Sens	The performance of independent checkpointing in distributed systems.	HICSS	1995	DBLP DOI BibTeX RDF	independent checkpointing, run-time overhead, message logging mechanism, fault management overhead, long-running distributed applications, small data streams, performance evaluation, fault tolerance, performance, distributed systems, parallel processing, fault tolerant computing, distributed processing, Unix, local area networks, system recovery, workstations, parallel applications, workstations network
1	Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke	Portable Checkpointing and Recovery. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	portable checkpointing, parallel library, f CHIMP/MPI, flexible recovery mechanism, data-reconfiguration, parallel machines, recovery, portability, system recovery, operating systems (computers), software portability
1	Meera Balakrishnan, Andrew L. Reibman	Reliability Models for Fault-Tolerant Private Network Applications.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	telephone networks, lumped parameter networks, fault-tolerant private network applications, corporate network, leased private lines, repair strategies, call level, approximate Markov model, lumped model, coverage parameter estimation, reliability, reliability, fault tolerant computing, parameter estimation, Markov processes, network simulation, system recovery, telecommunication network routing, reliability models, state-space model, state-space methods, time-scales, application level, dynamic rerouting
1	Tein-Hsiang Lin, Kang G. Shin	An Optimal Retry Policy Based on Fault Classification.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	optimal retry policy, fault characteristics, mission lifetime, system status, Bayesian decision problem, prior distributions, fault-related parameter updating, temporal fault type, fault parameter estimation, optimal retry period, mean task completion time minimization, fault tolerant computing, parameter estimation, fault detection, error detection, decision theory, system recovery, Bayes methods, minimisation, error recovery, transient faults, failure analysis, intermittent faults, permanent faults, fault classification
1	Nabil R. Adam	A New Dynamic Voting Algorithm for Distributed Database Systems.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	dynamic voting algorithm, communication link failure, dynamic-voting-consistency algorithm, algorithm correctness, read requests, read quorum, user requests, data object updating, majority partition, update rate, simple partitioning, data integrity, fault tolerant computing, distributed databases, software reliability, network topology, database theory, recovery, system recovery, data consistency, distributed database systems
1	Bob Janssens, W. Kent Fuchs	The Performance of Cache-Based Error Recovery in Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	cache-based error recovery performance, cache-based checkpointing, rollback error recovery, shared-memorymultiprocessors, inherent redundancy, computation state, rollback propagation, EncoreMultimax, recovery schemes, cache-based schemes, low performance overhead, checkpoint interval, performance evaluation, performance evaluation, virtual machines, multiprocessors, redundancy, memory hierarchy, shared memory systems, system recovery, buffer storage, parallel applications, cache coherence protocol, transient errors, cache replacement policy, address traces
1	Kai Li, Jeffrey F. Naughton, James S. Plank	Low-Latency, Concurrent Checkpointing for Parallel Programs.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	low latency concurrent checkpointing, programrestarting, overall checkpointing time, interruption time, overlapping operations, parallel programming, parallel programs, metrics, fault tolerant computing, efficiency, software reliability, shared-memory multiprocessors, system recovery, program diagnostics, overhead, backward error recovery, copy-on-write, faulttolerance
1	Bapiraju Vinnakota, Niraj K. Jha	Design of Algorithm-Based Fault-Tolerant Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	fault-tolerant multiprocessor systems, algorithm-basedmultiprocessor systems, algorithm-based faulttolerance, low-overhead system-level error detection, fault location scheme, ABFTsystems, design procedure, data element sharing, ABFT system design, reliability, fault diagnosis, fault tolerant computing, multiprocessing systems, fault location, system recovery, concurrent error detection, parallelarchitectures
1	Jie Wu, Eduardo B. Fernández	Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	systemsanalysis, conversation boundaries, high-level modified Petri net, action-ordered tree, robot arm control system, conversation design tool, parallel processing, formal specification, Petri nets, Petri nets, fault tolerant computing, software reliability, software design, system recovery, fault-tolerant software, state model
1	C. S. Yang, L. P. Zu, Y. N. Wu	A Reconfigurable Modular Fault-Tolerant Hypercube Architecture.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	reconfigurable modular fault-tolerant hypercube, modular hypercube, spare-sharing links, ring connection, local spares, FTM, switch failures, modular reconfiguration, reliability, parallel architectures, fault tolerant computing, reconfigurable architectures, hypercube networks, switches, system recovery, links, nodes, system reliability, link failures, fault-tolerant design, faulty nodes, hypercube system, hypercube architecture
1	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
1	David W. Russell	Software engineering and production monitoring systems.	Journal of Systems Integration	1994	DBLP DOI BibTeX RDF	Real-timesoltware engineering, production monitoring, factory data integration, CIM
1	Mee Yee Chan, Francis Y. L. Chin	Optimal Resilient Distributed Algorithms for Ring Election.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	ring election, dynamic ring, processorrecoveries, computational complexity, distributed algorithms, multiprocessing systems, system recovery, message complexity
1	Junguk L. Kim, Taesoon Park	An Efficient Protocol for Checkpointing Recovery in Distributed Systems.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	checkpointing recovery, synchronized checkpointing protocol, checkpointing coordinator, distributed systems, protocols, distributed processing, synchronisation, system recovery, dependency relation
1	Phyllis G. Frankl, Elaine J. Weyuker	A Formal Analysis of the Fault-Detecting Ability of Testing Methods.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software testing criteria, subdomains, subsumption relation, program testing, system recovery, formal analysis, multisets, fault-detecting ability, probabilistic measures
1	Parameswaran Ramanathan, Kang G. Shin	Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	common time base, hardware clock synchronization algorithm, pseudo-recovery points, recovery lines, distributed system, fault tolerant computing, distributed processing, checkpointing, probabilistic model, system recovery, rollback recovery, memory requirement, message exchange
1	Lorrie A. Tomek, Jogesh K. Muppala, Kishor S. Trivedi	Modeling Correlation in Software Recovery Blocks.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software recovery blocks, software fault-tolerance technique, successive acceptance tests, correct module outputs, pairwise correlation, beta-binomial density, Stochastic Reward Network, Stochastic Petri Net Package, SPNP, Petri nets, fault tolerant computing, software reliability, software reliability, statistical analysis, correlation, Markov models, stochastic modeling, system recovery, stochastic Petri nets, recovery blocks, functional specification
1	Vijay Kumar, Albert Burger	Performance Measurement of Main Memory Database Recovery Algorithms Based on Update-in-Place and Shadow Approaches.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	main memory database recovery algorithms, shadow approach, update-in-place, database management systems, transactions, performance measurement, transaction processing, storage management, system recovery
1	Eliezer Levy, Abraham Silberschatz	Incremental Recovery in Main Memory Database Systems.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	incremental database recovery, online transaction processing systems, memory database systems, page-based incremental restart algorithm, high-level recovery manager, nonvolatile RAM, database management systems, checkpointing, transaction processing, storage management, updates, system recovery
1	Geppino Pucci	A New Approach to the Modeling of Recovery Block Structures.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	recovery block structures, error events, failure histories, dependability predictions, testing stages, project choices, software reliability, program testing, system recovery, reliability model, reliability theory, model parameters, development cycle
1	Eric Steegmans, Johan Lewi, Ivo Van Horebeek	Generation of Interactive Parsers With Error Handling.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	ELL 1, interactive parsers, interactive transducers, underlying parser, generation scheme, error-recovery generation capabilities, semantic error recovery, MIRA transducer writing system, adopted error-recovery strategy, interactive software package, MINI-ABACUS, error-recovery principles, Ada, interactive systems, program compilers, grammars, system recovery, industrial case studies, Ada programs
1	K. Vidyasankar	A Non-Two Phase Locking Protocol for Global Concurrency Control in Distributed Heterogeneous Database Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	non-two-phase locking protocol, global concurrency control, distributed heterogeneous database systems, global transactions, database sites, rooted tree fashion, global transaction manager, GTM, g-local transactions, concurrency control mechanism, local transactions, g-local transactions, protocols, distributed databases, concurrency control, transaction processing, system recovery, serializability, deadlock freedom, general architecture
1	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
1	James M. Purtilo, Pankaj Jalote	An Environment for Developing Fault-Tolerant Software.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	Unix-based hosts, DEC workstations, fault tolerant computing, programming languages, programming environments, software reliability, environment, system recovery, recovery blocks, N-version programming, fault-tolerant software, Sun
1	Alexander Thomasian, In Kyung Ryu	Performance Analysis of Two-Phase Locking.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	transaction size, lock requests, lock conflict, transaction response time, transaction blocking, simulation, distributed databases, concurrency control, probability, transaction processing, deadlock, system recovery, system performance, two-phase locking, lock contention
1	Kun-Lung Wu, W. Kent Fuchs, Janak H. Patel	Error Recovery in Shared Memory Multiprocessors Using Private Caches.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	processor transient faults, user-transparent checkpointing, checkpointed computation state, recovery stacks, rollback propagation, rapidrecovery, fault tolerance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, shared memory multiprocessors, system recovery, buffer storage, cache coherence protocols, performance degradation, processor utilization, private caches, error latency
1	Richard G. Hamlet, Ross Taylor	Partition Testing Does Not Inspire Confidence.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models
1	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
1	Victor F. Nicola, Ambuj Goyal	Modeling of Correlated Failures and Community Error Recovery in Multiversion Software.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	correlated failures, community error recovery, multiversion software, beta-binomial distribution, failure distributions, selected distribution, recovery methods, failure behaviors, lightly correlated, checkpoint failure, destructive failure, fault tolerant computing, software reliability, checkpointing, system recovery, software configuration, omission failure, combinatorial model
1	Victor F. Nicola, Johannes M. Van Spanje	Comparative Analysis of Different Models of Checkpointing and Recovery.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	checkpointing strategies, recovery models, refinement levels, realistic system, analytic approaches, Markovian queuing model, load-dependent checkpointing strategy, stochastic recovery, state-space analysis approach, semianalytic expressions, performance variables, unknown boundary state probabilities, stable operating range, optimal deterministic checkpointing, simulation, computational complexity, probability, DBMS, database management systems, queueing theory, database theory, system recovery, numerical algorithm, numerical solution, Poisson
1	Michael H. Woodbury, Kang G. Shin	Measurement and Analysis of Workload Effects on Fault Latency in Real-Time Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	workload effects, fault latency, control computer systems, multiple latent faults, coverage failure, synthetic work generator, hardware fault injector, NASA Airlab, software engineering, real-time systems, real-time systems, fault tolerant computing, multiprocessing systems, program testing, system recovery, control systems, recovery mechanisms, fault-tolerant multiprocessor
1	Anton T. Dahbura, Krishan K. Sabnani, William J. Hery	Spare Capacity as a Means of Fault Detection and Diagnosis in Multiprocessor Systems.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	processor level, preemptive, nonpreemptive, spare capacity, detecting faults, fault tolerant computing, redundancy, fault detection, diagnosis, multiprocessing systems, multiprocessor systems, response time, system recovery
1	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	Correction to ``A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, pseudocode, distributed processing, error correction, system recovery, distributed deadlock detection
1	Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley	A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	modified priority based probe algorithm, distributed databases, system recovery, distributed database system, distributed deadlock detection, deadlock resolution
1	Danco Davcev	A Dynamic Voting Scheme in Distributed Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	dynamic voting scheme, recovery control, site failures, distributed systems, distributed systems, data integrity, distributed databases, consistency, system recovery, network partitions, replicated files
1	Anna Hac	A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	file migration, read and write accesses, distributed system, distributed algorithm, distributed processing, programming theory, system recovery, performance improvement, process migration, bottlenecks, file replication, system resources, file sizes
1	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
1	Barbara E. Wójcik, Zbigniew M. Wójcik	Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	wait-for contiguous requests, query message, wait-for cycle, no-deadlock message, query initiator, deadlock-free situation, query intercessor, periodical deadlock handling, indefinite wait-die scheme, protocol, distributed processing, replication, system recovery, sufficient condition, distributed deadlock detection, communication deadlock
1	Lui Sha, John P. Lehoczky, E. Douglas Jensen	Modular Concurrency Control and Failure Recovery.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery
1	James E. Smith, Andrew R. Pleszkun	Implementing Precise Interrupts in Pipelined Processors.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	precise recovery, precise interrupt problem, saved process state, sequential model of program execution, architectural order, parallel pipeline structure, Cray-1S scalar architecture, performance evaluation, parallel architectures, interrupts, pipeline processing, system recovery, pipelined processors, performance degradation
1	Mostafa A. Bassiouni	Single-Site and Distributed Optimistic Protocols for Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods