Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kulkarni, Sandeep"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Towards scalable model checking of self-stabilizing programs
Jingshu Chen
,
Fuad Abujarad
,
Sandeep Kulkarni
Journal Parallel Distributed Computing
73
(4), 2013, pp. 400-410
MR4UM: A framework for adding fault tolerance to UML state diagrams
Jingshu Chen
,
Sandeep Kulkarni
Theoretical Computer Science
496
, 2013, pp. 17-33
Facilitating the design of fault tolerance in transaction level SystemC programs
Ali Ebnenasir
,
Reza Hajisheykhi
,
Sandeep S. Kulkarni
Theoretical Computer Science
496
, 2013, pp. 50-68
Assurance of dynamic adaptation in distributed systems
Karun N. Biyani
,
Sandeep S. Kulkarni
Journal Parallel Distributed Computing
68
(8), 2008, pp. 1097-1112
Terminating alternator
Sandeep S. Kulkarni
Parallel Processing Letters
17
(4), 2007, pp. 379-390
Resettable vector clocks
Anish Arora
,
Sandeep S. Kulkarni
,
Murat Demirbas
Journal Parallel Distributed Computing
66
(2), 2006, pp. 221-237
Alternators in read/write atomicity
Sandeep S. Kulkarni
,
Chase Bolen
,
John Oleszkiewicz
,
Andrew Robinson
Information Processing Letters
93
(5), 2005, pp. 207-215
Low-cost fault-tolerance in barrier synchronizations
Sandeep S. Kulkarni
,
Anish Arora
Proceedings of the 1998 International Conference on Parallel Processing, ICPP'98 (Minneapolis, Minnesota, August 10-14, 1998)
, 1998, pp. 132-139
Multitolerant barrier synchronization
Sandeep S. Kulkarni
,
Anish Arora
Information Processing Letters
64
(1), 1997, pp. 29-36
Compositional design of multitolerant repetitive Byzantine agreement
Sandeep S. Kulkarni
,
Anish Arora
Lecture Notes in Computer Science
1346
, 1997, pp. 169-183
A token based
k
-resilient mutual exclusion algorithm for distributed systems
Dhananjay M. Dhamdhere
,
Sandeep S. Kulkarni
Information Processing Letters
50
, 1994, pp. 151-157