Recherche - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu

Filtrer vos résultats

171 résultats
Page :
triés par
Image document

Design of a Hybrid Controller for Autonomous Vehicles Driving on Automated Highways

 Alain Girault
RR-4286, INRIA. 2001
Rapport inria-00072301v1
Image document

Circuit Generation for Verification of ESTEREL Programs

 Alain Girault , Gérard Berry
RR-3582, INRIA. 1998
Rapport inria-00073099v1
Image document

Stability Analysis of a Longitudinal Control Law for Autonomous Vehicles

 Alain Girault , Sergio Yovine
RR-3498, INRIA. 1998
Rapport inria-00073187v1

Comparison of two nonlinear model reduction techniques: the modal identification method and the branch eigenmodes reduction method

 Etienne Videcoq , Alain Neveu , Olivier Quemener , Manuel Girault , Daniel Petit
Numerical Heat Transfer, Part B, 2006, 49 (6), pp.537-558. ⟨10.1080/10407790500344035⟩
Article dans une revue hal-00118803v1

Use of an Anti-Hepatitis C Virus (HCV) IgG Avidity Assay To Identify Recent HCV Infection

 Catherine Gaudy-Graffin , Gérard Lesage , Isabelle Kousignian , Syria Laperche , Annie Girault , et al.
Journal of Clinical Microbiology, 2010, 48 (9), pp.3281-3287. ⟨10.1128/JCM.00303-10⟩
Article dans une revue hal-03840581v1
Image document

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors

 Paul Caspi , Alain Girault , Daniel Pilaud
RR-3491, INRIA. 1998
Rapport inria-00073196v1
Image document

Implementing Fault-Tolerance in Real-Time Systems by Program Transformations

 Tolga Ayav , Pascal Fradet , Alain Girault
[Research Report] RR-5919, INRIA. 2006
Rapport inria-00077156v3
Image document

The potential role of HIV-specific CD38-/HLA-DR+ CD8+ T cells in viral suppressive activity and cytotoxicity in HIV controllers

 Stéphane Hua , Camille Lecuroux , Asier Saez-Cirion , Gianfranco Pancino , Isabelle Girault , et al.
BMC Infectious Diseases, 2014, 14 (Suppl 2), pp.P64
Article dans une revue inserm-00995736v1
Image document

PHOTOABLATION OF MATERIALS USING U.V. LASER RADIATION

 D. Damiani , Corinne Champeaux , C. Girault , C. Germain , Jacques Aubreton , et al.
Journal de Physique IV Proceedings, 1991, 01 (C7), pp.C7-673-C7-673. ⟨10.1051/jp4:19917181⟩
Article dans une revue jpa-00250860v1

Towards a Higher-order Synchronous Data-flow Language

 Jean-Louis Colaço , Alain Girault , Grégoire Hamon , Marc Pouzet
