Výsledky vyhledávání - "Briday, Mikaël"

Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents

Autor: Bernabeu, Antoine, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien, Roux, Olivier

Publikováno v: Modélisation des Systèmes Réactifs (MSR'21)
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France

National audience; Le calcul intermittent est un paradigme émergent pour les systèmes sans batterie, alimentés à l'aide de sources d'énergie elles-mêmes intermittentes. Ce paradigme promet une conception plus sobre des systèmes informatiques.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ac0da9230a8887074553e29db5f644a
https://hal.archives-ouvertes.fr/hal-03449539

Zobrazit plný text záznamu

Support d'exécution pour le calcul intermittent

Autor: Béchennec, Jean-Luc, Bernabeu, Antoine, Briday, Mikaël, Faucou, Sébastien

Publikováno v: COMPAS 2021
COMPAS 2021, Jul 2021, Lyon, France

National audience; De nombreux nœuds de l’Internet des objets (IoT) devront fonctionner de manière autonome et cela implique l’utilisation de batteries et/ou de systèmes de collecte d’énergie. Les batteries sont source de pollution, et ont

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5187f79402c39f519013d812332f5dd9
https://hal.archives-ouvertes.fr/hal-03446983/document

Zobrazit plný text záznamu

Akademický článek

Modelisation of a distributed hardware system for accurate simulation of real-time applications

Autor: Briday, Mikaël, Béchennec, Jean-Luc, Trinquet, Yvon

Publikováno v: In IFAC Proceedings Volumes July 2003 36(13):31-38

Zobrazit plný text záznamu

Periodical

Design and verification of pipelined circuits with Timed Petri Nets

Autor: Parrot, Rémi, Briday, Mikaël, Roux, Olivier H.

Publikováno v: Discrete Event Dynamic Systems; 20220101, Issue: Preprints p1-24, 24p

Zobrazit plný text záznamu

BEST: a Binary Executable Slicing Tool

Autor: Mangean, Armel, Béchennec, Jean-Luc, Briday, Mikaël, Faucou, Sébastien

Publikováno v: 16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016)
16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016), Jul 2016, Toulouse, France. pp.7:1--7:10, ⟨10.4230/OASIcs.WCET.2016.7⟩

International audience; We describe the implementation of Best, a tool for slicing binary code. We aim to integrate this tool in a WCET estimation framework based on model checking. In this approach, program slicing is used to abstract the program mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cf8f5b05fa8b543aa306e5c5913a079
https://hal.archives-ouvertes.fr/hal-01713140/file/OASIcs-WCET-2016-7.pdf

Zobrazit plný text záznamu

Implémentation matérielle d’un dispositif de vérification en ligne sur un SoPC

Autor: Solet, Dimitry, Pillement, Sébastien, Briday, Mikaël, Béchennec, Jean-Luc, Faucou, Sébastien

Publikováno v: Colloque National GDR SoC-SiP
Colloque National GDR SoC-SiP, Jun 2016, Nantes, France. paper ID#68, 2016
Colloque National GDR SoC-SiP, Jun 2016, Nantes, France., paper ID#68, 2016

National audience; Ce papier présente notre travail sur l’implémentationd’un dispositif de vérification en ligne pour la surveillanced’une application qui s’exécute sur un SoPC (System onProgrammable Chip). Le but est de vérifier que l�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c12b6b44ef2ba431b92013d796752702
https://hal.science/hal-01324796

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání