Dynamic Verification for Hybrid Concurrent Programming Models.

Erdal Mutlu Vladimir Gajinov Adrián Cristal Serdar Tasiran Osman S. Unsal

Published in: RV (2014)

Keyphrases

statistical models
concurrent programming
model selection
database
object oriented
general purpose
dynamic environments
complex systems
formal verification
hybrid models