Search results for "nonmasking"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
154	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
139	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Masking and nonmasking fault-tolerance, stepwise design formal methods, distributed systems, component based design, detectors, correctors
120	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
72	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
66	Fuad Abujarad, Sandeep S. Kulkarni	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.	SRDS	2009	DBLP DOI BibTeX RDF	nonmasking, constraint based, stabilization, distributed programs, program synthesis
34	Alex P. Klinkhamer, Ali Ebnenasir	On the Hardness of Adding Nonmasking Fault Tolerance.	IEEE Trans. Dependable Secur. Comput.	2015	DBLP DOI BibTeX RDF
34	Fuad Abujarad, Sandeep S. Kulkarni	Automated constraint-based addition of nonmasking and stabilizing fault-tolerance.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
34	Anish Arora, Mohamed G. Gouda, George Varghese	Constraint satisfaction as a basis for designing nonmasking fault-tolerance.	J. High Speed Networks	1996	DBLP DOI BibTeX RDF
34	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault Tolerance via Nonmasking Fault Tolerance.	SRDS	1995	DBLP DOI BibTeX RDF
34	Anish Arora, Mohamed G. Gouda, George Varghese	Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.	Specification of Parallel Algorithms	1994	DBLP DOI BibTeX RDF
34	Anish Arora, Mohamed G. Gouda, George Varghese	Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.	ICDCS	1994	DBLP DOI BibTeX RDF
34	Anish Arora	Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs.	FTRTFT	1994	DBLP DOI BibTeX RDF
24	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
24	Hiroko Ishii, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems.	SRDS	2002	DBLP DOI BibTeX RDF
24	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF