Développement systématique et sûreté d'exécution en programmation parallèle structurée
Exprimer le parallélisme dans la programmation de manière simple et performante est un défi auquel l'informatique fait face, en raison de l'évolution actuelle des architectures matérielles. BSML est un langage permettant une programmation parallèle de haut niveau, structurée, qui participe...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université Paris-Est
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00481376 http://tel.archives-ouvertes.fr/docs/00/48/13/76/PDF/2009PEST0004_0_1.pdf |