Speculative Program Parallelization with Scalable and Decentralized Runtime Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamaño, Willy Wolff, Alexandra Jimborean, Philippe Clauss. Speculative Program Parallelization with Scalable and Decentralized Runtime Verification. In Borzoo Bonakdarpour, Scott A. Smolka, editors, Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Volume 8734 of Lecture Notes in Computer Science, pages 124-139, Springer, 2014. [doi]

This author has not been identified. Look up 'Aravind Sukumaran-Rajam' in GoogleThis author has not been identified. Look up 'Juan Manuel Martinez Caamaño' in GoogleThis author has not been identified. Look up 'Willy Wolff' in GoogleThis author has not been identified. Look up 'Alexandra Jimborean' in GoogleThis author has not been identified. Look up 'Philippe Clauss' in Google

runs on WebDSL