Search results for "fault-containment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
76	Robert Schaefer	Systems of systems and coordinated atomic actions.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
66	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
65	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
55	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.	SSS	2006	DBLP DOI BibTeX RDF	Composition, Self-stabilization, Minimum Spanning Tree, Median, Fault-containment
52	Dan Teodosiu 0002, Joel Baxter, Kinshuk Govil, John Chapin, Mendel Rosenblum, Mark Horowitz	Hardware Fault Containment in Scalable Shared-Memory Multiprocessors.	ISCA	1997	DBLP DOI BibTeX RDF
47	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
45	Mark Lanus	Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards.	ISAS	2007	DBLP DOI BibTeX RDF	Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model
44	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular disco: resource management using virtual clusters on shared-memory multiprocessors.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	virtual machines, resource managment, fault containment, scalable multiprocessors
43	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Probabilistic Fault-Containment.	SSS	2007	DBLP DOI BibTeX RDF
41	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Timer-Based Composition of Fault-Containing Self-stabilizing Protocols.	IDC	2008	DBLP DOI BibTeX RDF	composition, self-stabilization, timer, fault-containment
41	Hermann Kopetz	Fault Containment and Error Detection in the Time-Triggered Architecture.	ISADS	2003	DBLP DOI BibTeX RDF
40	Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa	A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
39	Chung-Ho Chen, Arun K. Somani	Fault Containment in Cache Memories for TMR Redundant Processor Systems.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	error detection and recovery, Caches, transient faults, fault-containment, redundant systems
38	Toshimitsu Masuzawa, Sébastien Tixeuil	A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
38	Frédéric Salles, Jean Arlat, Jean-Charles Fabre	Can we rely on COTS microkernels for building fault-tolerant systems?	FTDCS	1997	DBLP DOI BibTeX RDF	COTS microkernels, functional primitives, fault containment mechanisms, detection mechanisms, Chorus microkernel, embedded fault-tolerant systems, commercial executives, dependability, fault injection, application program interfaces, API, safety-critical systems, fault-tolerant systems, application software, Commercial-Off-The-Shelf components
38	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Fault-Containment in Weakly-Stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
32	Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	MetaKernels and Fault Containment Wrappers.	FTCS	1999	DBLP DOI BibTeX RDF
29	Christof Fetzer, Zhen Xiao	Detecting Heap Smashing Attacks through Fault Containment Wrappers.	SRDS	2001	DBLP DOI BibTeX RDF
28	Nidhi Aggarwal, Parthasarathy Ranganathan, Norman P. Jouppi, James E. Smith 0001	Configurable isolation: building high availability systems with commodity multi-core processors.	ISCA	2007	DBLP DOI BibTeX RDF	chip multiprocessors, high availability, fault isolation
28	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems.	DATE	2006	DBLP DOI BibTeX RDF
26	Lei Luo 0004, Ming-Yuan Zhu	Partitioning based operating system: a formal model.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
26	Arshad Jhumka, Martin Hiller, Neeraj Suri	Component-Based Synthesis of Dependable Embedded Software.	FTRTFT	2002	DBLP DOI BibTeX RDF
26	Jean-Charles Fabre	On the Use of COTS Microkernels for Dependable Systems.	ISADS	1999	DBLP DOI BibTeX RDF
23	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors.	SOSP	1999	DBLP DOI BibTeX RDF
23	Daniel Onwuchekwa, Roman Obermaisser	Fault Injection Framework for Assessing Fault Containment of TTEthernet Against Babbling Idiot Failures.	IWQoS	2018	DBLP DOI BibTeX RDF
21	Sven Köhler 0001, Volker Turau	Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap.	ICDCS	2010	DBLP DOI BibTeX RDF	single transient faults, self-stabilization, fault-containment
21	Tetz C. Huang	An efficient fault-containing self-stabilizing algorithm for the shortest path problem.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Single-fault situation, Stabilization time, Shortest path problem, Fault-containment, Self-stabilizing algorithm
21	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
21	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.	PODC	2004	DBLP DOI BibTeX RDF	sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
21	Ji-Cherng Lin, Tetz C. Huang	An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment
21	Ted Herman	Superstabilizing Mutual Exclusion.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Self-stabilization, Mutual exclusion, Fault-containment
21	Ted Herman	Phase Clocks for Transient Fault Repair.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive
21	Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju	Fault-containing network protocols.	SAC	1997	DBLP DOI BibTeX RDF	fault-containment network, fault-tolerance, self-stabilization
21	H. Jedidi, Béchir el Ayeb	A distributed simulation based monitoring.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed simulation based monitoring, MSS, computer-based monitoring system, integrated cooperative objects, object-based framework, cooperating objects model, high performance algorithms, monitoring tasks, control assistant, hierarchical design style, complex control tools, software reuse, system design, inheritance, dynamic system, encapsulation, blackboard architecture, blackboard architecture, fault containment, object oriented methodologies
20	Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng	Mapping of Fault-Tolerant Applications with Transparency on Distributed Embedded Systems*.	DSD	2006	DBLP DOI BibTeX RDF
20	Raymond A. Paul, Ann T. Tai	Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?	HASE	1999	DBLP DOI BibTeX RDF
18	Anurag Dasgupta, David Tan, Koushik Majumder	Simulation Experiments of a Distributed Fault Containment Algorithm Using Randomized Scheduler.	ICACIS	2022	DBLP DOI BibTeX RDF
18	Volker Turau	Computing Fault-Containment Times of Self-Stabilizing Algorithms Using Lumped Markov Chains.	Algorithms	2018	DBLP DOI BibTeX RDF
18	Moisés Urbina, Roman Obermaisser	Evaluation of Performance and Fault Containment in AUTOSAR Micro-ECUs on a Multi-Core Processor.	MCSoC	2018	DBLP DOI BibTeX RDF
18	Juan R. Pimentel, Jennifer Bastiaan	Characterizing the Safety of Self-Driving Vehicles: A Fault Containment Protocol for Functionality Involving Vehicle Detection.	ICVES	2018	DBLP DOI BibTeX RDF
18	Volker Turau	Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping.	SSS	2017	DBLP DOI BibTeX RDF
18	Volker Turau	Analyzing the Fault-Containment Time of Self-Stabilizing Algorithms - A Case Study for Graph Coloring.	CoRR	2014	DBLP BibTeX RDF
18	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Fault containment in weakly stabilizing systems.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Sven Köhler 0001, Volker Turau	Space-Efficient Fault-Containment in Dynamic Networks.	SSS	2011	DBLP DOI BibTeX RDF
18	Shaya Potter, Jason Nieh	Apiary: Easy-to-Use Desktop Application Fault Containment on Commodity Operating Systems.	USENIX Annual Technical Conference	2010	DBLP BibTeX RDF
18	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Hierarchical Composition of Self-Stabilizing Protocols Preserving the Fault-Containment Property.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
18	Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein	Preserving the Fault-Containment of Ring Protocols Executed on Trees.	Comput. J.	2009	DBLP DOI BibTeX RDF
18	Hongwei Zhang 0001, Anish Arora	Guaranteed fault containment and local stabilization in routing.	Comput. Networks	2006	DBLP DOI BibTeX RDF
18	Håkan Sivencrona	On the Design and Validation of Fault Containment Regions in Distributed Communication Systems.		2004	RDF
18	Titos Saridakis	Design Patterns for Fault Containment.	EuroPLoP	2003	DBLP BibTeX RDF
18	Dan Teodosiu 0002	End-to-end fault containment in scalable shared-memory multiprocessors.		2000	RDF
18	Kaushik Ghosh, Allan J. Christie	Communication Across Fault-Containment Firewalls on the SGI Origin.	HPCA	1998	DBLP DOI BibTeX RDF
18	John Chapin	HIVE: operating system fault containment for shared-memory multiprocessors.		1997	RDF
18	Sukumar Ghosh, Arobinda Gupta	An Exercise in Fault-Containment: Self-Stabilizing Leader Election.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
18	Mendel Rosenblum, John Chapin, Dan Teodosiu 0002, Scott Devine, Tirthankar Lahiri, Anoop Gupta	Implementing Efficient Fault Containment for Multiprocessors: Confining Faults in a Shared-Memory Multiprocessor Environment.	Commun. ACM	1996	DBLP DOI BibTeX RDF
18	John Chapin, Mendel Rosenblum, Scott Devine, Tirthankar Lahiri, Dan Teodosiu 0002, Anoop Gupta	Hive: Fault Containment for Shared-Memory Multiprocessors.	SOSP	1995	DBLP DOI BibTeX RDF
18	Edgar Nett, Beatrice Weiler	Nested Dynamic Actions - How to Solve the Fault Containment Problem in a Cooperative Action Model.	SRDS	1994	DBLP DOI BibTeX RDF
14	Ananda Challaghatta Muniyappa	Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software.	SAFECOMP	2007	DBLP DOI BibTeX RDF
14	Hermann Kopetz	TTA Supported Service Availability.	ISAS	2005	DBLP DOI BibTeX RDF
14	Hermann Kopetz	An Integrated Architecture for Dependable Embedded Systems.	SRDS	2004	DBLP DOI BibTeX RDF
14	Daisuke Kondou, Hideo Masuda, Toshimitsu Masuzawa	A Self-Stabilizing Protocol for Pipelined PIF in Tree Networks.	ICDCS	2002	DBLP DOI BibTeX RDF
11	Michal Wegiel, Chandra Krintz	XMem: type-safe, transparent, shared memory for cross-runtime communication and coordination.	PLDI	2008	DBLP DOI BibTeX RDF	class loading, managed runtimes, type-safe, parallel, synchronization, garbage collection, shared memory, transparent, interprocess communication
11	John S. Fitzgerald	Dependability-Explicit Computing: Applications in e-Science and Virtual Organisations.	FIDJI	2004	DBLP DOI BibTeX RDF
11	Felix C. Gärtner, Henning Pagnia	Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF