The following pages link to Sandeep S. Kulkarni (Q287218):
Displaying 31 items.
- Multitolerant barrier synchronization (Q287220) (← links)
- (Q391244) (redirect page) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- Assurance of dynamic adaptation in distributed systems (Q436856) (← links)
- (Q555301) (redirect page) (← links)
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (Q555302) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- A token based \(k\)-resilient mutual exclusion algorithm for distributed systems (Q1327305) (← links)
- Biased clocks: a novel approach to improve the ability to perform predicate detection with \(O(1)\) clocks (Q1713926) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- Automatic addition of conflicting properties (Q2007913) (← links)
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems (Q2139092) (← links)
- Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks (Q2204779) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)
- Resettable vector clocks (Q2369664) (← links)
- (Q2766635) (← links)
- Bounded Auditable Restoration of Distributed Systems (Q2989511) (← links)
- (Q4259995) (← links)
- (Q4446609) (← links)
- (Q4457213) (← links)
- (Q4603447) (← links)
- Weakest Invariant Generation for Automated Addition of Fault-Tolerance (Q5170186) (← links)
- Resettable vector clocks (Q5176788) (← links)
- Ensuring Average Recovery with Adversarial Scheduler (Q5363814) (← links)
- (Q5363825) (← links)
- Effectiveness of Delaying Timestamp Computation (Q5368975) (← links)
- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs (Q5458792) (← links)
- Principles of Distributed Systems (Q5466229) (← links)
- Brief announcement: Fully lattice linear algorithms (Q6155259) (← links)