Speculative program parallelization with scalable and decentralized runtime verification

  1. Sukumaran-Rajam, A.
  2. Caamaño, J.M.M.
  3. Wolff, W.
  4. Jimborean, A.
  5. Clauss, P.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

Any de publicació: 2014

Volum: 8734

Pàgines: 124-139

Tipus: Article

DOI: 10.1007/978-3-319-11164-3_11 GOOGLE SCHOLAR