ACM Fourth International Conference on Embedded Software (EMSOFT'04), Sep 2004, Pisa, Italy. pp.230-239, ⟨10.1145/1017753.1017792⟩
Communication dans un congrès hal-01520545v1
Image document

Sur la répartition de programmes synchrones

 Alain Girault
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1994. Français. ⟨NNT : ⟩
Thèse tel-00005097v1

Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders

 Catalin Dima , Alain Girault , Yves Sorel
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, 2004, Unknown, Unknown Region. pp.215--230, ⟨10.1007/978-3-540-30206-3_16⟩
Communication dans un congrès istex hal-01699964v1

Classification automatique et patient-dépendante des stades de sommeil, basée sur un processus de machine learning s’inspirant de la lecture manuelle

 Jade Vanbuis , Guillaume Baffet , Mathieu Feuilloy , Alain Le Duff , Jean-Marc Girault , et al.
Médecine du sommeil, 2020, 17 (1), pp.59-60. ⟨10.1016/j.msom.2019.12.073⟩
Article dans une revue hal-02505463v1
Image document

Early and long-lasting alteration of effector CD45RA(-)Foxp3(high) regulatory T-cell homeostasis during HIV infection.

 Federico Simonetta , Camille Lecuroux , Isabelle Girault , Cécile Goujard , Martine Sinet , et al.
Journal of Infectious Diseases, 2012, 205 (10), pp.1510-9. ⟨10.1093/infdis/jis235⟩
Article dans une revue inserm-00865957v1
Image document

Evidence of human leptospirosis cases in a cohort of febrile patients in Bangui, Central African Republic: a retrospective study, 2012–2015

 Pierre-Alain Rubbo , Marie-Estelle Soupé-Gilbert , Davy Martial Golongba , Florent Mbombo , Dominique Girault , et al.
BMC Infectious Diseases, 2018, 18 (1), pp.376. ⟨10.1186/s12879-018-3298-z⟩
Article dans une revue hal-01856179v1
Image document

An algorithm for automatically obtaining distributed and fault-tolerant static schedules

 Alain Girault , Hamoudi Kalla , Mihaela Sighireanu , Yves Sorel
Jun 2003, pp.165-190
Communication dans un congrès hal-00110453v1

Pulsed laser deposition of strontium ferrite thin films

 Laurent Canale , Catherine Girault , Annie Bessaudou , Alain Celerier , Françoise Cosset , et al.
Applied Surface Science, 2000, 154-155, pp.444-448. ⟨10.1016/s0169-4332(99)00375-x⟩
Article dans une revue istex hal-02435767v1

Glyco-Phospho-Glycero Ether Lipids (GPGEL): synthesis and evaluation as small conductance Ca2+-activated K+ channel (SK3) inhibitors

 Charlotte M. Sevrain , Jean-Pierre Haelters , Aurélie Chantôme , Hélène Couthon , Alban Girault , et al.
MedChemComm, 2012, 3 (11), ⟨10.1039/C2MD20207G⟩
Article dans une revue hal-01556890v1

Off-Line Real-Time Fault-Tolerant Scheduling

 Catalin Dima , Alain Girault , Christophe Lavarenne , Yves Sorel
Ninth Euromicro Workshop on Parallel and Distributed Processing, PDP 2001, 7-9 February 2001, Mantova, Italy, 2001, Unknown, Unknown Region. pp.410--417, ⟨10.1109/EMPDP.2001.905069⟩
Communication dans un congrès hal-01699970v1
Image document

A static analysis for the minimization of voters in fault-tolerant circuits

 Dmitry Burlyaev , Pascal Fradet , Alain Girault
[Research Report] RR-9004, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-27
Rapport hal-01417164v1

Air blast reflecting on a rigid cylinder: simulation and reduced scale experiments

 Alain Langlet , Mhamed Souli , Nicolas Aquelet , Girault G.
Shock Waves, 2015, 25 (1), pp.47-61. ⟨10.1007/s00193-014-0531-6⟩
Article dans une revue hal-01099733v1
Image document

Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs

 Adnan Bouakaz , Pascal Fradet , Alain Girault
RTAS 2016 - 22nd IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. ⟨10.1109/RTAS.2016.7461360⟩
Communication dans un congrès hal-01253168v1

Pulsed laser deposition of lithium niobate thin films

 Laurent Canale , Catherine Girault-Di Bin , Françoise Cosset , Annie Bessaudou , Alain Celerier , et al.
2000 International Conference on Application of Photonic Technology (ICAPT 2000), Jul 2000, Quebec City, Canada. pp.1207, ⟨10.1117/12.406370⟩
Communication dans un congrès hal-02435769v1
Image document

Symbolic Analysis of Dataflow Graphs (Extended Version)

 Adnan Bouakaz , Pascal Fradet , Alain Girault
[Research Report] 8742, Inria - Research Centre Grenoble – Rhône-Alpes. 2016
Rapport hal-01166360v3

Symbolic Analyses of Dataflow Graphs

 Adnan Bouakaz , Pascal Fradet , Alain Girault
ACM Transactions on Design Automation of Electronic Systems, 2017
Article dans une revue hal-01417146v1

Étude anatomo-radiologique d’un crâne déformé d’Ancón (Pérou)

 Antonio Ricciardetto , Françoise Boman , Philippe Charlier , Alain Froment , Florent Duchat , et al.
Philippe Charlier; Danielle Gourevitch. Actes du Ve Colloque international de Pathographie (Bergues, mai 2013), De Boccard, pp.69-98, 2015, Collection Pathographie, 11
Chapitre d'ouvrage hal-01596430v1
Image document

Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains

 Alain Girault , Christophe Prévot , Sophie Quinton , Rafik Henia , Nicolas Sordon
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2018, 37 (11), pp.2578-2589. ⟨10.1109/TCAD.2018.2861016⟩
Article dans une revue hal-01956931v1

A Survey of Parametric Dataflow Models of Computation

 Adnan Bouakaz , Pascal Fradet , Alain Girault
ACM Transactions on Design Automation of Electronic Systems, 2017
Article dans une revue hal-01417126v1

RDF: Reconfigurable Dataflow

 Pascal Fradet , Alain Girault , Ruby Krishnaswamy , Xavier Nicollin , Arash Shafiei
DATE 2019 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2019, Florence, Italy. pp.1709-1714, ⟨10.23919/DATE.2019.8714987⟩
Communication dans un congrès hal-01960788v1

Symbolic computation of the latency for dataflow graphs

 Adnan Bouakaz , Pascal Fradet , Alain Girault
Integrating Dataflow, Embedded computing and Architecture (IDEA'2016), Apr 2016, Vienne, Austria
Communication dans un congrès hal-01417111v1
Page :