| 1999 |
|---|
| 9 | EE | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Cost Model for Asynchronous and Structured Message Passing.
Euro-Par 1999: 552-556 |
| 1998 |
|---|
| 8 | | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Structured Synchronization and Communication Model Fitting Irregular Data Accesses.
J. Parallel Distrib. Comput. 50(1/2): 3-27 (1998) |
| 1997 |
|---|
| 7 | EE | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
SCL-chan: An Asynchronous Data-Parallel Language for Irregular Algorithms.
HIPS 1997: 64- |
| 6 | | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A general but simple technique to handle asynchronous data-parallel control structures.
PDP 1997: 189-198 |
| 5 | EE | Luc Bougé,
David Cachera,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Theor. Comput. Sci. 189(1-2): 71-107 (1997) |
| 1996 |
|---|
| 4 | | Yann Le Guyadec,
Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).
Euro-Par, Vol. I 1996: 732-741 |
| 3 | | Luc Bougé,
David Cachera,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
The Data Parallel Programming Model 1996: 252-281 |
| 1994 |
|---|
| 2 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
A Proofe System for a Simple Data-Parallel Programming Language.
Applications in Parallel and Distributed Computing 1994: 63-72 |
| 1 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
CONPAR 1994: 100-111 |
