Search - Archive ouverte HAL Access content directly

Filter your results

171 Results
authFullName_s : Thierry Gautier
Image document

Enhancing MPI+OpenMP task based applications for heterogenous architectures with GPU support

Manuel Ferat , Romain Pereira , Adrien Roussel , Patrick Carribault , Luiz-Angelo Steffenel et al.
IWOMP 2022 - 18th International Workshop on OpenMP, Sep 2022, Chattanooga, TH, United States. pp.3-16, ⟨10.1007/978-3-031-15922-0_1⟩
Conference papers cea-03749364v1
Image document

Semi-automated fact-checking of nucleotide sequence reagents in biomedical research publications: The Seek & Blastn tool

Cyril Labbé , Natalie Grima , Thierry Gautier , Bertrand Favier , Jennifer A Byrne et al.
PLoS ONE, 2019, 14 (3), pp.e0213266. ⟨10.1371/journal.pone.0213266⟩
Journal articles hal-02057036v1
Image document

Flagging incorrect nucleotide sequence reagents in biomedical papers: To what extent does the leading publication format impede automatic error detection?

Cyril Labbé , Guillaume Cabanac , Rachael A West , Thierry Gautier , Bertrand Favier et al.
Scientometrics, 2020, 124 (2), pp.1139-1156. ⟨10.1007/s11192-020-03463-z⟩
Journal articles hal-02911605v1
Image document

Dual role of histone variant H3.3B in spermatogenesis: positive regulation of piRNA transcription and implication in X-chromosome inactivation

Emeline Fontaine , Christophe Papin , Guillaume Martinez , Stéphanie Le Gras , Roland Abi Nahed et al.
Nucleic Acids Research, 2022, 50 (13), pp.7350-7366. ⟨10.1093/nar/gkac541⟩
Journal articles hal-03852700v1
Image document

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-flow Graphs

Hai Nam Tran , Alexandre Honorat , Shuvra S Bhattacharyya , Jean-Pierre Talpin , Thierry Gautier et al.
SAMOS XXI 2021 - 21st International Conference on embedded computer Systems: Architectures, MOdeling and Simulation, Jul 2021, Virtual, France. pp.1-12
Conference papers hal-03488217v1
Image document

ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems

Alexandre Honorat , Hai Nam Tran , Loïc Besnard , Thierry Gautier , Jean-Pierre Talpin et al.
International Conference on Real-Time Networks and Systems , Oct 2017, Grenoble, France. pp.1-10, ⟨10.1145/3139258.3139267⟩
Conference papers hal-01615142v1

Polychronous design of embedded real-time applications

Abdoulaye Gamatié , Thierry Gautier , Paul Le Guernic , Jean-Pierre Talpin
ACM Transactions on Software Engineering and Methodology, 2007, 16 (2), ⟨10.1145/1217295.1217298⟩
Journal articles inria-00522799v1

Un protocole de sauvegarde/reprise coordonné pour les applications à flot de données reconfigurables

Xavier Besseron , Laurent Pigeon , Thierry Gautier , Samir Jafar
RenPar'17 : 17ème Rencontres Francophones du Parallélisme, Oct 2006, Canet en Roussillon, France
Conference papers hal-00695246v1

Adaptive algorithms: theory and application

Van-Dat Cung , Jean-Guillaume Dumas , Thierry Gautier , Guillaume Huard , Bruno Raffin et al.
SIAM Parallel Processing 2006, Mini-Symposium MS1: Adaptive algorithms for scientific computing, Feb 2006, San Francisco, United States. pp.49--50
Conference papers hal-01856375v1
Image document

Preliminary Experiments with XKaapi on Intel Xeon Phi Coprocessor

Joao Vicente Ferreira Lima , Francois Broquedis , Thierry Gautier , Bruno Raffin
25th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2013, Porto de Galinhas, Brazil. ⟨10.1109/SBAC-PAD.2013.28⟩
Conference papers hal-00878325v1
Image document

Exploiting Concurrent GPU Operations for Efficient Work Stealing on Multi-GPUs

Joao Vicente Ferreira Lima , Thierry Gautier , Nicolas Maillard , Vincent Danjean
24rd International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), Oct 2012, Columbia University, New York, United States. pp.75-82, ⟨10.1109/SBAC-PAD.2012.28⟩
Conference papers hal-00735470v1
Image document

XKaapi: A Runtime System for Data-Flow Task Programming on Heterogeneous Architectures

Thierry Gautier , Joao Vicente Ferreira Lima , Nicolas Maillard , Bruno Raffin
27th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2013, Boston, Massachusetts, United States
Conference papers hal-00799904v1

Impact of over-decomposition on coordinated checkpoint/rollback protocol

Xavier Besseron , Thierry Gautier
Workshop on Resiliency in High-Performance Computing, 17-th International European Conference On Parallel and Distributed Computing, 2011, Bordeaux, France. ⟨10.1007/978-3-642-29740-3_36⟩
Conference papers hal-00796863v1
Image document

sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects

Idriss Daoudi , Philippe Virouleau , Thierry Gautier , Samuel Thibault , Olivier Aumage et al.
IWOMP 2020 - 16th International Workshop on OpenMP, Sep 2020, Austin / Virtual, United States. ⟨10.1007/978-3-030-58144-2_13⟩
Conference papers hal-02933803v1

A boolean algebra of contracts for assume-guarantee reasoning

Yann Glouche , Paul Le Guernic , Jean-Pierre Talpin , Thierry Gautier
FACS 2009 : 6th International Workshop on Formal Aspects of Component Software, Nov 2009, Eindhoven, Netherlands
Conference papers hal-00788413v1
Image document

A Modeling Paradigm for Integrated Modular Avionics Design

Christian Brunette , Romain Delamare , Abdoulaye Gamatié , Thierry Gautier , Jean-Pierre Talpin et al.
[Research Report] PI 1748, 2005, pp.39
Reports inria-00000420v1
Image document

Formal Verification of Synchronous Data-flow Compilers

van Chan Ngo , Jean-Pierre Talpin , Thierry Gautier , Paul Le Guernic , Loic Besnard et al.
[Research Report] RR-7921, INRIA. 2012
Reports hal-00685633v2
Image document

X-Aevol: GPU implementation of an evolutionary experimentation simulator

Laurent Turpin , Thierry Gautier , Jonathan Rouzaud-Cornabas
GECCO 2021 - Genetic and Evolutionary Computation Conference, Jul 2021, Lille France, France. pp.1-9, ⟨10.1145/3449726.3463195⟩
Conference papers hal-03290799v1
Image document

System-level Co-simulation of Integrated Avionics Using Polychrony

Huafeng Yu , Yue Ma , Yann Glouche , Jean-Pierre Talpin , Loïc Besnard et al.
ACM Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. 6 p
Conference papers inria-00536907v1
Image document

Design and analysis of scheduling strategies for multi-CPU and multi-GPU architectures

Joao Vicente Ferreira Lima , Thierry Gautier , Vincent Danjean , Bruno Raffin , Nicolas Maillard et al.
Parallel Computing, 2015, 44, pp.37-52. ⟨10.1016/j.parco.2015.03.001⟩
Journal articles hal-01132037v1
Image document

SIGNAL:Un langage pour le traitement du signal

Paul Le Guernic , Albert Benveniste , Thierry Gautier
[Rapport de recherche] RR-0206, INRIA. 1983
Reports inria-00076352v1
Image document

Un système de modules avancé pour SIGNAL

David Nowak , Jean-Pierre Talpin , Thierry Gautier
[Rapport de recherche] RR-3176, INRIA. 1997
Reports inria-00073513v1
Image document

Generic design of Chinese remaindering schemes

Jean-Guillaume Dumas , Thierry Gautier , Jean-Louis Roch
PASCO '10 - 4th International Symposium on Parallel Symbolic Computation, Jul 2010, Grenoble, France. pp.26-34, ⟨10.1145/1837210.1837218⟩
Conference papers hal-00449864v2
Image document

Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form

Loïc Besnard , Thierry Gautier , Matthieu Moy , Jean-Pierre Talpin , Kenneth Johnson et al.
[Research Report] RR-6976, INRIA. 2009, pp.16
Reports inria-00400272v1

Phosphorylation of the CENP-A amino-terminus in mitotic centromeric chromatin is required for kinetochore function.

Damien Goutte-Gattat , Muhammad Shuaib , Khalid Ouararhni , Thierry Gautier , Dimitrios Skoufias et al.
Proceedings of the National Academy of Sciences of the United States of America, 2013, 110 (21), pp.8579-84
Journal articles hal-01322371v1
Image document

A Synchronous Approach to Threaded Program Verification

Kenneth Johnson , Loïc Besnard , Thierry Gautier , Jean-Pierre Talpin
[Research Report] RR-7320, INRIA. 2010
Reports inria-00492694v2
Image document

Polychronous Design of Real-Time Applications with Signal

Thierry Gautier , Paul Le Guernic , Jean-Pierre Talpin
Other publications hal-00549814v1
Image document

Modeling multi-clocked data-flow programs using the Generic Modeling Environment

Christian Brunette , Jean-Pierre Talpin , Loïc Besnard , Thierry Gautier
Synchronous Languages, Applications, and Programming, Mar 2006, Vienna, Austria. pp.SLAP 2006
Conference papers hal-00541310v1
Image document

Polychronous Automata

Paul Le Guernic , Thierry Gautier , Jean-Pierre Talpin , Loïc Besnard
TASE 2015, 9th International Symposium on Theoretical Aspects of Software Engineering, Sep 2015, Nanjing, China. pp.95-102, ⟨10.1109/TASE.2015.21⟩
Conference papers hal-01240440v1
Image document

SIGNAL V4 – INRIA version: Reference Manual (revised working version)

Loïc Besnard , Thierry Gautier , Paul Le Guernic
Other publications hal-02928452v1