Résultats 1 à 5

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (2)
  • Grenoble Alpes (1)
  • Nice (1)
  • Paris, ENMP (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Sciences appliquées (2)
  • Informatique (1)
  • Informatique temps réel, robotique et automatique (1)
  • Sciences. Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (4)
  • anglais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Feautrier Paul (2)
  • Attali Isabelle (1)
  • Caromel Denis (1)
  • Irigoin François (1)
  • Monniaux David (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (2)
  • Sciences de l'ingénieur (2)
  • Informatique, information, généralités (1)

Domaines :

Fullscreen

Analyse interprocedurale du flot des donnees

par ARNAULD LESERVOT sous la direction de Paul Feautrier - Paris 6

Sciences appliquées

Soutenue en 1996
thèse soutenue

...analyse interprocédurale de programmes, éventuelle-ment récursifs. Nous proposons un algorithme qui génère...

Accéder en ligne
Informatique temps réel, robotique et automatique

Soutenue le 24-06-2013
thèse soutenue

Résultats 1 à 5