Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Formal methods applied to high-performance computing...

Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking

Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
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:
40
Année:
2010
Langue:
english
Pages:
1
DOI:
10.1002/spe.946
Fichier:
PDF, 1.42 MB
english, 2010
La conversion en est effectuée
La conversion en a échoué