Un système formel de transformation de programmes pour leur exécution sur machines parallèles

Un système formel de transformation de programmes pour leur exécution sur machines parallèles

.

Bibliographic Details
Main Author:	Yu, Xiaobo
Language:	FRE
Published:	1992
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation programmation transformationnelle programmation parallèle système de transformation lois algébrique de transformation vérification formelle placement de programmes machines parallèles:mémoire distribuée
Online Access:	http://tel.archives-ouvertes.fr/tel-00341778 http://tel.archives-ouvertes.fr/docs/00/34/17/78/PDF/Yu.Xiaobo_1992_these.pdf

Similar Items

Fonctions et généricité dans un langage de programmation parallèle
by: Hufflen, Jean-Michel
Published: (1989)

Algorithmes parallèles de simulation physique pour la synthèse d'images : application à l'animation de textiles
by: Zara, Florence
Published: (2003)

Programmation parallèle et programmation fonctionnelle‎ : propositions pour un langage
by: Cisneros Gascon, Maria Del Pilar
Published: (1984)

Programmation de calculateur massivement parallèles : application à la factorisation d'entiers
by: Philippe, Jean-Laurent
Published: (1990)

Algèbre de programmes dans un univers type
by: Bensalem, Saddek
Published: (1985)

Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
by: Autant, Cyril
Published: (1993)

Environnement de programmation parallèle: application au langage Prolog
by: Morel, Eric
Published: (1996)

Environnement d'exécution parallèle : conception et architecture
by: Maciel Da Costa, Celso
Published: (1993)

Une perspective relationnelle de la programmation
by: Mili, Ali
Published: (1985)

Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
by: Cousot, Patrick
Published: (1978)

Athapascan-1 : interface générique pour l'ordonnancement dans un environnement d'exécution parallèle
by: Cavalheiro, Gerson Geraldo Homrich
Published: (1999)

Athapascan-1 : vers un modèle de programmation parallèle adapté au calcul scientifique
by: Doreille, Mathias
Published: (1999)

Calcul Haute-Performance et Mécanique Quantique : analyse des ordonnancements en temps et en mémoire
by: Maillard, Nicolas
Published: (2001)

Observation d'exécutions parallèles
by: Chassin de Kergommeaux, Jacques
Published: (2000)

Procédures de base pour le calcul scientifique sur machines parallèles à mémoire distribuée
by: Desprez, Frédéric
Published: (1994)

Programmation dynamique et traitement d'images sur machines parallèles à mémoire distribuée
by: Miguet, Serge
Published: (1990)

Aspects non numériques de la programmation algol
by: Nguyen, Huu Dung
Published: (1965)

Prévision et décision en programmation linéaire stochastique
by: Lemarie, J.-M.
Published: (1967)

PARX : architecture de noyau de système d'exploitation parallèle
by: Langue Tsobgny, Yves Bertrand
Published: (1991)

Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation
by: Mermet, Jean
Published: (1970)

Vérification-correction de programme pour la prise en compte des incertitudes en programmation automatique des robots
by: Puget, Pierre
Published: (1989)

Spécification et vérification formelles des systèmes de composants répartis
by: Barros, Tomás
Published: (2005)

Modélisation et simulation des systèmes de production : une approche orientée-objets
by: Ye, Xiaojun
Published: (1994)

Algorithmique parallèle pour les machines à mémoire distribuées (applications aux algorithmes matriciels)
by: Tourancheau, Bernard
Published: (1989)

Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets
by: Walter, Claudio
Published: (1981)

Synthèse de programmes : connaissances et déduction dans les domaines d'application
by: Brena, Ramon
Published: (1989)

Preuves et stratégies pour la synthèse déductive de programmes
by: Potet, Marie-Laure
Published: (1988)

Mémoires reconfigurables à accès aléatoire et à semi-conducteurs
by: Ayache, Jean-Michel
Published: (1978)

Un cadre conceptuel pour la programmation par objets des architectures parallèles distribuées : application à l'algèbre linéaire
by: Guidec, Frédéric
Published: (1995)

Évaluation de la Performance et de la Correction de Systèmes Distribués
by: Rosa, Cristian
Published: (2011)

Projet SOCRATE (2-2) : Gestion des mémoires
by: Beaume, Georges
Published: (1970)

Contribution à l'étude des algorithmes de l'optimisation non convexe et non différentiable
by: Benacer, Rachid
Published: (1986)

Contribution à l'étude et à la programmation des méthodes morphologiques de créativité
by: Boaventura Netto, Paulo Oswaldo
Published: (1970)

Quelques programmes graphiques d'analyse numérique
by: Petit, Marc
Published: (1971)

Validation formelle des langages à parallélisme de données
by: Cachera, David
Published: (1998)

Model checking parallèle et réparti de réseaux de Petri colorés de haut-niveau : application à la vérification automatique de programmes Ada concurrents
by: Pajault, Christophe
Published: (2008)

Méthodes de pénalités logarithmiques en optimisation combinatoire
by: Rapacchi, Bernard
Published: (1982)

Une étude sur la base de la programmation algorithmique‎ : notation et environnement de travail
by: Morat, Philippe
Published: (1983)

Résolution séquentielles et parallèles des problèmes de découpe / placement
by: Saadi, Toufik
Published: (2008)

Visualisation de l'exécution des programmes pour l'enseignement de la programmation
by: Liem, Inggriani
Published: (1989)