Home > Keywords
Polyhedral model,
Amaury Maillé,
Bageshri Karkare,
Bruno Ferres,
Catherine Parent,
Christophe Alias,
Claire Maiza,
Claude Helmstetter,
David Monniaux,
Florence Maraninchi,
Frédéric Suter,
Giovanni Funchal,
Guillaume Salagnac,
Hamza Rihani,
Jérôme Cornet,
Julien Henry,
Karine Altisen,
Kevin Marquet,
Laure Gonnord,
Ludovic Henrio,
Martin Goyot,
Mehdi Khosravian,
Oussama Oulkaid,
Pascal Raymond,
Rémi Watrigant,
Yanhong Liu
ac2lus,
ACEplorer,
Apron,
ATMI,
Chamilotools,
Clang,
CUDD,
DCC,
DPN,
Encore language,
GCC,
Git,
Java,
jTLM,
Kalray MPPA,
LibTLMPWT,
LLVM,
LusSy,
Lustre,
NuSMV,
PAGAI,
Pinapa,
PinaVM,
sc-during,
SimGrid,
Spin,
SPIP,
SystemC,
Tuleap,
Uppaal,
Verse,
Vivado HLS,
Yices,
Z3
42,
Abstract Interpretation,
Implementation,
Polyhedral model,
High-level Synthesis (HLS),
Compilation,
Dataflow programs,
Formal Verification,
Future,
Parallelism,
Power-estimation,
Programming languages,
Real-Time Calculus,
Simulation,
SMT-solving,
TLM,
Worst Case Execution Time
Bachelor of engineering,
End of study project (engineer),
L3 Internship,
Master 1 project,
Master 1 internship,
CCI Internship,
CIFRE Ph. D,
Excellence Internship,
IRL Ensimag,
L2 Internship,
M2R,
Ph. D,
Post-doc,
TER UJF
2006,
2007,
2008,
2009,
2010,
2011,
2012,
2013,
2014,
2015,
2016,
2017,
2018,
2019,
2021,
2022,
2023