|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28 occurrences of 12 keywords
|
|
|
Results
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 |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|