Speculative program parallelization with scalable and decentralized runtime verification
- Sukumaran-Rajam, A.
- Martinez Caamaño, J.M.
- Wolff, W.
- Jimborean, A.
- Clauss, P.
ISSN: 1611-3349, 0302-9743
ISBN: 9783319111636
Year of publication: 2014
Volume: 8734 LNCS
Pages: 124-139
Type: Conference paper