Search results for "Multitolerance"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
122	Arshad Jhumka, Neeraj Suri	Designing Efficient Fail-Safe Multitolerant Systems.	FORTE	2005	DBLP DOI BibTeX RDF	multitolerance, safety specification, program transformation, automation, program synthesis, Detectors, fail-safe
89	Anish Arora, Sandeep S. Kulkarni	Component Based Design of Multitolerant Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	compositional design, interference-freedom, stepwise design, fault-tolerance, Formal methods, dependability, graceful degradation, detectors, correctors
66	Jingshu Chen, Sandeep S. Kulkarni	Complexity Analysis of Weak Multitolerance.	ICDCS	2010	DBLP DOI BibTeX RDF	Multitolerance, Fault tolerance, Formal methods, Program synthesis
33	George B. Mertzios	Multitolerance Graphs.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
33	Archontia C. Giannopoulou, George B. Mertzios	New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs.	SIAM J. Discret. Math.	2016	DBLP DOI BibTeX RDF
33	Archontia C. Giannopoulou, George B. Mertzios	New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs.	STACS	2015	DBLP DOI BibTeX RDF
33	George B. Mertzios	An Intersection Model for Multitolerance Graphs: Efficient Algorithms and Hierarchy.	Algorithmica	2014	DBLP DOI BibTeX RDF
33	Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni	The Complexity of Adding Multitolerance.	ACM Trans. Auton. Adapt. Syst.	2014	DBLP DOI BibTeX RDF
33	Archontia C. Giannopoulou, George B. Mertzios	New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs.	CoRR	2014	DBLP BibTeX RDF
33	George B. Mertzios	An Intersection Model for Multitolerance Graphs: Efficient Algorithms and Hierarchy.	SODA	2011	DBLP DOI BibTeX RDF
33	Sandeep S. Kulkarni, Ali Ebnenasir	Automated Synthesis of Multitolerance.	DSN	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
33	Sandeep S. Kulkarni, Anish Arora	Multitolerance in Distributed Reset.	Chic. J. Theor. Comput. Sci.	1998	DBLP BibTeX RDF
33	Andreas Parra	Triangulating Multitolerance Graphs.	Discret. Appl. Math.	1998	DBLP DOI BibTeX RDF

Displaying result #1 - #13 of 13 (100 per page; Change: )