Résultats 1 à 8

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (2)
  • Toulouse 3 (2)
  • Grenoble (1)
  • Paris Saclay (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, ISAE (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (6)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (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
  • français (6)
  • anglais (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cassé Hugues (2)
  • Fernandez Jean-Claude (1)
  • Gotlieb Arnaud (1)
  • Jensen Thomas (1)
  • Monsuez Bruno (1)
  • Morio Jérôme (1)
  • Puaut Isabelle (1)
  • Rochange Christine (1)
  • Rohou Erven (1)
  • Santinelli Luca (1)
  • Sotin Pascal (1)
  • Wolff Burkhart (1)
  • Wolfler-Calvo Roberto (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (7)
  • Informatique, information, généralités (1)

Domaines :

Fullscreen

8 thèses pour "Chemins infaisables"

...Chemins Infaisables : un Modèle Formel et un AlgorithmeMots clefs : Test de logiciels, génération...

Accéder en ligne

...problème elle-m me.Le nombre de chemins infaisables détectés, l e cacité de la factorisation des...

Accéder en ligne

...`me. Elle estbase´e sur des variables de pre´ce´dence et sur des contraintes de chemins infaisables...

Accéder en ligne
Réseaux, télécoms, systèmes et architecture

Soutenue le 15-12-2016
thèse soutenue

...fournies, sont traduites en chemins infaisables et repre´sente´es sous formed’automates qui les interdisent...

Accéder en ligne
Informatique

Soutenue le 09-10-2015
thèse soutenue

...entiers (PLNE).Les information de flot sur les programme (bornes de boucles, chemins infaisables etc...

Accéder en ligne

...chemins infaisables lors de l execution de la tache.26code sourcede la tachecompilationexecutableanalysede...

Accéder en ligne

...Øcision et les chemins infaisables ne sont jamais pris en compte durant l’analyse.4.3 Extension de l...

Accéder en ligne

Résultats 1 à 8