default search action
Thierry Gautier
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c94]Romain Pereira, Adrien Roussel, Miwako Tsuji, Patrick Carribault, Mitsuhisa Sato, Hitoshi Murai, Thierry Gautier:
An Overview on Mixing MPI and OpenMP Dependent Tasking on A64FX. HPC Asia Workshops 2024: 7-16 - 2023
- [j24]Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin:
The polychronous model of computation and Kahn process networks. Sci. Comput. Program. 228: 102958 (2023) - [c93]Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier:
Investigating Dependency Graph Discovery Impact on Task-based MPI+OpenMP Applications Performances. ICPP 2023: 163-172 - [c92]Pierre-Étienne Polet, Ramy Fantar, Thierry Gautier:
Introducing Moldable Tasks in OpenMP. IWOMP 2023: 51-65 - [c91]Romain Pereira, Maël Martin, Adrien Roussel, Patrick Carribault, Thierry Gautier:
Suspending OpenMP Tasks on Asynchronous Events: Extending the Taskwait Construct. IWOMP 2023: 66-80 - [c90]Idriss Daoudi, Thierry Gautier, Samuel Thibault, Swann Perarnau:
Improving Simulations of Task-Based Applications on Complex NUMA Architectures. IWOMP 2023: 195-209 - 2022
- [c89]Manuel Ferat, Romain Pereira, Adrien Roussel, Patrick Carribault, Luiz Angelo Steffenel, Thierry Gautier:
Enhancing MPI+OpenMP Task Based Applications for Heterogeneous Architectures with GPU Support. IWOMP 2022: 3-16 - 2021
- [c88]Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas:
X-Aevol: GPU implementation of an evolutionary experimentation simulator. GECCO Companion 2021: 1317-1325 - [c87]Romain Pereira, Adrien Roussel, Patrick Carribault, Thierry Gautier:
Communication-Aware Task Scheduling Strategy in Hybrid MPI+OpenMP Applications. IWOMP 2021: 197-210 - [c86]Hai Nam Tran, Alexandre Honorat, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs. SAMOS 2021: 259-271 - [c85]Thierry Gautier, João V. F. Lima:
Evaluation of two topology-aware heuristics on level- 3 BLAS library for multi-GPU platforms. SC (Workshops) 2021: 12-22 - 2020
- [j23]Cyril Labbé, Guillaume Cabanac, Rachael A. West, Thierry Gautier, Bertrand Favier, Jennifer A. Byrne:
Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection? Scientometrics 124(2): 1139-1156 (2020) - [c84]Laurent Turpin, Thierry Gautier, Jonathan Rouzaud-Cornabas, Christian Pérez:
P-Aevol: An OpenMP Parallelization of a Biological Evolution Simulator, Through Decomposition in Multiple Loops. IWOMP 2020: 52-66 - [c83]Idriss Daoudi, Philippe Virouleau, Thierry Gautier, Samuel Thibault, Olivier Aumage:
sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects. IWOMP 2020: 197-211 - [c82]Thierry Gautier, João V. F. Lima:
XKBlas: a High Performance Implementation of BLAS-3 Kernels on Multi-GPU Server. PDP 2020: 1-8
2010 – 2019
- 2019
- [j22]Thierry Gautier, Clément Guy, Alexandre Honorat, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard:
Polychronous automata and their use for formal validation of AADL models. Frontiers Comput. Sci. 13(4): 677-697 (2019) - [j21]Joao Vicente Ferreira Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier:
Performance and energy analysis of OpenMP runtime systems with dense linear algebra algorithms. Int. J. High Perform. Comput. Appl. 33(3) (2019) - [c81]Jérôme Richard, Guillaume Latu, Julien Bigot, Thierry Gautier:
Fine-Grained MPI+OpenMP Plasma Simulations: Communication Overlap with Dependent Tasks. Euro-Par 2019: 419-433 - [c80]Hai Nam Tran, Alexandre Honorat, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard:
Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-Bank Memory. ICECCS 2019: 114-123 - 2018
- [c79]Thierry Gautier, Christian Pérez, Jérôme Richard:
On the Impact of OpenMP Task Granularity. IWOMP 2018: 205-221 - [c78]Hai Nam Tran, Shuvra S. Bhattacharyya, Jean-Pierre Talpin, Thierry Gautier:
Toward Efficient Many-core Scheduling of Partial Expansion Graphs. SCOPES 2018: 100-103 - 2017
- [c77]Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz:
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems. RTNS 2017: 158-167 - [c76]João V. F. Lima, Issam Raïs, Laurent Lefèvre, Thierry Gautier:
Performance and Energy Analysis of OpenMP Runtime Systems with Dense Linear Algebra Algorithms. SBAC-PAD (Workshops) 2017: 7-12 - [c75]Hamid-Reza Hamidi, Shokoh Kermanshahani, Thierry Gautier:
Time Collection: An Abstraction for Shared Objects in Parallel Programming. TopHPC 2017: 263-274 - 2016
- [j20]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Jean-Louis Roch, Ziad Sultan:
Recursion based parallelization of exact dense linear algebra routines for Gaussian elimination. Parallel Comput. 57: 235-249 (2016) - [c74]Philippe Virouleau, François Broquedis, Thierry Gautier, Fabrice Rastello:
Using Data Dependencies to Improve Task-Based Scheduling Strategies on NUMA Architectures. Euro-Par 2016: 531-544 - [c73]Loïc Besnard, Thierry Gautier, Clément Guy, Paul Le Guernic, Jean-Pierre Talpin, Brian R. Larson, Etienne Borde:
Formal semantics of behavior specifications in the architecture analysis and design language standard. HLDVT 2016: 30-39 - [c72]Philippe Virouleau, Adrien Roussel, François Broquedis, Thierry Gautier, Fabrice Rastello, Jean-Marc Gratien:
Description, Implementation and Evaluation of an Affinity Clause for Task Directives. IWOMP 2016: 61-73 - 2015
- [j19]João V. F. Lima, Thierry Gautier, Vincent Danjean, Bruno Raffin, Nicolas Maillard:
Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures. Parallel Comput. 44: 37-52 (2015) - [j18]Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu:
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony. Sci. Comput. Program. 106: 54-77 (2015) - [c71]Thierry Gautier, Jean-Louis Roch, Ziad Sultan, Bastien Vialla:
Parallel algebraic linear algebra dedicated interface. PASCO 2015: 34-43 - [c70]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Translation Validation for Clock Transformations in a Synchronous Compiler. FASE 2015: 171-185 - [c69]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier:
Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler. FORTE 2015: 66-80 - [c68]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools. SCOPES 2015: 109-112 - [c67]Paul Le Guernic, Thierry Gautier, Jean-Pierre Talpin, Loïc Besnard:
Polychronous Automata. TASE 2015: 95-102 - 2014
- [c66]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan:
Parallel Computation of Echelon Forms. Euro-Par 2014: 499-510 - [c65]Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram:
Scheduling Data Flow Program in XKaapi: A New Affinity Based Algorithm for Heterogeneous Architectures. Euro-Par 2014: 560-571 - [c64]Philippe Virouleau, Pierrick Brunet, François Broquedis, Nathalie Furmento, Samuel Thibault, Olivier Aumage, Thierry Gautier:
Evaluation of OpenMP Dependent Tasks with the KASTORS Benchmark Suite. IWOMP 2014: 16-29 - [c63]Adnan Bouakaz, Thierry Gautier:
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. MEMOCODE 2014: 2-11 - [c62]Ke Sun, Loïc Besnard, Thierry Gautier:
Optimized distribution of synchronous programs via a polychronous model. MEMOCODE 2014: 42-51 - [c61]Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin:
Earliest-deadline first scheduling of multiple independent dataflow graphs. SiPS 2014: 292-297 - [i6]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan:
Parallel computation of echelon forms. CoRR abs/1402.3501 (2014) - [i5]Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram:
Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures. CoRR abs/1402.6601 (2014) - 2013
- [j17]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal verification of synchronous data-flow program transformations toward certified compilers. Frontiers Comput. Sci. 7(5): 598-616 (2013) - [j16]Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel:
Exploring system architectures in AADL via Polychrony and SynDEx. Frontiers Comput. Sci. 7(5): 627-649 (2013) - [j15]Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous modeling, analysis, verification and simulation for timed software architectures. J. Syst. Archit. 59(10-D): 1157-1170 (2013) - [c60]Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loïc Besnard, Maurice Heitz:
Toward polychronous analysis and validation for timed software architectures in AADL. DATE 2013: 1173-1178 - [c59]Mathias Ettinger, François Broquedis, Thierry Gautier, Stéphane Ploix, Bruno Raffin:
VtkSMP: Task-based Parallel Operators for VTK Filters. EGPGV@Eurographics 2013: 41-48 - [c58]Thierry Gautier, Fabien Le Mentec, Vincent Faucher, Bruno Raffin:
X-kaapi: A Multi Paradigm Runtime for Multicore Architectures. ICPP 2013: 728-735 - [c57]Thierry Gautier, João V. F. Lima, Nicolas Maillard, Bruno Raffin:
XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures. IPDPS 2013: 1299-1308 - [c56]Marie Durand, François Broquedis, Thierry Gautier, Bruno Raffin:
An Efficient OpenMP Loop Scheduler for Irregular Applications on Large-Scale NUMA Machines. IWOMP 2013: 141-155 - [c55]João V. F. Lima, François Broquedis, Thierry Gautier, Bruno Raffin:
Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor. SBAC-PAD 2013: 105-112 - 2012
- [j14]Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
Compositional design of isochronous systems. Sci. Comput. Program. 77(2): 113-128 (2012) - [c54]Julio Toss, Thierry Gautier:
A New Programming Paradigm for GPGPU. Euro-Par 2012: 895-907 - [c53]Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard:
Formal Verification of Compiler Transformations on Polychronous Equations. IFM 2012: 113-127 - [c52]François Broquedis, Thierry Gautier, Vincent Danjean:
libKOMP, an Efficient OpenMP Runtime System for Both Fork-Join and Data Flow Paradigms. IWOMP 2012: 102-115 - [c51]João V. F. Lima, Thierry Gautier, Nicolas Maillard, Vincent Danjean:
Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs. SBAC-PAD 2012: 75-82 - 2011
- [c50]Pierre Manneback, Thierry Gautier, Gudula Rünger, Manuel Prieto-Matías:
Introduction. Euro-Par (2) 2011: 1 - [c49]Xavier Besseron, Thierry Gautier:
Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol. Euro-Par Workshops (2) 2011: 322-332 - [c48]Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic:
Polychronous controller synthesis from MARTE CCSL timing specifications. MEMOCODE 2011: 21-30 - [c47]Huafeng Yu, Yue Ma, Yann Glouche, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Paul Le Guernic, Andres Toom, Odile Laurent:
System-level co-simulation of integrated avionics using polychrony. SAC 2011: 354-359 - 2010
- [j13]Abdoulaye Gamatié, Thierry Gautier:
The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Trans. Parallel Distributed Syst. 21(5): 641-657 (2010) - [c46]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366 - [c45]Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146 - [c44]Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch:
Generic design of Chinese remaindering schemes. PASCO 2010: 26-34 - [c43]Marc Tchiboukdjian, Vincent Danjean, Thierry Gautier, Fabien Le Mentec, Bruno Raffin:
A Work Stealing Scheduler for Parallel Loops on Shared Cache Multicores. Euro-Par Workshops 2010: 99-107 - [c42]Everton Hermann, Bruno Raffin, François Faure, Thierry Gautier, Jérémie Allard:
Multi-GPU and Multi-CPU Parallelization for Interactive Physics Simulations. Euro-Par (2) 2010: 235-246 - [c41]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders:
LinBox Founding Scope Allocation, Parallel Building Blocks, and Separate Compilation. ICMS 2010: 77-83 - [c40]Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone:
Polychronous Analysis of Timing Constraints in UML MARTE. ISORC Workshops 2010: 145-151 - [c39]Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic:
LTSs for translation validation of (multi-clocked) SIGNAL specifications. MEMOCODE 2010: 199-208 - [p2]Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Compilation of Polychronous Data Flow Equations. Synthesis of Embedded Software 2010: 1-40 - [p1]Yann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
A Module Language for Typing SIGNAL Programs by Contracts. Synthesis of Embedded Software 2010: 147-171 - [i4]Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch:
Generic design of Chinese remaindering schemes. CoRR abs/1001.4150 (2010) - [i3]Jean-Guillaume Dumas, Thierry Gautier, Jean-Louis Roch:
Generic design of Chinese remaindering schemes. CoRR abs/1005.0830 (2010) - [i2]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, B. David Saunders:
LinBox founding scope allocation, parallel building blocks, and separate compilation. CoRR abs/1009.1317 (2010)
2000 – 2009
- 2009
- [j12]Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi:
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j11]Julio C. Peralta, Thierry Gautier:
Towards SMV Model Checking of Signal (multi-clocked) Specifications. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009) - [j10]Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamatié, Thierry Gautier:
A metamodel for the design of polychronous systems. J. Log. Algebraic Methods Program. 78(4): 233-259 (2009) - [j9]Samir Jafar, Axel W. Krings, Thierry Gautier:
Flexible Rollback Recovery in Dynamic Heterogeneous Grid Computing. IEEE Trans. Dependable Secur. Comput. 6(1): 32-44 (2009) - [c38]Yue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier:
Distributed Simulation of AADL Specifications in a Polychronous Model of Computation. ICESS 2009: 607-614 - [c37]Yann Glouche, Jean-Pierre Talpin, Paul Le Guernic, Thierry Gautier:
A module language for typing by contracts. NASA Formal Methods 2009: 86-95 - [c36]Serge Guelton, Thierry Gautier, Jean-Louis Pazat, Sébastien Varrette:
Dynamic Adaptation Applied to Sabotage Tolerance. PDP 2009: 237-244 - [c35]Mohamed-Slim Bouguerra, Thierry Gautier, Denis Trystram, Jean-Marc Vincent:
A Flexible Checkpoint/Restart Model in Distributed Systems. PPAM (1) 2009: 206-215 - [c34]Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software. FMA 2009: 80-87 - [c33]Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. FACS@FMWeek 2009: 111-127 - 2008
- [j8]Xavier Besseron, Laurent Pigeon, Thierry Gautier, Samir Jafar:
Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables. Tech. Sci. Informatiques 27(3-4): 395-425 (2008) - [c32]Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language. ECBS 2008: 182-190 - [c31]Daouda Traoré, Jean-Louis Roch, Nicolas Maillard, Thierry Gautier, Julien Bernard:
Deque-Free Work-Optimal Parallel STL Algorithms. Euro-Par 2008: 887-897 - [c30]Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic:
Analysis of Periodic Clock Relations in Polychronous Systems. DIPES 2008: 45-56 - [c29]Xavier Besseron, Thierry Gautier:
Optimised Recovery with a Coordinated Checkpoint/Rollback Protocol for Domain Decomposition Applications. MCO 2008: 497-506 - [c28]Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Virtual prototyping AADL architectures in a polychronous model of computation. MEMOCODE 2008: 139-148 - 2007
- [j7]Thierry Gautier, Hamid-Reza Hamidi:
Re-scheduling invocations of services for RPC grids. Comput. Lang. Syst. Struct. 33(3-4): 168-178 (2007) - [j6]Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous design of embedded real-time applications. ACM Trans. Softw. Eng. Methodol. 16(2): 9 (2007) - [c27]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 - [c26]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 - 2006
- [j5]Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic:
Synchronous design of avionic applications based on model refinement. J. Embed. Comput. 2(3-4): 273-289 (2006) - [c25]Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamatié:
Polychronous mode automata. EMSOFT 2006: 83-92 - [c24]Abdoulaye Gamatié, Christian Brunette, Romain Delamare, Thierry Gautier, Jean-Pierre Talpin:
A Modeling Paradigm for Integrated Modular Avionics Design. EUROMICRO-SEAA 2006: 134-143 - [i1]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) - 2005
- [j4]El Mostafa Daoudi, Thierry Gautier, Aicha Kerfali, Rémi Revire, Jean-Louis Roch:
Algorithmes parallèles à grain adaptatif et applications. Tech. Sci. Informatiques 24(5): 505-524 (2005) - [c23]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 - 2004
- [c22]Thierry Gautier, Hamid-Reza Hamidi:
Automatic re-scheduling of dependencies in a RPC-based grid. ICS 2004: 89-94 - [c21]Thierry Gautier, Hamid-Reza Hamidi:
High Performance Composition of Services with Data Dependencies on a Computational Grid. PDPTA 2004: 801-805 - 2003
- [c20]Abdoulaye Gamatié, Thierry Gautier:
The SIGNAL Approach to the Design of System Architectures. ECBS 2003: 80-88 - [c19]Rémi Revire, Florence Zara, Thierry Gautier:
Efficient and Easy Parallel Implementation of Large Numerical Simulations. PVM/MPI 2003: 663-666 - [c18]Abdoulaye Gamatié, Thierry Gautier:
Synchronous Modeling of Avionics Applications using the SIGNAL Languag. IEEE Real Time Technology and Applications Symposium 2003: 144-151 - [c17]Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. SLAP 2003: 87-103 - 2002
- [c16]Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet:
Finite field linear algebra subroutines. ISSAC 2002: 63-74 - 2001
- [j3]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) - [c15]Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé Marchand:
The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design. CDC 2001: 3284-3289
1990 – 1999
- 1999
- [c14]Thierry Gautier, Niklaus Mannhart:
Parallelism in Aldor - The Communication Library Piit for Parallel, Distributed Computation. Euro-Par 1999: 1466-1475 - [c13]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 - [c12]Jacques Chassin de Kergommeaux, Yves Denneulin, Thierry Gautier:
Parallel Computing for Irregular Applications. HPCA 1999: 321 - [c11]Pierre-Eric Bernard, Thierry Gautier, Denis Trystram:
Large Scale Simulation of Parallel Molecular Dynamics. IPPS/SPDP 1999: 638-644 - 1998
- [c10]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-62 - 1997
- [c9]Thierry Gautier, Jean-Louis Roch:
NC2 computation of gcd-free basis and application to parallel algebraic numbers computation. PASCO 1997: 31-37 - [c8]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
- [c7]Pascal Aubry, Thierry Gautier:
GC: the Data-Flow Graph Format of Synchronous Programming. Intermediate Representations Workshop 1995: 83-93 - [c6]