Specification and synthesis of hardware checkpointing and rollback mechanisms.
Carven ChanDaniel Schwartz-NarbonneDivjyot SethiSharad MalikPublished in: DAC (2012)
Keyphrases
- low overhead
- hardware and software
- low cost
- distributed databases
- fault tolerance
- control program
- real time
- personal computer
- formal specification
- hardware implementation
- high level
- load balancing
- computer systems
- massively parallel
- database
- distributed database systems
- distributed systems
- vlsi implementation
- main memory databases
- conceptual model
- energy efficient
- mechanism design
- program synthesis
- e learning