Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification.
Certains problèmes nécessitent des performances que seules les machines massivement parallèles<br />ou les méta-ordinateurs peuvent offrir. L'écriture d'algorithmes pour ce type de machines demeure<br />plus difficile que pour celles strictement séquentielles et la conception d...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Paris XII Val de Marne
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00110831 http://tel.archives-ouvertes.fr/docs/00/11/08/31/PDF/gava-these.pdf http://tel.archives-ouvertes.fr/docs/00/11/08/31/ANNEX/these.ppt |