Get started
Author

Bernard Virot

Observed names: B. VIROT, B. Virot, Virot, Bernard
OpenAlex ID: A5071102771
Simulated annealing algorithm : technical improvements
1998 · D. Delamarre, B. Virot · RAIRO - Operations Research · 11
PDF
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language
1997 · Luc Bougé, David Cachera, et al. · Theoretical Computer Science · 8
PDF
A Loosely Synchronized Execution Model for a Simple Data-Parallel Language.
1996 · Le Guyadec, Yann, Melin, Emmanuel, et al. · HAL · 5
A Structured Synchronization and Communication Model Fitting Irregular Data Accesses
1998 · Emmanuel Melin, Bruno Raffin, et al. · Journal of Parallel and Distributed Computing · 4
Sequential-like Proofs of Data-parallel Programs
1996 · Y. LE GUYADEC, B. VIROT · Parallel Processing Letters · 4
Structural Clocks for a Loosely Synchronized Data-Parallel Language
1996 · Yann Le Guyadec, Emmanuel Melin, et al. · 4
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language
1994 · Luc Bougé, Yann Le Guyadec, et al. · 4
A loosely synchronized execution model for a simple data-parallel language (extended abstract)
1996 · Yann Le Guyadec, Emmanuel Melin, et al. · Lecture notes in computer science · 3
Formal validation of data parallel programs: Introducing the assertional approach
1996 · L. Bougé, D. Cachera, et al. · Lecture notes in computer science · 3
A Cost Model For Asynchronous and Structured Message Passing⋆
1999 · Emmanuel Melin, Bruno Raffin, et al. · Lecture notes in computer science · 2
A General but Simple Technique to Handle Asynchronous Data-Parallel Control Structures
1997 · Emmanuel Melin, Bruno Raffin, et al. · 2
On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)
1994 · Luc Bougé, Yann Le Guyadec, et al. · Lecture notes in computer science · 2
Modèles d'opérateurs linéaires et translations unilatérales simples
1972 · Bernard Virot · Bulletin de la Société mathématique de France · 1
PDF
SCL-Chan: an asynchronous data-parallel language for irregular algorithms
2002 · E. Melin, B. Raffin, et al. · High-Level Parallel Programming Models and Supportive Environments
A symbolic cost model for asynchronous parallel programs with structured dependences
2002 · Melin, Emmanuel, Raffin, Bruno, et al. · HAL
A Cost Model For Asynchronous and Structured Massage Passing
1999 · Melin, Emmanuel, Raffin, Bruno, et al. · HAL
A Simple Synchronization and Communication Multi-threaded Library for Automatic Distribution of Irregular Sequential Code
1998 · Emmanuel Melin, Bruno Raffin, et al.
Implementation on Cray T3D/T3E of SCL - Chan, a Programming Language Unifying Data and Task Parallelism
1997 · Emmanuel Melin, Bruno Raffin, et al.
A Structured Synchronization and Communication Model Fitting Irregular Data Accesses
1997 · Emmanuel Melin, Bruno Raffin, et al.
A Learning Rule Safe From Local Minima for a Generalized Perceptron
1996 · Bruno Raffin, Bernard Virot, et al.
Algorithmique neuronale
1995 · Raffin, Bruno, Virot, Bernard · HAL
A Proofe System for a Simple Data-Parallel Programming Language
1994 · Luc Bougé, Yann Le Guyadec, et al.
Works count: 29
Citation count: 53
H-index: 4
I10-index: 1
Year
Topic
Type