Bernard Virot

Publication Activity (10 Years)

Years Active: 1994-1999
Publications (10 Years): 0

Publications

Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot
A Cost Model for Asynchronous and Structured Message Passing. Euro-Par (1999)
Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot
A Structured Synchronization and Communication Model Fitting Irregular Data Accesses. J. Parallel Distributed Comput. 50 (1/2) (1998)
Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot
SCL-chan: An Asynchronous Data-Parallel Language for Irregular Algorithms. HIPS (1997)
Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot
A general but simple technique to handle asynchronous data-parallel control structures. PDP (1997)
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) (1997)
Yann Le Guyadec, Bernard Virot
Sequential-like Proofs of Data-Parallel Programs. Parallel Process. Lett. 6 (3) (1996)
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)
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)
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)
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)