Search Results - "GIRAULT, ALAIN"

Introduction to the Special Issue on Specification and Design Languages (FDL 2021).

Authors: Deantoni, Julien Girault, Alain Grosse, Daniel

Source: ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-4, 4p

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC.

Authors: YIP, EUGENE GIRAULT, ALAIN ROOP, PARTHA S. et al.

Source: ACM Transactions on Programming Languages & Systems; Jun2023, Vol. 45 Issue 2, p1-74, 74p

RDF: A Reconfigurable Dataflow Model of Computation.

Authors: FRADET, PASCAL GIRAULT, ALAIN KRISHNASWAMY, RUBY et al.

Source: ACM Transactions on Embedded Computing Systems; Jan2023, Vol. 22 Issue 1, p1-30, 30p

An MDP-based solution for the energy minimization of non-clairvoyant hard real-time systems.

Authors: Gaujal, Bruno Girault, Alain Plassart, Stéphan

Source: Real-Time Systems. Mar2025, Vol. 61 Issue 1, p4-52. 49p.

Dynamic speed scaling minimizing expected energy consumption for real-time tasks.

Authors: Gaujal, Bruno Girault, Alain Plassart, Stephan

Source: Journal of Scheduling; Oct2020, Vol. 23 Issue 5, p555-574, 20p

Introduction to the Special Issue on Specification and Design Languages (FDL 2019).

Authors: Girault, Alain von Hanxleden, Reinhard

Source: ACM Transactions on Embedded Computing Systems; Jul2021, Vol. 20 Issue 4, p1-3, 3p

A hybrid controller for autonomous vehicles driving on automated highways.

Authors: Girault, Alain

Source: Transportation Research: Part C; Dec2004, Vol. 12C Issue 6, p421-452, 32p

Hierarchical finite state machines with multiple concurrency models.

Authors: Girault, Alain Lee, Bilung Lee, Edward A.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; June 1999, Vol. 18 Issue 6, p742-760, 19p

Automatic distribution of reactive systems for asynchronous networks of processors.

Authors: Caspi, Paul Girault, Alain Pilaud, Daniel

Source: IEEE Transactions on Software Engineering; May/June 1999, Vol. 25 Issue 3, p416-427, 12p

Precise Timing Analysis for Direct-Mapped Caches.

Authors: Andalam, Sidharta Girault, Alain Sinha, Roopak et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; Jun2013, p1-10, 10p

Building Timing Predictable Embedded Systems.

Authors: AXER, PHILIP ERNST, ROLF FALK, HEIKO et al.

Source: ACM Transactions on Embedded Computing Systems; Feb2014, Vol. 13 Issue 4, p82-82:37, 38p

Feasibility of on-line speed policies in real-time systems.

Authors: Gaujal, Bruno Girault, Alain Plassart, Stéphan

Source: Real-Time Systems. Jul2020, Vol. 56 Issue 3, p254-292. 39p.

Implementing Fault-Tolerance in Real-Time Programs by Automatic Program Transformations.

Authors: Ayav, Tolga Fradet, Pascal Girault, Alain

Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p45-45:43, 43p, 9 Diagrams, 4 Charts, 3 Graphs

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

Authors: Abdi, Athena Girault, Alain Zarandi, Hamid R.

Source: IEEE Transactions on Parallel & Distributed Systems. Oct2019, Vol. 30 Issue 10, p2193-2210. 18p.

Subjects: Redundancy in engineering, Directed acyclic graphs, Temperature control, NP-complete problems, Acyclic model, Reliability in engineering

A pseudo-linear time algorithm for the optimal discrete speed minimizing energy consumption.

Authors: Gaujal, Bruno Girault, Alain Plassart, Stéphan

Source: Discrete Event Dynamic Systems; Jun2021, Vol. 31 Issue 2, p163-184, 22p

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

Authors: Girault, Alain Prevot, Christophe Quinton, Sophie et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Nov2018, Vol. 37 Issue 11, p2578-2589. 12p.

Subjects: Embedded computer system design & construction, Microprocessor design & construction, Mathematical bounds, Real-time computing, Computer scheduling, Industrial design

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

Authors: Alliez, Pierre Cosmo, Roberto Di Guedj, Benjamin et al.

Source: Computing in Science & Engineering; Jan/Feb2020, Vol. 22 Issue 1, p39-52, 14p

Reliability versus performance for critical applications

Authors: Girault, Alain Saule, Érik Trystram, Denis

Source: Journal of Parallel & Distributed Computing. Mar2009, Vol. 69 Issue 3, p326-336. 11p.

Subjects: Algorithms, Algebra, Computer programming, Graph theory, Combinatorics

Elimination of redundant messages with a two-pass static analysis algorithm

Authors: Girault, Alain¹ Alain.Girault@inrialpes.fr

Source: Parallel Computing. Mar2002, Vol. 28 Issue 3, p433. 21p.

Subjects: Computer software

Tradeoff exploration between reliability, power consumption, and execution time for embedded systems.

Authors: Assayad, Ismail Girault, Alain Kalla, Hamoudi

Source: International Journal on Software Tools for Technology Transfer. Jun2013, Vol. 15 Issue 3, p229-245. 17p.

Subjects: Conjoint analysis, Multidisciplinary design optimization, Reliability (Personality trait), Probability theory, Heuristic