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.
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

Année de publication: 2014

Volumen: 8734

Pages: 124-139

Type: Article

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