Thèse nationale

Thèse nationale

Compilation optimisante et formellement prouvée pour un processeur VLIW

Compilation optimisante et formellement prouvée pour un processeur VLIW

B. Dadi

Espagne

Universidad Cardenal Herrera-CEU
Date de soutenance: 29-02-1996

Président

EDWARD Camilla
Dutch Delta University

Rapporteur

RAMONA Cody
Tilburg University

Rapporteur

ANGELICA Uma
University of Portsmouth

Rapporteur

IMANI Jacqueline
Grenoble Ecole de Management

Examinateur

YOSHI Madison
Ecole des Hautes Etudes Commerciales

Membre du jury

IRA Angelica
Ecole Catholique d'Arts & Metiers