title = {Implementing a Real-time Avionic application on a Many-core Processor },
author = {Lo, Moustapha},
month = {Feb},
year = {2019},
school = {University of Grenoble Alpes},
team = {SYNC},
}
Home > Verimag > Publications
bibtex
@phdthesis{Lo9,
title = {Implementing a Real-time Avionic application on a Many-core Processor },
author = {Lo, Moustapha},
month = {Feb},
year = {2019},
school = {University of Grenoble Alpes},
team = {SYNC},
}
title = {Implementing a Real-time Avionic application on a Many-core Processor },
author = {Lo, Moustapha},
month = {Feb},
year = {2019},
school = {University of Grenoble Alpes},
team = {SYNC},
}
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Conferences
- November 25-29 2019 Synchron 2019
Seminars
New publications
- Recent Publications
- Nicolas Basset, Marta Z. Kwiatkowska, Clemens Wiltsche: Compositional strategy synthesis for stochastic games with multiple objectives
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal torus exploration by oblivious robots
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- 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
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
- Self-Stabilization in TVG
