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.
Conference papers
cea-03749364v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-02057036v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-02911605v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-03852700v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-01615142v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Polychronous design of embedded real-time applications
Abdoulaye Gamatié
,
Thierry Gautier
,
Paul Le Guernic
,
Jean-Pierre Talpin
Journal articles
inria-00522799v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
sOMP: Simulating OpenMP Task-Based Applications with NUMA Effects
Idriss Daoudi
,
Philippe Virouleau
,
Thierry Gautier
,
Samuel Thibault
,
Olivier Aumage
et al.
Conference papers
hal-02933803v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Journal articles
hal-01132037v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Polychronous Design of Real-Time Applications with Signal
Thierry Gautier
,
Paul Le Guernic
,
Jean-Pierre Talpin
2008
Other publications
hal-00549814v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SIGNAL V4 – INRIA version: Reference Manual (revised working version)
Loïc Besnard
,
Thierry Gautier
,
Paul Le Guernic
2020
Other publications
hal-02928452v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More