Derniers articles

• Recherche > Stages/emplois >

  [M2 Research] Code Generation for Simulation of Parallel Process Networks

• Recherche > Stages/emplois >

  [M2 Research] Scalability of the interference analysis for a multi-core platform

• Recherche > Stages/emplois >

  [M2 Research] Interference analysis for the new Kalray MPPA3 many-core

• Recherche > Étudiants/Post-docs >

  Alexandra Dobre

• Recherche > Étudiants/Post-docs >

  Ligia Novaceann

• Enseignement > M1 Lyon 1 >

  Génie logiciel et Gestion de Projet (M1IF01)

• Personnel > Recettes >

  Crème butternut, amandes & orange

• Recherche > Stages/emplois >

  Parallélisation automatique d’operations sur matrices creuses

• Recherche > Stages/emplois >

  [Thèse] Vérification formelle de réseaux de processus comme représentation intermédiaire d’un compilateur

• Recherche > Stages/emplois >

  [Ph.D] Ph.D funding for foreign students, Lyon

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 140

Articles les plus populaires

• Recherche > Publications >

  Thèse d’informatique : Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction

• Recherche > Exposés >

  Parallel Programming with SystemC for Loosely Timed Models : A Non-Intrusive Approach

• Recherche > Stages/emplois >

  [Thèse] Vérification formelle de réseaux de processus comme représentation intermédiaire d’un compilateur

• Recherche > Étudiants/Post-docs >

  Madhav Jha

• Recherche > Exposés >

  PinaVM and Tweto : Compilation and Optimization Techniques for SystemC

• Recherche > Exposés >

  A Theoretical and Experimental Review of SystemC Front-ends

• Recherche > Exposés >

  Modeling of Time in Discrete-Event Simulation of Systems-on-Chip

• Enseignement > Tools >

  Ensitools

• Recherche > Étudiants/Post-docs >

  Ranjan Ravi

• Recherche > Exposés >

  Transaction-Level Models of Systems-on-a-Chip : Can they be Correct, Faithful and Fast ?

0 | 10 | 20 | 30 | 40 | 50 | 60 | 70 | 80 | ... | 140

Les mots-clés

Co-workers

Modèle polyédrique, Bageshri Karkare, Catherine Parent, Christophe Alias, Claire Maiza, Claude Helmstetter, David Monniaux, Florence Maraninchi, Giovanni Funchal, Guillaume Salagnac, Hamza Rihani, Jérôme Cornet, Julien Henry, Karine Altisen, Kevin Marquet, Pascal Raymond, Yanhong Liu

Tools

ac2lus, ACEplorer, Apron, ATMI, Clang, CUDD, DCC, DPN, GCC, Git, Java, jTLM, Kalray MPPA, LibTLMPWT, LLVM, LusSy, Lustre, NuSMV, PAGAI, Pinapa, PinaVM, sc-during, Spin, SPIP, SystemC, Uppaal, Verse, Vivado HLS, Yices, Z3

Topics

42, Interprétation Abstraite, Implémentation, Modèle polyédrique, Synthèse de haut niveau (HLS), Compilation, Formal Verification, Parallelism, Power-estimation, Real-Time Calculus, Simulation, SMT-solving, TLM, Worst Case Execution Time

Type of Student

Stagiaire L3, Projet de fin d’étude (ingénieur), Stage L3, Stagiaire M1, CCI Internship, CIFRE Ph. D, Excellence Internship, IRL Ensimag, M2R, Ph. D, Post-doc, TER UJF

Year

2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018