2009 |
36 | EE | Samir Jafar,
Axel W. Krings,
Thierry Gautier:
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing.
IEEE Trans. Dependable Sec. Comput. 6(1): 32-44 (2009) |
2008 |
35 | EE | Hugo Metivier,
Jean-Pierre Talpin,
Thierry Gautier,
Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems.
DIPES 2008: 45-56 |
34 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language.
ECBS 2008: 182-190 |
33 | EE | Daouda Traoré,
Jean-Louis Roch,
Nicolas Maillard,
Thierry Gautier,
Julien Bernard:
Deque-Free Work-Optimal Parallel STL Algorithms.
Euro-Par 2008: 887-897 |
32 | EE | Xavier Besseron,
Thierry Gautier:
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications.
MCO 2008: 497-506 |
31 | EE | Ma Yue,
Jean-Pierre Talpin,
Thierry Gautier:
Virtual prototyping AADL architectures in a polychronous model of computation.
MEMOCODE 2008: 139-148 |
30 | EE | Xavier Besseron,
Laurent Pigeon,
Thierry Gautier,
Samir Jafar:
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables.
Technique et Science Informatiques 27(3-4): 395-425 (2008) |
2007 |
29 | EE | Thierry Gautier,
Jean-Louis Roch,
Frédéric Wagner:
Fine Grain Distributed Implementation of a Dataflow Language with Provable Performances.
International Conference on Computational Science (2) 2007: 593-600 |
28 | EE | Thierry Gautier,
Xavier Besseron,
Laurent Pigeon:
KAAPI: A thread scheduling runtime system for data flow computations on cluster of multi-processors.
PASCO 2007: 15-23 |
27 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Paul Le Guernic,
Jean-Pierre Talpin:
Polychronous design of embedded real-time applications.
ACM Trans. Softw. Eng. Methodol. 16(2): (2007) |
2006 |
26 | EE | Jean-Pierre Talpin,
Christian Brunette,
Thierry Gautier,
Abdoulaye Gamatié:
Polychronous mode automata.
EMSOFT 2006: 83-92 |
25 | EE | Abdoulaye Gamatié,
Christian Brunette,
Romain Delamare,
Thierry Gautier,
Jean-Pierre Talpin:
A Modeling Paradigm for Integrated Modular Avionics Design.
EUROMICRO-SEAA 2006: 134-143 |
24 | EE | Jean-Guillaume Dumas,
Thierry Gautier,
Pascal Giorgi,
Clément Pernet:
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
CoRR abs/cs/0601133: (2006) |
23 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Paul Le Guernic:
Synchronous design of avionic applications based on model refinement.
J. Embedded Computing 2(3-4): 273-289 (2006) |
2005 |
22 | EE | Samir Jafar,
Thierry Gautier,
Axel W. Krings,
Jean-Louis Roch:
A Checkpoint/Recovery Model for Heterogeneous Dataflow Computations Using Work-Stealing.
Euro-Par 2005: 675-684 |
21 | EE | El Mostafa Daoudi,
Thierry Gautier,
Aicha Kerfali,
Rémi Revire,
Jean-Louis Roch:
Algorithmes parallèles à grain adaptatif et applications.
Technique et Science Informatiques 24(5): 505-524 (2005) |
2004 |
20 | EE | Thierry Gautier,
Hamid-Reza Hamidi:
Automatic re-scheduling of dependencies in a RPC-based grid.
ICS 2004: 89-94 |
19 | | Thierry Gautier,
Hamid-Reza Hamidi:
High Performance Composition of Services with Data Dependencies on a Computational Grid.
PDPTA 2004: 801-805 |
18 | EE | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
Electr. Notes Theor. Comput. Sci. 88: 87-103 (2004) |
2003 |
17 | EE | Abdoulaye Gamatié,
Thierry Gautier:
The SIGNAL Approach to the Design of System Architectures.
ECBS 2003: 80-88 |
16 | EE | Abdoulaye Gamatié,
Thierry Gautier:
Synchronous Modeling of Avionics Applications using the SIGNAL Languag.
IEEE Real Time Technology and Applications Symposium 2003: 144-151 |
15 | EE | Rémi Revire,
Florence Zara,
Thierry Gautier:
Efficient and Easy Parallel Implementation of Large Numerical Simulations.
PVM/MPI 2003: 663-666 |
2002 |
14 | EE | Jean-Guillaume Dumas,
Thierry Gautier,
Clément Pernet:
Finite field linear algebra subroutines.
ISSAC 2002: 63-74 |
2001 |
13 | EE | Jean-René Beauvais,
Éric Rutten,
Thierry Gautier,
Roland Houdebine,
Paul Le Guernic,
Y.-M. Tang:
Modeling statecharts and activitycharts as signal equations.
ACM Trans. Softw. Eng. Methodol. 10(4): 397-451 (2001) |
1999 |
12 | EE | Thierry Gautier,
Niklaus Mannhart:
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation.
Euro-Par 1999: 1466-1475 |
11 | EE | Jacques Chassin de Kergommeaux,
Yves Denneulin,
Thierry Gautier:
Parallel Computing for Irregular Applications.
HPCA 1999: 321 |
10 | EE | Pierre-Eric Bernard,
Thierry Gautier,
Denis Trystram:
Large Scale Simulation of Parallel Molecular Dynamics.
IPPS/SPDP 1999: 638-644 |
9 | EE | Irina M. Smarandache,
Thierry Gautier,
Paul Le Guernic:
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.
World Congress on Formal Methods 1999: 1364-1383 |
1998 |
8 | EE | Jean-René Beauvais,
Roland Houdebine,
Paul Le Guernic,
Éric Rutten,
Thierry Gautier:
A Translation of Statecharts into Signal Approach of Time, Interoperability.
ACSD 1998: 52- |
1997 |
7 | | David Nowak,
Jean-Pierre Talpin,
Thierry Gautier,
Paul Le Guernic:
An ML-Like Module System for the Synchronous Language SIGNAL.
Euro-Par 1997: 1244-1253 |
1995 |
6 | | Thierry Gautier,
Jean-Louis Roch,
Gilles Villard:
Regular versus Irregular Problems and Algorithms.
IRREGULAR 1995: 1-25 |
5 | | Pascal Aubry,
Thierry Gautier:
GC: the Data-Flow Graph Format of Synchronous Programming.
Intermediate Representations Workshop 1995: 83-93 |
1994 |
4 | EE | Michel Auguin,
Mohamed Belhadj,
Judith Benzakki,
C. Carrière,
Guy Durrieu,
Thierry Gautier,
Michel Israël,
Paul Le Guernic,
Michel Lemaître,
E. Martin,
P. Quinton,
Laurence Rideau,
François Rousseau,
Olivier Sentieys:
Towards a multi-formalism framework for architectural synthesis: the ASAR project.
CODES 1994: 25-32 |
1989 |
3 | | Thierry Gautier,
B. Le Goff:
From Synchronous Intensional Programming to Efficient Implementation.
IEEE Real-Time Systems Symposium 1989: 249-257 |
1987 |
2 | | Thierry Gautier,
Paul Le Guernic:
SIGNAL: A declarative language for synchronous programming of real-time systems.
FPCA 1987: 257-277 |
1986 |
1 | | Thierry Gautier,
Paul Le Guernic,
Albert Benveniste,
Patricia Bournai:
Programming Real-Time with Events and Data Flow.
IFIP Congress 1986: 469-474 |