Search results for "recovery blocks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Andrew M. Tyrrell	Recovery Blocks and Algorithm-Based Fault Tolerance.	EUROMICRO	1996	DBLP DOI BibTeX RDF	numerical processing, added redundancy, acceptability check, error detection, software fault tolerance, algorithm-based fault tolerance, recovery blocks, time overhead
3	K. H. Kim, Howard O. Welch	Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	uniform treatment, time cost, distributed recovery blocks scheme, DRB scheme, forward recovery, load-sharing multiprocessing scheme, multimicrocomputer networks, fault tolerant computing, distributed processing, real-time applications, tolerance, software faults, distributed execution, distributed execution, recovery blocks, real-time computer systems, hardware faults
2	Hakan Aydin	Exact Fault-Sensitive Feasibility Analysis of Real-Time Tasks.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Deadline-driven Systems, Processor Demand Analysis, Fault Tolerance, Real-Time Systems, Real-time Scheduling, Recovery Blocks
2	Patrick Rogers, Andy J. Wellings	The Application of Compile-Time Reflection to Software Fault Tolerance Using Ada 95.	Ada-Europe	2005	DBLP DOI BibTeX RDF	Ada, Reflection, conversations, software fault tolerance, atomic actions, recovery blocks, backward error recovery
2	Fabian Vargas, Rubem Dutra Ribeiro Fagundes, Daniel Barros Jr.	A New On-Line Robust Approach to Design Noise-Immune Speech Recognition Systems.	J. Electronic Testing	2003	DBLP DOI BibTeX RDF	speech-recognition systems (SRS), digital signal processing (DSP), on-line testing, performance degradation, noise immunity, area overhead, recovery blocks
2	Fabian Vargas, Rubem Dutra Ribeiro Fagundes, Daniel Barros Jr.	Experimental Results of a Recovery Block Scheme to Handle Noise in Speech Recognition Systems.	Asian Test Symposium	2002	DBLP DOI BibTeX RDF	Speech-Recognition Systems (SRS), Recovery Blocks Scheme, Digital Signal Processing (DSP), On-Line Testing, Performance Degradation, Noise Immunity
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	Diana Hecht, K. M. Kavi, Rhonda Kay Gaede, Constantine Katsinis	Fault-Tolerance Using Cache-Coherent Distributed Shared Memory Systems.	ISPAN	1999	DBLP DOI BibTeX RDF	Backward recovery, Directory-Based Protocols, Checkpointing, Distributed Shared Memory, Conversations, Cache-Coherency, Recovery Blocks
2	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
2	Bruno Ciciani, Giovanni Cantone	Comments on "Design and Evaluation of a Fault-Tolerant Multiprocessur Using Hardware Recovery Blocks".	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	hardware recovery blocks, fault tolerant computing, multiprocessing systems, congruency, fault-tolerant multiprocessor
2	Yann-Hang Lee, Kang G. Shin	Design and Evaluation of a Fault-Tolerant Multiprocessur Using Hardware Recovery Blocks.	IEEE Trans. Computers	1984	DBLP DOI BibTeX RDF	rollback propagation, hardware/ software recovery blocks, performance of rollback recovery mechanisms, Fault-tolerant multiprocessor
1	Tony Hoare	Recovery Blocks.	Dependable and Historic Computing	2011	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Alexander Romanovsky	Refinement Patterns for Fault Tolerant Systems.	EDCC	2008	DBLP DOI BibTeX RDF
1	Debdoot Mukherjee, Pankaj Jalote, Mangala Gowri Nanda	Determining QoS of WS-BPEL Compositions.	ICSOC	2008	DBLP DOI BibTeX RDF	Quality of Service, workflows, BPEL, composite web services
1	Felix Salfner, Günther A. Hoffmann, Miroslaw Malek	Prediction-Based Software Availability Enhancement.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
1	Hakan Aydin	On Fault-Sensitive Feasibility Analysis of Real-Time Task Sets.	RTSS	2004	DBLP DOI BibTeX RDF
1	Fabian Vargas, Rubem Dutra Ribeiro Fagundes, Daniel Barros Jr., Diogo B. Brum, Eduardo Luis Rhod	Merging a DSP-Oriented Signal Integrity Technique and SW-Based Fault Handling Mechanisms to Ensure Reliable DSP Systems.	J. Electronic Testing	2004	DBLP DOI BibTeX RDF	digital signal processing (DSP) systems, electromagnetic interference (EMI), speech recognition system (SRS), on-line testing, noise immunity
1	Wing Lok Yeung, Steve Schneider	Design and Verification of Distributed Recovery Blocks with CSP.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	distributed recovery block scheme, timewise refinement, fault-tolerance, real-time systems, CSP, formal specification and verification
1	Fabian Vargas, Rubem Dutra Ribeiro Fagundes, Daniel Barros Jr., Diogo B. Brum	Briefing a New Approach to Improve the EMI Immunity of DSP Systems.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF	Digital Signal Processing (DSP) Systems, Electromagnetic Interference (EMI), On-Line Testing, Noise Immunity
1	Fabian Vargas, Rubem Dutra Ribeiro Fagundes, Daniel Barros Jr.	A New On-Line Robust Approach to Design Noise Immune Speech Recognition Systems.	IOLTW	2002	DBLP DOI BibTeX RDF
1	Bev Littlewood, Lorenzo Strigini	Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment.	ICSE	2000	DBLP DOI BibTeX RDF
1	Uma Mahadevan, Kevin Nomura, Roy Dz-Ching Ju, Rick Hank	Applying Data Speculation in Modulo Scheduled Loops.	IEEE PACT	2000	DBLP DOI BibTeX RDF
1	Hakan Aydin, Rami G. Melhem, Daniel Mossé	Optimal scheduling of imprecise computation tasks in the presence of multiple faults.	RTCSA	2000	DBLP DOI BibTeX RDF	imprecise computation tasks, real-time computing models, nondecreasing reward function, FT Optimal framework, transient fault tolerance, scheduling, real-time systems, image processing, multimedia, software fault tolerance, multiple faults, speech processing, optimal scheduling
1	Patrick Rogers, Andy J. Wellings	An Incremental RecoveryCache Supporting Sotware Fault Tolerance.	Ada-Europe	1999	DBLP DOI BibTeX RDF	user-defined assignment, Ada, checkpointing, fault-tolerant systems
1	Andy J. Wellings, Alan Burns	Implementing Atomic Actions in Ada 95.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	exception handling, conversations, Software fault tolerance, Ada 95, atomic actions, recovery blocks
1	Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini	On Performability Modeling and Evaluation of Software Fault Tolerant Structures.	EDCC	1994	DBLP DOI BibTeX RDF
1	João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino	A Fault-Tolerant Mechanism for Simple Controllers.	EDCC	1994	DBLP DOI BibTeX RDF
1	Mark E. Staknis	Sheaved Memory: Architectural Support for State Saving and Restoration in Paged Systems.	ASPLOS	1989	DBLP DOI BibTeX RDF
1	Kang G. Shin, Yann-Hang Lee	Evaluation of Error Recovery Blocks Used for Cooperating Processes.	IEEE Trans. Software Eng.	1984	DBLP DOI BibTeX RDF
1	K. H. Kim	Distributed Execution of Recovery Blocks: An Approach to Uniform Treatment of Hardware and Software Faults.	ICDCS	1984	DBLP BibTeX RDF
1	Kang G. Shin, Yann-Hang Lee	Analysis of Backward Error Recovery for Concurrent Processes with Recovery Blocks.	ICPP	1983	DBLP BibTeX RDF
1	P. A. Lee, N. Ghani, K. Heron	A Recovery Cache for the PDP-11.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	recovery blocks, Backward error recovery, fault-tolerant software
1	Santosh K. Shrivastava	Sequential Pascal with Recovery Blocks.	Softw., Pract. Exper.	1978	DBLP DOI BibTeX RDF
1	T. Anderson, R. Kerr	Recovery Blocks in Action: A System Supporting High Reliability.	ICSE	1976	DBLP BibTeX RDF