The following pages link to Sandeep S. Kulkarni (Q287218):
Displaying 9 items.
- 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)
- Automated constraint-based addition of nonmasking and stabilizing fault-tolerance (Q555302) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- Automation of fault-tolerant graceful degradation (Q1733388) (← links)
- Principles of Distributed Systems (Q5466229) (← links)
- Brief announcement: Fully lattice linear algorithms (Q6155259) (← links)
- Extending Lattice Linearity for Self-stabilizing Algorithms (Q6488448) (← links)
