Filter your results
- 54
- 29
- 25
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 48
- 65
- 21
- 11
- 10
- 10
- 10
- 8
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 109
- 2
- 2
- 1
- 1
- 112
- 98
- 18
- 6
- 5
- 5
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 112
- 112
- 112
- 112
- 112
- 112
- 110
- 101
- 101
- 98
- 98
- 63
- 60
- 59
- 55
- 55
- 55
- 55
- 52
- 29
- 29
- 28
- 13
- 12
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 111
- 4
- 80
- 35
- 1
- 2
- 2
- 4
- 10
- 5
- 6
- 8
- 4
- 7
- 10
- 7
- 10
- 7
- 6
- 4
- 6
- 2
- 3
- 1
- 2
- 1
- 2
- 3
- 2
A Statically Analyzable Dataflow Model for Dynamic Streaming4th Workshop on Mapping of Applications to MPSoCs, Jun 2011, St. Goar, Germany
Conference papers
hal-00751275v1
|
|||
Generation of Walk Transient Trajectories for a Biped RobotInternational Conference on Advanced Robotics, 1999, Tokyo, Japan
Conference papers
inria-00510071v1
|
|||
|
Distributing Automata for Asynchronous Networks of Processors[Research Report] RR-2341, INRIA. 1994
Reports
inria-00074336v1
|
||
|
Implementing Fault-Tolerance in Real-Time Systems by Program Transformations[Research Report] RR-5919, INRIA. 2006
Reports
inria-00077156v3
|
||
|
PRET-C: A new language for programming precision timed architectures[Research Report] RR-6922, INRIA. 2009, pp.38
Reports
inria-00391621v1
|
||
|
ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Execution Time, Reliability, Power Consumption and Temperature in MulticoresIEEE Transactions on Parallel and Distributed Systems, 2019, 30 (10), pp.2193-2210. ⟨10.1109/TPDS.2019.2906172⟩
Journal articles
hal-02400019v1
|
||
|
Attributing and Referencing (Research) Software: Best Practices and Outlook from InriaComputing in Science and Engineering, 2019, pp.1-14. ⟨10.1109/MCSE.2019.2949413⟩
Journal articles
hal-02135891v2
|
||
Towards a Higher-order Synchronous Data-flow LanguageACM 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 DesignACM Transactions on Design Automation of Electronic Systems, 2014, 20, pp.30. ⟨10.1145/2663344⟩
Journal articles
hal-01092255v1
|
|||
|
A novel bicriteria scheduling heuristics providing a guaranteed global system failure rateIEEE Transactions on Dependable and Secure Computing, 2009, 6 (4), pp.241--254
Journal articles
hal-00746768v1
|
||
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits23rd 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ésFrance, N° de brevet: 1456080. 2014
Patents
hal-01096054v1
|
|||
|
Energy and timing aware synchronous programmingInternational Conference on Embedded Software, EMSOFT'16, Oct 2016, Pittsburgh, United States. pp.10, ⟨10.1145/2968478.2968500⟩
Conference papers
hal-01412100v1
|
||
|
Selected Papers from SLA++P 07 and 08 Model-Driven High-Level Programming of Embedded SystemsEURASIP Journal on Embedded Systems, 2008, 2008 (1), pp.376920
Journal articles
hal-00784455v1
|
||
|
Precise Modelling of Instruction Cache Behaviour[Research Report] RR-8214, INRIA. 2013, 62 p
Reports
hal-00781566v1
|
||
|
A Discrete Time Markov Decision Process for Energy Minimization Under Deadline Constraints[Research Report] RR-9309, Grenoble Alpes; Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019, pp.46
Reports
hal-02391948v1
|
||
|
RDF: A Reconfigurable Dataflow Model of ComputationACM Transactions on Embedded Computing Systems (TECS), 2022, ⟨10.1145/3544972⟩
Journal articles
hal-03940615v1
|
||
|
libDGALS: A Library-based Approach to Design Dynamic GALS Systems9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy
Conference papers
hal-00996978v1
|
||
|
SPDF: A Schedulable Parametric Data-Flow MoCDesign Automation and Test in Europe, DATE'12, Mar 2012, Dresden, Germany
Conference papers
hal-00744376v1
|
||
|
A Multi-Rate Precision Timed Programming Language for Multi-CoresFDL 2019 - Forum for Specification and Design Languages, Sep 2019, Southampton, United Kingdom. pp.1-8, ⟨10.1109/FDL.2019.8876950⟩
Conference papers
hal-02399998v1
|
||
|
The ForeC Synchronous Deterministic Parallel Programming Language for MulticoresIEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC'16, Sep 2016, Lyon, France
Conference papers
hal-01412102v1
|
||
|
Sequential Scheduling of Dataflow Graphs for Memory Peak MinimizationLCTES 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
|
||
|
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages25th 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
|
||
|
Quantifying the Flexibility of Real-Time Systems10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Conference papers
hal-01426658v1
|
||
|
RDF: A Reconfigurable Dataflow Model of Computation[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Reports
hal-03495883v1
|
||
|
Predictable Multithreading of Embedded Applications Using PRET-CInternational 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
|
||
|
Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate ModelInternational Conference on Embedded Systems and Software, ICESS'09, May 2009, Hangzhou, China. pp.3--10, ⟨10.1109/ICESS.2009.36⟩
Conference papers
hal-00753526v1
|
||
|
Reliability and performance optimization of pipelined real-time systems[Research Report] RR-7509, INRIA. 2011, pp.32
Reports
inria-00555546v1
|
||
SystemJ: A GALS Language for System Level DesignComputer Languages, Systems and Structures, 2010, 36 (4), pp.317--344. ⟨10.1016/j.cl.2010.01.001⟩
Journal articles
istex
hal-00753512v1
|
|||
|
A Linear Time Algorithm for Computing Off-line Speed Schedules Minimizing Energy ConsumptionMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. pp.1-14
Conference papers
hal-02372136v1
|