Login / Signup
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
Hosein Nazarpour
Yliès Falcone
Saddek Bensalem
Marius Bozga
Published in:
Formal Aspects Comput. (2017)
Keyphrases
</>
multi threaded
real time
distributed systems
computational complexity
markov random field
efficient implementation
information systems
scheduling problem
general purpose
computer systems
information flow
highly scalable