Transformations syntaxiques de programmes signal

par Bruno Chéron

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 1991

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Cette these est une contribution au developpement du langage signal dont les objectifs sont la specification et la mise en uvre d'applications temps reel. Signal releve a la fois des principes de la programmation synchrone et de ceux de la programmation flots de donnees. Ces principes permettent de repondre aux problemes de determinisme, de surete de fonctionnement et d'observabilite du comportement des systemes temps reel de facon beaucoup plus satisfaisante que la programmation asynchrone des langages tels qu'ada et occam. Cependant, cette superiorite ne doit pas etre acquise au detriment de la souplesse d'expression et des performances en temps d'execution. Aussi avons-nous etudie comment signal repondait a ces imperatifs et plus particulierement dans trois domaines: la gestion des tableaux et des traitements iteratifs: nous avons propose des solutions pour augmenter la souplesse d'expression en signal et developper une mise en uvre efficace d'entites vectorielles propres a signal; les optimisations en temps de calcul et en espace memoire independantes de la machine cible, realisables sur les programmes signal; l'execution parallele sur une machine multi-processeur de programmes signal compiles separement: nous avons mis en uvre sur l'ipsc/2 une application composee de plusieurs programmes signal dans le but de reveler les besoins au niveau de la compilation separee de programmes signal devant cooperer

  • Titre traduit

    Syntactic transformations of signal programs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (137 p.)
  • Annexes : 52 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-CHE
  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1991/103
  • Bibliothèque : Ecole nationale supérieure des sciences appliquées et de technologie. Bibliothèque.
  • Disponible pour le PEB
  • Cote : C 3. CHE.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.