Bernard Virot

According to our database, Bernard Virot authored at least 10 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

A Cost Model for Asynchronous and Structured Message Passing.

Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

A Structured Synchronization and Communication Model Fitting Irregular Data Accesses.

Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot

J. Parallel Distributed Comput., 1998

1997

Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.

Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot

Theor. Comput. Sci., 1997

A general but simple technique to handle asynchronous data-parallel control structures.

Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot

Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997

SCL-chan: An Asynchronous Data-Parallel Language for Irregular Algorithms.

Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot

Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), 1997

1996

Sequential-like Proofs of Data-Parallel Programs.

Yann Le Guyadec, Bernard Virot

Parallel Process. Lett., 1996

A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).

Yann Le Guyadec, Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.

Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot

Proceedings of the Data Parallel Programming Model: Foundations, 1996

1994

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.

Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot

Proceedings of the Parallel Processing: CONPAR 94, 1994

A Proofe System for a Simple Data-Parallel Programming Language.

Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot

Proceedings of the Applications in Parallel and Distributed Computing, 1994