( en | de | ru )

 

Disambiguierung von "Kulkarni, Sandeep S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Multi-graceful Degradation: A Case Study.

, und . SRDS, Seite 81-90. IEEE Computer Society, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sandeep S Patil

Jagadish Kulkarni

Praveen Kulkarni

Suchita Kulkarni

Aniket Kulkarni

 

Weitere Publikationen von Autoren mit dem selben Namen

ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks., und . S-CUBE, Volume 24 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 158-173. Springer, (2009)Automating the Addition of Fault-Tolerance., und . FTRTFT, Volume 1926 von Lecture Notes in Computer Science, Seite 82-93. Springer, (2000)Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough., , und . ESORICS, Volume 5283 von Lecture Notes in Computer Science, Seite 82-96. Springer, (2008)Compositional Design of Multitolerant Repetitive Byzantine Agreement., und . FSTTCS, Volume 1346 von Lecture Notes in Computer Science, Seite 169-183. Springer, (1997)Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs., , und . LOPSTR, Volume 3573 von Lecture Notes in Computer Science, Seite 36-52. Springer, (2004)Session Guarantees with Raft and Hybrid Logical Clocks., , , , , , und . CoRR, (2018)Starvation Freedom in Multi-Version Transactional Memory Systems., , , und . CoRR, (2017)Stabilizing Causal Deterministic Merge., und . WSS, Volume 2194 von Lecture Notes in Computer Science, Seite 183-199. Springer, (2001)Revising UNITY Programs: Possibilities and Limitations., , und . OPODIS, Volume 3974 von Lecture Notes in Computer Science, Seite 275-290. Springer, (2005)Brief Announcement: Verification of Stabilizing Programs with SMT Solvers., und . SSS, Volume 7596 von Lecture Notes in Computer Science, Seite 179-182. Springer, (2012)