Login / Signup
Automatic generation of deadlock detection algorithms for a family of microarchitecture description languages of communication fabrics.
Freek Verbeek
Julien Schmaltz
Published in:
HLDVT (2012)
Keyphrases
</>
deadlock detection
distributed database systems
description languages
data structure
data mining
computational complexity
management system
distributed systems
orders of magnitude
communication protocol
inter organizational workflow