Derniers articles

• Recherche > Stages/emplois >

  Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level

• Recherche > Stages/emplois >

  Improving Diagnosis for a Formal Verification Tool for Electrical Circuits at Transistor Level

• Enseignement > M1 Lyon 1 >

  Compilation et Traduction de Programmes

• Enseignement > L2 Lyon1 >

  LIFSE : Systèmes d’Exploitation

• Enseignement >

  Faire une vidéo sur transparents sous Linux (Ubuntu)

• Enseignement >

  Discord pour l’enseignement à distance

• Personnel > Recettes >

  Cannelés salés

• Outils > Programmation >

  Pre-compiled RISC-V GNU toolchain and spike

• Recherche > Outils >

  HAL "no proceedings" checker

• Recherche > Étudiants/Post-docs >

  Julian Bruyat

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 16

Articles les plus populaires

• Enseignement > Divers >

  EnsiWiki : le Wiki des étudiants et des enseignants de l’Ensimag

• Recherche > Outils >

  Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications

• Contact >

  Me Contacter

• Recherche > Outils >

  HAL "no proceedings" checker

• Personnel > Recettes >

  Macarons et ganaches

• Outils > Programmation >

  Pre-compiled RISC-V GNU toolchain and spike

• Outils > Git >

  git-multimail : envoyer des notifications par email à chaque git push

• Outils > Programmation >

  Collection de programmes C et C++ amusants et buggés

• Enseignement >

  Discord pour l’enseignement à distance

• Recherche > Étudiants/Post-docs >

  Juliana Du

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• …
• 16

Les mots-clés

Co-workers

Modèle polyédrique , 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 , Interprétation Abstraite , Implémentation , Modèle polyédrique , Synthèse de haut niveau (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

Stagiaire L3 , Projet de fin d’étude (ingénieur) , Stage L3 , Projet d’orientation en Master (POM) , Stagiaire M1 , 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