E-LIB Suche - Ergebnisse für: Girault, Alain

1

Synchronous Deterministic Parallel Programming for Multi-Co..:

Yip, Eugene ; Girault, Alain ; Roop, Partha S..
ACM Transactions on Programming Languages and Systems. 45 (2023) 2 - p. 1-74 , 2023

Link: https://doi.org/10.1145/..

2

Sequential Scheduling of Dataflow Graphs for Memory Peak Mi..:

, In: Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,

Fradet, Pascal ; Girault, Alain ; Honorat, Alexandre - p. 76-86 , 2023

Link: https://dl.acm.org/doi/1..

3

Assessing the Potential of Carpooling for Reducing Vehicle ..:

, In: 2023 International Conference on ICT for Sustainability (ICT4S),

Rasoldier, Aina ; Girault, Alain ; Quinton, Sophie.. - p. 120-131 , 2023

Link: https://doi.org/10.1109/..

4

RDF: A Reconfigurable Dataflow Model of Computation:

Fradet, Pascal ; Girault, Alain ; Krishnaswamy, Ruby..
ACM Transactions on Embedded Computing Systems. 22 (2022) 1 - p. 1-30 , 2022

Link: https://doi.org/10.1145/..

5

Introduction to the Special Issue on Specification and Desi..:

Girault, Alain ; Hanxleden, Reinhard Von
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 4 - p. 1-3 , 2021

Link: https://dl.acm.org/doi/1..

6

Introduction to the Special Issue on Specification and Desi..:

Girault, Alain ; Hanxleden, Reinhard Von
ACM Transactions on Embedded Computing Systems. 20 (2021) 4 - p. 1-3 , 2021

Link: https://doi.org/10.1145/..

7

Discrete and Continuous Optimal Control for Energy Minimiza..:

, In: 2020 6th International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP),

Gaujal, Bruno ; Girault, Alain ; Plassart, Stephan - p. 1-8 , 2020

Link: https://doi.org/10.1109/..

8

Dynamic speed scaling minimizing expected energy consumptio..:

Gaujal, Bruno ; Girault, Alain ; Plassart, Stephan
Journal of Scheduling. 23 (2020) 5 - p. 555-574 , 2020

Link: https://doi.org/10.1007/..

9

A pseudo-linear time algorithm for the optimal discrete spe..:

Gaujal, Bruno ; Girault, Alain ; Plassart, Stéphan
Discrete Event Dynamic Systems. 31 (2020) 2 - p. 163-184 , 2020

Link: https://doi.org/10.1007/..

10

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

Gaujal, Bruno ; Girault, Alain ; Plassart, Stéphan
Real-Time Systems. 56 (2020) 3 - p. 254-292 , 2020

Link: https://doi.org/10.1007/..

11

Attributing and Referencing (Research) Software: Best Pract..:

Alliez, Pierre ; Cosmo, Roberto Di ; Guedj, Benjamin...
Computing in Science & Engineering. 22 (2020) 1 - p. 39-52 , 2020

Link: https://doi.org/10.1109/..

12

A Multi-Rate Precision Timed Programming Language for Multi..:

, In: 2019 Forum for Specification and Design Languages (FDL),

Girault, Alain ; Hili, Nicolas ; Jenn, Eric. - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

13

Worst-Case Reaction Time Optimization on Deterministic Mult..:

, In: 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),

Hili, Nicolas ; Girault, Alain ; Jenn, Eric - p. 1-11 , 2019

Link: https://doi.org/10.1109/..

14

ERPOT: A Quad-Criteria Scheduling Heuristic to Optimize Exe..:

Abdi, Athena ; Girault, Alain ; Zarandi, Hamid R.
IEEE Transactions on Parallel and Distributed Systems. 30 (2019) 10 - p. 2193-2210 , 2019

Link: https://doi.org/10.1109/..

15

Building Correct Cyber-Physical Systems: Why We Need a Mult..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Graf, Susanne ; Quinton, Sophie ; Girault, Alain. - p. 19-31 , 2018

Link: https://doi.org/10.1007/..