G.-L. Baron < G.-R. Perrin < Gabriel Dos Reis

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 24.
[0-20] [0 - 20][0 - 24][20-23][20-40]

Ident.	Authors (with country if any)	Title
003665 (1992)	G.-R. Perrin ; J.-P. Finance	Communication Relations : A Paradigm for Parallel Program Design
003932 (1991)	M.-C. Eglin ; J. Julliand ; G.-R. Perrin	Compiling Equations in Asynchronous Communicating Processes
003C42 (1990)	J. Julliand ; G.-R. Perrin	Asynchronous Functional Parallel Programs
003D99 (1989)	N. Lazrak ; G.-R. Perrin ; J.-P. Finance	Verification of Elementary Properties in Abstract Data Types
003F38 (1988)	C. Mongenet ; G.-R. Perrin	Synthesis of Heterogeneous Systolic Arrays
003F71 (1988)	A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. Perrin	Spécification et réalisation des types de communication
004009 (1987)	G.-R. Perrin	Programmation parallèle : point de vue sur les langages et les méthodes
004013 (1987)	P. Clauss ; C. Mongenet ; G.-R. Perrin	Synthèse de réseaux systoliques hétérogènes avec SYSTOL
004015 (1987)	J. Julliand ; M. Marmonier ; G.-R. Perrin	La conception des programmes parallèles dans le projet COMETE
004050 (1987)	S. Chanudet ; G.-R. Perrin	Une expression descriptive des relations de communication dans un programme parallèle
004058 (1987)	G.-R. Perrin	A communication based specification language for concurrent programming
004074 (1987)	C. Mongenet ; G.-R. Perrin	Synthesis of systolic arrays for inductive problems
004088 (1987)	G.-R. Perrin ; J.-P. Finance	Paradigms for parallel program design
004120 (1987)	G.-R. Perrin	La communication dans la spécification de programmes parallèles
004130 (1987)	Ph. Clauss ; C. Mongenet ; G.-R. Perrin	Synthesis of Efficient Systolic Arrays for Matrix Algebra Problems
004215 (1986)	G.-R. Perrin ; J.-P. Finance	Parallel program design by reasoning on communication specification
004228 (1986)	J.-P. Finance ; C. Gresse ; P. Jacquet ; G.-R. Perrin ; A. Quéré	Raisonner pour programmer
004274 (1986)	A. Koukam ; J.-P. Finance ; J. Julliand ; G.-R. Perrin	Réalisation des types de communication en ADA
004317 (1985)	C. Mongenet ; G.-R. Perrin	SYSTOL : un logiciel de conception automatique de réseaux systoliques
004349 (1985)	G.-R. Perrin	La communication : un outil pour la spécification, la construction et la vérification de systèmes parallèles
004370 (1985)	J. Julliand ; G.-R. Perrin	Towards a methodology for concurrent programming

---

List of associated KwdEn.i

Nombre de documents	Descripteur
9	parallelism
6	communication
6	parallel programming
5	program development
5	specification
4	program construction
4	program synthesis
4	systolic architectures
2	program design
2	representation
1	abstract data type
1	ada
1	algebraic type
1	asynchronous communications
1	asynchronous interpretation
1	communicating processes
1	compilation
1	concurrency
1	concurrent programming
1	distributed systems
1	equational language
1	equations
1	formal specification
1	functional language
1	natural semantics
1	processus
1	program developments
1	programming languages
1	programming methodology
1	programming paradigms
1	proof system
1	recurrence equations
1	refinement
1	software design
1	strategies
1	synchronization
1	synthesis
1	systolic arrays
1	tactic
1	tactics
1	transformation

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "G.-R. Perrin" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "G.-R. Perrin" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    G.-R. Perrin
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022