Automatic safety proofs for asynchronous memory operations

Botincan, Matko, Dodds, Mike, Donaldson, Alastair F., Parkinson, Matthew J.

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Volume:

Langue:

english

Journal:

ACM SIGPLAN Notices

DOI:

10.1145/2038037.1941605

Date:

September, 2011

Fichier:

PDF, 302 KB

english, 2011

La conversion en est effectuée

La conversion en a échoué