1 |
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
|
|
|
|
In: Journées Francophones des Langages Applicatifs ; (JFLA) ; https://hal.archives-ouvertes.fr/hal-00592542 ; (JFLA), 2011, France. pp.117-146 (2011)
|
|
BASE
|
|
Show details
|
|
2 |
Systematic development and safety of execution in structured parallel programming ; Développement systématique et sûreté d’exécution en programmation parallèle structurée
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00481376 ; Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
|