Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Virot, Bernard"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A cost model for asynchronous and structured message passing
Emmanuel Melin
,
Bruno Raffin
,
Xavier Rebeuf
,
Bernard Virot
Lecture Notes in Computer Science
1685
, 1999, pp. 552-556
A structured synchronization and communication model fitting irregular data accesses
Emmanuel Melin
,
Bruno Raffin
,
Xavier Rebeuf
,
Bernard Virot
Journal Parallel Distributed Computing
50
(1-2), 1998, pp. 3-27
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
Theoretical Computer Science
189
(1-2), 1997, pp. 71-107
A loosely synchronized execution model for a simple data-parallel language
Yann Le-Guyadec
,
Emmanuel Melin
,
Bruno Raffin
,
Xavier Rebeuf
,
Bernard Virot
Lecture Notes in Computer Science
1123
, 1996, pp. 732-741
On the expressivity of a weakest precondition calculus for a simple data-parallel programming language (short version)
Luc Bougé
,
Yann Le Guyadec
,
Gil Utard
,
Bernard Virot
Lecture Notes in Computer Science
854
, 1994, pp. 100-111