Login / Signup
Trace driven dynamic deadlock detection and reproduction.
Malavika Samak
Murali Krishna Ramanathan
Published in:
PPOPP (2014)
Keyphrases
</>
deadlock detection
distributed database systems
distributed systems
information systems
case study
database
data processing
manufacturing systems
communication protocol