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="Girault, Alain"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Reliability and performance optimization of pipelined real-time systems
Anne Benoit
,
Fanny Dufossé
,
Alain Girault
,
Yves Robert
Journal Parallel Distributed Computing
73
(6), 2013, pp. 851-865
Reliability versus performance for critical applications
Alain Girault
,
Érik Saule
,
Denis Trystram
Journal Parallel Distributed Computing
69
(3), 2009, pp. 326-336
Elimination of redundant messages with a two-pass static analysis algorithm
Alain Girault
Parallel Computing
28
(3), 2002, pp. 433-453
An algorithm for reducing binary branchings
Paul Caspi
,
Jean-Claude Fernandez
,
Alain Girault
Lecture Notes in Computer Science
1026
, 1995, pp. 279-293
Execution of distributed reactive systems
Paul Caspi
,
Alain Girault
Lecture Notes in Computer Science
966
, 1995, pp. 15-26