STRAB: state recovery using reverse execution at IR level for concurrent programs.

Shinji Hoshino Yoshitaka Arahori Katsuhiko Gondow

Published in: SAC (2021)

Keyphrases

information retrieval
concurrent programs
failure recovery
database
case study
data model
real time
expert systems
web applications
fine grained