Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

115 Results
authFullName_s : Alain Girault

A Statically Analyzable Dataflow Model for Dynamic Streaming

Pascal Fradet , Alain Girault , Peter Poplavko
4th Workshop on Mapping of Applications to MPSoCs, Jun 2011, St. Goar, Germany
Conference papers hal-00751275v1

Generation of Walk Transient Trajectories for a Biped Robot

Laure France , Alain Girault , Bernard Espiau
International Conference on Advanced Robotics, 1999, Tokyo, Japan
Conference papers inria-00510071v1
Image document

Distributing Automata for Asynchronous Networks of Processors

Benoit Caillaud , Paul Caspi , Alain Girault , Claude Jard
[Research Report] RR-2341, INRIA. 1994
Reports inria-00074336v1
Image document

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

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

PRET-C: A new language for programming precision timed architectures

Sidharta Andalam , Partha Roop , Alain Girault , Claus Traulsen
[Research Report] RR-6922, INRIA. 2009, pp.38
Reports inria-00391621v1
Image document

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in Multicores

Athena Abdi , Alain Girault , Hamid Zarandi
IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
Journal articles hal-02400019v1
Image document

Attributing and Referencing (Research) Software: Best Practices and Outlook from Inria

Pierre Alliez , Roberto Di Cosmo , Benjamin Guedj , Alain Girault , Mohand-Said Hacid , et al.
Computing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
Journal articles hal-02135891v2

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⟩
Conference papers hal-01520545v1

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Roopak Sinha , Alain Girault , Gregor Gössler , Partha Roop
ACM Transactions on Design Automation of Electronic Systems, 2014, 20, pp.30. ⟨10.1145/2663344⟩
Journal articles hal-01092255v1
Image document

A novel bicriteria scheduling heuristics providing a guaranteed global system failure rate

Alain Girault , Hamoudi Kalla
IEEE Transactions on Dependable and Secure Computing, 2009, 6 (4), pp.241--254
Journal articles hal-00746768v1

Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits

Dmitry Burlyaev , Pascal Fradet , Alain Girault
23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA'15, Feb 2015, Monterey, United States. ⟨10.1145/2684746.2689058⟩
Conference papers hal-01095747v1

Procédé de fabrication automatisée d'un circuit électronique adapté pour détecter ou masquer des fautes par redondance temporelle, programme d'ordinateur et circuit électronique associés

Dmitry Burlyaev , Pascal Fradet , Alain Girault
France, N° de brevet: 1456080. 2014
Patents hal-01096054v1
Image document

Energy and timing aware synchronous programming

Jiajie Wang , Partha S Roop , Alain Girault
International Conference on Embedded Software, EMSOFT'16, Oct 2016, Pittsburgh, United States. pp.10, ⟨10.1145/2968478.2968500⟩
Conference papers hal-01412100v1
Image document

Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded Systems

Florence Maraninchi , Michael Mendler , Marc Pouzet , Alain Girault , Eric Rutten
EURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.376920
Journal articles hal-00784455v1
Image document

Precise Modelling of Instruction Cache Behaviour

Sidharta Andalam , Roopak Sinha , Partha S. Roop , Alain Girault , Jan Reineke
[Research Report] RR-8214, INRIA. 2013, 62 p
Reports hal-00781566v1
Image document

A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints

Bruno Gaujal , Alain Girault , Stéphan Plassart
[Research Report] RR-9309, Grenoble Alpes; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019, pp.46
Reports hal-02391948v1
Image document

RDF: A Reconfigurable Dataflow Model of Computation

Pascal Fradet , Alain Girault , Ruby Krishnaswamy , Xavier Nicollin , Arash Shafiei
ACM Transactions on Embedded Computing Systems (TECS), 2022, ⟨10.1145/3544972⟩
Journal articles hal-03940615v1
Image document

libDGALS: A Library-based Approach to Design Dynamic GALS Systems

Wei-Tsun Sun , Alain Girault , Zoran Salcic , Avinash Malik
9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy
Conference papers hal-00996978v1
Image document

SPDF: A Schedulable Parametric Data-Flow MoC

Pascal Fradet , Alain Girault , Petro Poplavko
Design Automation and Test in Europe, DATE'12, Mar 2012, Dresden, Germany
Conference papers hal-00744376v1
Image document

A Multi-Rate Precision Timed Programming Language for Multi-Cores

Alain Girault , Nicolas Hili , Éric Jenn , Eugene Yip
FDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
Conference papers hal-02399998v1
Image document

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Eugene Yip , Alain Girault , Partha S Roop , Morteza Biglari-Abhari
IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France
Conference papers hal-01412102v1
Image document

Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization

Pascal Fradet , Alain Girault , Alexandre Honorat
LCTES 2023 - 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2023, Orlando (FL), United States. pp.76-86, ⟨10.1145/3589610.3596280⟩
Conference papers hal-04163123v1
Image document

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages

Nicolas Hili , Alain Girault , Eric Jenn
25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'19), Aug 2019, Hangzhou, China. pp.10, ⟨10.1109/RTCSA.2019.8864570⟩
Conference papers hal-02400009v1
Image document

Quantifying the Flexibility of Real-Time Systems

Rafik Henia , Alain Girault , Christophe Prévot , Sophie Quinton , Laurent Rioux
10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers hal-01426658v1
Image document

RDF: A Reconfigurable Dataflow Model of Computation

Pascal Fradet , Alain Girault , Ruby Krishnaswamy , Xavier Nicollin , Arash Shafiei
[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Reports hal-03495883v1
Image document

Predictable Multithreading of Embedded Applications Using PRET-C

Sidharta Andalam , Partha Roop , Alain Girault
International Conference on Formal Methods and Models for Codesign, MEMOCODE'10, Jul 2010, Grenoble, France. pp.159-168, ⟨10.1109/MEMCOD.2010.5558636⟩
Conference papers hal-00786378v1
Image document

Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model

M. Alras , Paul Caspi , Alain Girault , Pascal Raymond
International Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
Conference papers hal-00753526v1
Image document

Reliability and performance optimization of pipelined real-time systems

Anne Benoit , Fanny Dufossé , Alain Girault , Yves Robert
[Research Report] RR-7509, INRIA. 2011, pp.32
Reports inria-00555546v1

SystemJ: A GALS Language for System Level Design

Avinash Malik , Zoran Salcic , Partha Roop , Alain Girault
Computer Languages, Systems and Structures, 2010, 36 (4), pp.317--344. ⟨10.1016/⟩
Journal articles istex hal-00753512v1
Image document

A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy Consumption

Bruno Gaujal , Alain Girault , Stéphan Plassart
MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
Conference papers hal-02372136v1