Search results for "nonmasking"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	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
2	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
1	Fuad Abujarad, Sandeep S. Kulkarni	Automated constraint-based addition of nonmasking and stabilizing fault-tolerance.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	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
1	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
1	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
1	Hiroko Ishii, Hirotsugu Kakugawa	A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems.	SRDS	2002	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault Tolerance via Nonmasking Fault Tolerance.	SRDS	1995	DBLP BibTeX RDF
1	Anish Arora, Mohamed G. Gouda, George Varghese	Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance.	ICDCS	1994	DBLP BibTeX RDF
1	Anish Arora	Efficient Reconfiguration of Trees: A Case Study in Methodical Design of Nonmasking Fault-Tolerant Programs.	FTRTFT	1994	DBLP DOI BibTeX RDF