 | 1999 |
|---|
| 10 |       | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Cost Model for Asynchronous and Structured Message Passing.
Euro-Par 1999: 552-556 |
| 1998 |
|---|
| 9 |  | 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 |
|---|
| 8 | | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
SCL-chan: An Asynchronous Data-Parallel Language for Irregular Algorithms.
HIPS 1997: 64- |
| 7 | | Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A general but simple technique to handle asynchronous data-parallel control structures.
PDP 1997: 189-198 |
| 6 | | 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 |
|---|
| 5 | | 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 |
| 4 | | 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 |
| 3 | | Yann Le Guyadec,
Bernard Virot:
Sequential-like Proofs of Data-Parallel Programs.
Parallel Processing Letters 6(3): 415-426 (1996) |
| 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 |
