Derivation systematique d'automates de vision a partir de resultats d'emulation

par IVAN KRALJIC

Thèse de doctorat en Sciences appliquées

Sous la direction de G. QUENOT.

Soutenue en 1996

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these est l'aboutissement d'une recherche visant a concevoir une methodologie globale de conception systematique de circuits integres de traitement d'images en temps reel. Un des objectifs etait de favoriser les experimentations lors de la mise au point des algorithmes, ce qui a mene a la creation d'un emulateur dedie (le calculateur fonctionnel) et au developpement d'un environnement d'emulation. L'objet de cette these a ete la conception et la mise en uvre d'un outil de generation automatique de circuits integres derives du calculateur fonctionnel: la derivation a partir de resultats d'emulation. Le terme de synthese n'est pas adapte a la technique decrite dans cette these ; la synthese comportementale commence avec une specification comportementale, alors que la technique de derivation a pour point de depart l'architecture validee lors de l'emulation. La derivation consiste a optimiser automatiquement l'architecture validee pendant l'emulation dans le but de la rendre integrable. Le developpement d'une technique de conception ad hoc a ete motive par le caractere systematique de la methode globale. La recherche de l'automaticite et de l'efficacite de la technique de derivation, mais aussi le souci de minimiser l'effort de validation des circuits ainsi concus ont ete a la base de la derivation. La technique de derivation a ete mise en uvre sur plusieurs algorithmes de traitement d'images en temps reel


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 156 P.
  • Annexes : 174 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013057
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.