Home > Keywords

Keywords

Co-workers

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

Tools

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

Topics

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 , Transistor-level analysis of electronic circuits , Worst Case Execution Time

Type of Student

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

Year

2006 , 2007 , 2008 , 2009 , 2010 , 2011 , 2012 , 2013 , 2014 , 2015 , 2016 , 2017 , 2018 , 2019 , 2021 , 2022 , 2023 , 2024