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 GroppVolume:
40
Année:
2010
Langue:
english
Pages:
1
DOI:
10.1002/spe.946
Fichier:
PDF, 1.42 MB
english, 2010