Adnan Bouakaz

12 papers A 2B 1C 1Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
A Survey of Parametric Dataflow Models of Computation.
ACM Trans. Design Autom. Electr. Syst.
Adnan Bouakaz, Pascal Fradet, Alain Girault
2017 Misc conf
ADFG: a scheduling synthesis tool for dataflow graphs in real-time systems.
RTNS
Alexandre Honorat, Hai Nam Tran, Loïc Besnard, Thierry Gautier, Jean-Pierre Talpin, Adnan Bouakaz
2017 J jnl
Symbolic Analyses of Dataflow Graphs.
ACM Trans. Design Autom. Electr. Syst.
Adnan Bouakaz, Pascal Fradet, Alain Girault
2016 A conf
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs.
RTAS
Adnan Bouakaz, Pascal Fradet, Alain Girault
2015 J jnl
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony.
Sci. Comput. Program.
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
2014 C conf
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs.
MEMOCODE
Adnan Bouakaz, Thierry Gautier
2014 — conf
Earliest-deadline first scheduling of multiple independent dataflow graphs.
SiPS
Adnan Bouakaz, Thierry Gautier, Jean-Pierre Talpin
2013 B conf
Buffer minimization in earliest-deadline first scheduling of dataflow graphs.
LCTES
Adnan Bouakaz, Jean-Pierre Talpin
2013 — conf
Design of safety-critical Java level 1 applications using affine abstract clocks.
M-SCOPES
Adnan Bouakaz, Jean-Pierre Talpin
2013 — —
Real-time scheduling of dataflow graphs. (Ordonnancement temps-réel des graphes flots de données).
Adnan Bouakaz
2012 — conf
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications.
ACSD
Adnan Bouakaz, Jean-Pierre Talpin, Jan Vitek
2011 A conf
Predictable Binary Code Cache: A First Step towards Reconciling Predictability and Just-in-Time Compilation.
IEEE Real-Time and Embedded Technology and Applications Symposium
Adnan Bouakaz, Isabelle Puaut, Erven Rohou