Résultats 1 à 3

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (1)
  • Paris Saclay (1)
  • Rennes 1 (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (2)
  • Mathématiques et Informatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Comon-Lundh Hubert (1)
  • Monin Jean-François (1)
  • Roch Jean-louis (1)
  • Rohou Erven (1)
  • Seznec André (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (3)

    Domaines :

    Fullscreen

    3 thèses pour "Mémoïsation"

    Informatique

    Soutenue le 10-05-2016
    thèse soutenue

    ...LLVM qui peut permettre la me´mo¨ısation pour toute fonc-tion du programme, ainsi qu’une proposition d...

    Accéder en ligne
    Mathématiques et Informatique

    En préparation depuis le 11-04-2018
     thèse en cours de préparation

    ...from [[φ]] or [[ψ]] (depending on the oracles internal bit).The algorithm B uses a memoisation...

    Accéder en ligne

    Résultats 1 à 3