title = { Acc\'el\'eration des simulations de syst\`emes sur puce au niveau transactionnel },
author = {Bouzouzou, Yussef},
year = {2007},
type = {Dipl\^ome de Recherche Technologique},
school = {Universit\'e Joseph Fourier},
team = {SYNC},
Home > Verimag > Publications
bibtex
@mastersthesis{Bou07a,
title = { Acc\'el\'eration des simulations de syst\`emes sur puce au niveau transactionnel },
author = {Bouzouzou, Yussef},
year = {2007},
type = {Dipl\^ome de Recherche Technologique},
school = {Universit\'e Joseph Fourier},
team = {SYNC},
} PDF
title = { Acc\'el\'eration des simulations de syst\`emes sur puce au niveau transactionnel },
author = {Bouzouzou, Yussef},
year = {2007},
type = {Dipl\^ome de Recherche Technologique},
school = {Universit\'e Joseph Fourier},
team = {SYNC},
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conferences
- November 25-29 2019 Synchron 2019
- Seminars
- 19 September 2019 Martin Franzle: What’s to come is still unsure: automatically synthesizing and verifying controllers (...)
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Valentin Touzeau, Claire Maiza, David Monniaux, Jan Reineke: Fast and Exact Analysis for LRU Caches
- Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet: Improving WCET Evaluation using Linear Relation Analysis
- Alexey Bakhirkin, Nicolas Basset, Oded Maler, José-Ignacio Requeno Jarabo: ParetoLib: A Python Library for Parameter Synthesis
- Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu: The Verified Polyhedron Library: an overview
- Rim El-Ballouli: Modeling Self-configuration In Architecture-based Self-adaptive Systems
