About: Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus   Goto Sponge  NotDistinct  Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
type
Thesis advisor
Author
dc:subject
  • Ada (langage de programmation)
  • Communication
  • Thèses et écrits académiques
  • Parallélisme (informatique)
  • Parallélisme
  • Transformation
  • LISP (langage de programmation)
preferred label
  • Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus
Language
Subject
dc:title
  • Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus
Degree granting institution
note
  • Le travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conception modulaire fondée sur la séparation de la description des communications de l'écriture de processus. Notre premier objectif est d'élaborer une démarche pour automatiser la transformation des types ce communication en programmes Ada. Mais la distance est grande entre cette expression abstraite et statique de la communication et le programme final dynamique et efficace. Aussi avons-nous été conduit à décomposer le processus de transformation en plusieurs étapes fondées sur des règles de transformation. Deux classes de règles sont ainsi mise en évidence : les règles
dc:type
  • Text
http://iflastandar...bd/elements/P1001
rdaw:P10219
  • 1990
has content type
is primary topic of
is rdam:P30135 of
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software