|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10163 occurrences of 2870 keywords
|
|
|
Results
Found 9352 publication records. Showing 9352 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 130-151, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
97 | Sandeep S. Kulkarni, Ali Ebnenasir |
Automated Synthesis of Multitolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 209-, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
95 | Elisabeth Ball, Michael J. Butler |
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 104-129, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
94 | Sandeep S. Kulkarni, Ali Ebnenasir |
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(3), pp. 201-215, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance |
92 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 25-43, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
87 | Sandeep S. Kulkarni, Ali Ebnenasir |
Enhancing The Fault-Tolerance of Nonmasking Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 441-449, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
81 | Joshua Haines, Vijay Lakamraju, Israel Koren, C. Mani Krishna 0001 |
Application-Level Fault Tolerance as a Complement to System-Level Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 16(1-2), pp. 53-68, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
beam forming, fault tolerance, checkpointing, target tracking, distributed real-time systems, imprecise computation |
80 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Complexity of Adding Failsafe Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 337-344, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis |
77 | Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora |
FTSyn: a framework for automatic synthesis of fault-tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 10(5), pp. 455-471, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
77 | Anish Arora, Sandeep S. Kulkarni |
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(6), pp. 435-450, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Masking and nonmasking fault-tolerance, stepwise design formal methods, distributed systems, component based design, detectors, correctors |
76 | Vincenzo De Florio, Chris Blondia |
A survey of linguistic structures for application-level fault tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 40(2), pp. 6:1-6:37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Language support for software-implemented fault tolerance, reconfiguration and error recovery, separation of design concerns, software fault tolerance |
74 | Raviteja P. Reddy, Amit Acharyya, S. Saqib Khursheed |
Fault Tolerance in 3D-ICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 155-178, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
74 | Nektarios Georgios Tsoutsos, Michail Maniatakos |
Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 87-110, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
74 | Zbigniew Zielinski, Jan Chudzikiewicz, Janusz Furtak |
An Approach to Integrating Security and Fault Tolerance Mechanisms into the Military IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 111-128, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
74 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 275-296, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
74 | Franck Cappello, Laxmikant V. Kalé, Frank Mueller 0001, Keshav Pingali, Alexander Reinefeld |
09191 Abstracts Collection - Fault Tolerance in High-Performance Computing and Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fault Tolerance in High-Performance Computing and Grids ![In: Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
74 | Ytzhak H. Levendel |
Fault Tolerance Cost Effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 13-20, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | E. N. Elnozahy |
Fault Tolerance for Clusters of Workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 151-158, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Ram Chillarege |
Top Five Challenges Facing the Practice of Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 3-12, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Barry J. Gleeson |
Fault Tolerance: Why Should I Pay for It? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 66-77, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Farnam Jahanian |
Fault Tolerance in Embedded Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 237-249, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | David Powell |
Distributed Fault Tolerance - Lessons Learned from Delta-4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 199-217, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Jaynarayan H. Lala, Richard E. Harper |
Fault Tolerance in Embedded Real-Time Systems: Importance and Treatment of Common Mode Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 263-282, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Jim Lipkis, Marc Rozier |
Fault Tolerance Enablers in the CHORUS Microkernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 182-190, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
74 | Itsuo Takanami, Masaru Sato, Yun Ping Yang |
A Fault-Value Injection Approach for Multiple-Weight-Fault Tolerance of MNNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (3) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 3, pp. 515-520, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multi-layered neural network, weight fault, fault-tolerance, fault injection |
73 | Sandeep S. Kulkarni, Ali Ebnenasir |
Adding Fault-Tolerance Using Pre-synthesized Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings, pp. 72-90, 2005, Springer, 3-540-25723-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance |
73 | Piyush Maheshwari, Jinsong Ouyang |
Supporting fault-tolerance in heterogeneous distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 195-207, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling |
73 | Miaomiao Zhang, Zhiming Liu 0001, Charles Morisset, Anders P. Ravn |
Design and Verification of Fault-Tolerant Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 57-84, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, model checking, abstraction, real-time embedded systems |
71 | Liangmin Wang 0001, Jianfeng Ma 0001, Chao Wang 0085, A. C. Kot |
Fault and intrusion tolerance of wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Smriti Agrawal, Rama Shankar Yadav, Nabanita Das 0004 |
Multiple Fault Tolerance Patterns for Systems with Arbitrary Deadline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 173-178, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, fault tolerance, real time systems, checkpointing, Arbitrary deadline |
70 | Divakar Yadav, Michael J. Butler |
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 152-176, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
69 | Vincenzo De Florio, Geert Deconinck |
REL: A Fault Tolerance Linguistic Structure for Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 8-11 April 2002, Lund, Sweden, pp. 51-58, 2002, IEEE Computer Society, 0-7695-1549-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
linguistic support to software fault tolerance, dependability, software fault tolerance, error recovery |
68 | Geoffroy Vallée, Kulathep Charoenpornwattana, Christian Engelmann, Anand Tikotekar, Chokchai Leangsuksun, Thomas J. Naughton, Stephen L. Scott |
A Framework for Proactive Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 659-664, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
proactive fault tolerance, clustering, adaptation |
68 | Janis Putman |
Model for Fault Tolerance and Policy from RM-ODP Expressed in UML/OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 15-17 March 2000, Newport Beach, CA, USA, pp. 189-, 2000, IEEE Computer Society, 0-7695-0607-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, policy, OCL, behavior, RM-ODP |
68 | Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham |
Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA, pp. 79-89, 1997, IEEE Computer Society, 0-8186-8268-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation |
68 | Qaisar A. Malik, Johan Lilius, Linas Laibinis |
Model-Based Testing Using Scenarios and Event-B Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 177-195, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
68 | Alexei Iliasov, Budi Arief, Alexander B. Romanovsky |
Step-Wise Development of Resilient Ambient Campus Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 297-323, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
67 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky |
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 617-618, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
run-time management, fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches |
66 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan |
A Fault Tolerance Framework for CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 150-157, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
strong replica consistency, fault tolerance, interoperability, CORBA, transparency, replicated objects |
66 | Hovhannes A. Harutyunyan, Calin D. Morosan |
The global fault-tolerance of interconnection networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 171-176, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
global fault-tolerance, faulttolerance of minimum broadcast graphs, fault-tolerance |
66 | Luís Moura Silva, João Gabriel Silva, Simon Chapple, Lyndon Clarke |
Fault-tolerance on regular decomposition grid applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 358-365, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
regular decomposition grid applications, synchronization data partitioning, high-level support, PUL-RD, fault-tolerance, communication, fault tolerant computing, distribution, heterogeneity, checkpointing, synchronisation, software fault tolerance |
64 | Frank Olaf Sem-Jacobsen, Olav Lysne, Tor Skeie |
Combining Source Routing and Dynamic Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBAC-PAD ![In: 18th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2006), 17-20 October 2006, Ouro Preto, Minas Gerais, Brazil, pp. 151-158, 2006, IEEE Computer Society, 0-7695-2704-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
64 | Maitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd |
Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 306-313, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fault tolerance in transaction processing, Highly available database management systems (DBMS), Replicated DBMS, Software reliability, Fault injection |
63 | Jonathan Ezekiel, Alessio Lomuscio |
Combining fault injection and model checking to verify fault tolerance in multi-agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 113-120, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
fault tolerance, model checking, fault injection, epistemic logic |
62 | Fuad Abujarad, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 539-544, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Sebnem Bora, Oguz Dikenelli |
Implementing a Multi-agent Organization that Changes Its Fault Tolerance Policy at Run-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World VI, 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers, pp. 153-167, 2005, Springer, 3-540-34451-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Jaiganesh Balasubramanian, Aniruddha S. Gokhale, Douglas C. Schmidt, Nanbor Wang |
Towards Middleware for Fault-Tolerance in Distributed Real-Time and Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 8th IFIP WG 6.1 International Conference, DAIS 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 72-85, 2008, 978-3-540-68639-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Sandeep S. Kulkarni, Ali Ebnenasir |
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(4), pp. 348-355, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance |
61 | Guofei Gu, Prahlad Fogla, Wenke Lee, Douglas M. Blough |
DSO: Dependable Signing Overlay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings, pp. 33-49, 2006, 3-540-34703-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
P2P overlay, digital signing service, fault-tolerance, dependable, intrusion-tolerance |
61 | Fernando M. Gonçalves, Marcelino B. Santos, Isabel C. Teixeira, João Paulo Teixeira 0001 |
Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DFT ![In: 17th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2002), 6-8 November 2002, Vancouver, BC, Canada, Proceedings, pp. 216-224, 2002, IEEE Computer Society, 0-7695-1831-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
61 | Gabriela Schütz, Noélia S. C. Correia |
A multi-objective optimization approach for fault-tolerance provisioning in multi-radio hybrid wireless-optical broadband access networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 635-640, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
wireless-optical, fault-tolerance, heuristic, multi-objective optimization, access networks |
61 | Gopi Kandaswamy, Anirban Mandal, Daniel A. Reed |
Fault Tolerance and Recovery of Scientific Workflows on Computational Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 8th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2008), 19-22 May 2008, Lyon, France, pp. 777-782, 2008, IEEE Computer Society, 978-0-7695-3156-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault tolerance and recovery, resilient scientific workflows, scheduling, Computational grids |
61 | Habib M. Ammari, Sajal K. Das 0001 |
On computing conditional fault-tolerance measures for k-covered wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 309-316, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k-covered WSNs, conditional connectivity, conditional coverage, conditional fault-tolerance, forbidden faulty set |
61 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RODIN Book ![In: Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], pp. 226-240, 2006, Springer, 3-540-48265-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
61 | Deepti Srivastava, Priya Narasimhan |
Architectural support for mode-driven fault tolerance in distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
COTS systems, fault tolerance, distributed systems, software architecture, CORBA, replication, modes |
61 | Jinsong Ouyang, Piyush Maheshwari |
Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 14(3), pp. 207-232, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
reliable distributed applications, fault tolerance, message passing, checkpointing, rollback-recovery |
61 | Amey M. Kulkarni, Tinoosh Mohsenin |
SENSE: Sketching Framework for Big Data Acceleration on Low Power Embedded Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 201-214, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Atul Prasad Deb Nath, Tamzidul Hoque, Sandip Ray, Swarup Bhunia |
An Adaptable System-on-Chip Security Architecture for Internet of Things Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 61-85, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Subho Shankar Basu, Somanath Tripathy |
Secure Multicast Communication Techniques for IoT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 43-59, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Anirban Sengupta, Dipanjan Roy |
Low Cost Dual-Phase Watermark for Protecting CE Devices in IoT Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 21-41, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Durga Prasad Sahoo, Arnab Bag, Sikhar Patranabis, Debdeep Mukhopadhyay, Rajat Subhra Chakraborty |
Fault-Tolerant Implementations of Physically Unclonable Functions on FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 129-153, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Keerthi K. 0002, Indrani Roy, Aritra Hazra, Chester Rebeiro |
Formal Verification for Security in IoT Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 179-200, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Alif Ahmed, Farimah Farahmandi, Yousef Iskander, Prabhat Mishra 0001 |
Security and Trust Verification of IoT SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Fault Tolerance in Internet of Things ![In: Security and Fault Tolerance in Internet of Things - Technology, Communications and Computing, pp. 1-19, 2019, Springer, 978-3-030-02806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
61 | Franck Cappello, Laxmikant V. Kalé, Frank Mueller 0001, Keshav Pingali, Alexander Reinefeld (eds.) |
Fault Tolerance in High-Performance Computing and Grids, 03.05. - 08.05.2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fault Tolerance in High-Performance Computing and Grids ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
61 | Zheng Chen 0011, Luc Moreau 0001 |
Recording Process Documentation in the Presence of Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 196-219, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Ian J. Hayes |
Dynamically Detecting Faults via Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 85-103, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault detection, Integrity constraint, action system, real-time programming |
61 | Sadaf Mustafiz, Jörg Kienzle |
DREP: A Requirements Engineering Process for Dependable Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 220-250, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Ansgar Fehnker, Matthias Fruth, Annabelle McIver |
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 1-24, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lossy communication channels, simulation, wireless networks, Graphical modelling, probabilistic model checking |
61 | Marta Plaska, Marina Waldén, Colin F. Snook |
Documenting the Progress of the System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 251-274, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Progress diagram, Statemachines, Refinement Patterns, UML, Refinement, Graphical representation, Event-B, Action Systems, Stepwise development |
61 | Michael Fisher 0001, Boris Konev, Alexei Lisitsa 0001 |
Temporal Verification of Fault-Tolerant Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 44-56, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky |
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 324-341, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
61 | Michel Banâtre, Peter A. Lee (eds.) |
Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![Springer, 3-540-57767-X The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
61 | David Liddell |
Simple Design Makes Reliable Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 91-94, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Yennun Huang, Chandra M. R. Kintala, Pankaj Jalote |
Two Techniques for Transient Software Error Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 159-170, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Andrea J. Borr, Carol Wilhelmy |
Highly-Available Data Services for UNIX Client-Server Networks: Why Fault Tolerant Hardware Isn't the Answer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 285-304, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Ofir Amir, Yair Amir, Danny Dolev |
A Highly Available Application in the Transis Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 125-139, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Jeremy Jones, Brian A. Coghlan |
Stable Disk - A Fault Tolerant Cached RAID Subsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 78-90, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Jack J. Stiffler |
Fault Tolerant Architectures - Past, Present, and (?) Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 117-121, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Rod Bark |
Fault Tolerant Platforms for Emerging Telecommunications Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 229-236, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Kenneth P. Birman |
Reliable Enterprise Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 140-150, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Santosh K. Shrivastava |
Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 218-226, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Dhiraj K. Pradhan, Debendra Das Sharma, Nitin H. Vaidya |
Roll-Forward Checkpointing Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 95-116, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | W. Kent Fuchs, Wen-mei W. Hwu, Neal J. Alewine |
Application of Compiler-Assisted Rollback Recovery to Speculative Execution Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 45-65, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Gilles Muller |
A Reliable Client-Server Model on Top of a Micro-Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 191-198, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Hermann Kopetz |
The Systematic Design of Large Real-Time Systems or Interface Simplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 250-262, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Jehan-François Pâris |
The Management of Replicated Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 305-311, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Peter A. Lee |
Software-Faults: The Remaining Problem in Fault Tolerant Systems? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 171-181, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | Michel Banâtre, Alain Gefflaut, Christine Morin |
Scalable Shared Memory Multiprocessors: Some Ideas to Make Them Reliable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 29-44, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
61 | C. Douglass Locke |
Fault Tolerant Applications Systems: A Requirements Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hardware and Software Architectures for Fault Tolerance ![In: Hardware and Software Architectures for Fault Tolerance, Experiences and Perspecives [revised papers from a workshop at Le Mont Saint Michel, France, June 1993], pp. 21-25, 1993, Springer, 3-540-57767-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
59 | Alexander B. Romanovsky |
A looming fault tolerance software crisis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 32(2), pp. 1-4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, software engineering |
59 | Hyun C. Kim, V. S. S. Nair |
Application layer software fault tolerance for distributed object-oriented systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 199-204, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
application layer software fault tolerance, object failures, active object replication schemes, common interface, object-oriented programming, distributed processing, software fault tolerance, encapsulation, replicated objects, data encapsulation, distributed object-oriented systems, hardware failures |
59 | Balajee Kannan, Lynne E. Parker |
Metrics for quantifying system performance in intelligent, fault-tolerant multi-robot teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 951-958, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
58 | Timothy K. Tsai, Ravishankar K. Iyer |
Measuring Fault Tolerance with the FTAPE Fault Injection Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMB ![In: Quantitative Evaluation of Computing and Communication Systems, 8th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Performance Tools '95, 8th GI/ITG Conference on Measuring, Modeling and Evaluating Computing and Communication Systems, MMB '95, Heidelberg, Germany, September 20-22, 1995, Proceedings, pp. 26-40, 1995, Springer, 3-540-60300-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance measurement, stress-based injection, fault injection, workload generator |
58 | Christoforos N. Hadjicostis, George C. Verghese |
Coding approaches to fault tolerance in linear dynamic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(1), pp. 210-228, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
58 | Zbigniew Kalbarczyk, Ravishankar K. Iyer, Saurabh Bagchi, Keith Whisnant |
Chameleon: A Software Infrastructure for Adaptive Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 10(6), pp. 560-579, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Adaptive fault tolerance, high availability networked computing, extendible modular architecture, COTS, software-implemented fault tolerance |
57 | Timothy J. Shimeall, Nancy G. Leveson |
An Empirical Comparison of Software Fault Tolerance and Fault Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 173-182, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
fault elimination, run-time assertions, multiversion voting, stepwise abstraction, static data-flow analysis, project resources, fault tolerant computing, software reliability, software reliability, program testing, software fault tolerance, functional testing, structural testing, code reading |
57 | Ramesh Karri, Kyosun Kim, Miodrag Potkonjak |
Computer Aided Design of Fault-Tolerant Application Specific Programmable Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(11), pp. 1272-1284, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Application specific programmable processors, fault tolerance, graceful degradation, behavioral synthesis |
57 | Abderrahim Doumar, Hideo Ito |
Testing approach within FPGA-based fault tolerant systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 411-416, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
FPGA-based fault-tolerant systems, FPGA test strategy, configurable logic blocks, functional phase, on-chip configuration data shifting, shifting process control, test application, test observation, fault tolerance management logic, fault tolerance cost, chip functionality, delay overhead, Xilinx FPGA, fault tolerance, field programmable gate arrays, delays, integrated circuit testing, integrated logic circuits, testing time, user data, test phase |
57 | David L. Foster, Darrin M. Hanna |
Maximizing area-constrained partial fault tolerance in reconfigurable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 18th International Symposium on Field Programmable Gate Arrays, FPGA 2010, Monterey, California, USA, February 21-23, 2010, pp. 259-262, 2010, ACM, 978-1-60558-911-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
area-constrained, FPGA |
57 | HwaMin Lee, Doo-Soon Park, Min Hong, Sang-Soo Yeo, SooKyun Kim, SungHoon Kim |
A Resource Management System for Fault Tolerance in Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 609-614, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 9352 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|