Technique et science informatiques Vol.17 N° 5/Mai 1998

Portage de code pour architectures hautes performances. A methodology for porting code to high performances computers. Approche parallèle asynchrone et générique pour l'étiquetage d'image en composantes connexes. An asynchronous and genetic approach for image labeling problem. Prouver des programmes ALPHA : l'approche externe. Proving Apha programs correct : the external approach. Un algorithme auto-stabilisant en dépit de communications non fiables. A sef-stabilizing algorithm in spite of unreliable communication media. Sur la nature auto-similaire de l'activité de stations de travail et de serveeurs HTTP. On the self-similar nature of workstations and WWW servers workload.