Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Didier, Keryan"'
Mikino is a simple induction engine over transition systems. It is written in Rust, with a strong focus on ergonomics and user-friendliness. It is accompanied by a detailed tutorial which introduces basic notions such as logical operators and Smt sol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::e0db8f300e5dd1e39e20a537f60c9325
https://hal.inria.fr/hal-03626850
https://hal.inria.fr/hal-03626850
Autor:
Baufreton, Philippe, Bregeon, Vincent, Didier, Keryan, Iooss, Guillaume, Potop-Butucaru, Dumitru, Souyris, Jean
Publikováno v:
ERTS 2020-10th European Congress Embedded Real Time Systems
ERTS 2020-10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France
ERTS 2020-10th European Congress Embedded Real Time Systems, Jan 2020, Toulouse, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::440abf96f40bb83e726f70d515f8a6bc
https://inria.hal.science/hal-02431187
https://inria.hal.science/hal-02431187
Autor:
Didier, Keryan
Publikováno v:
Embedded Systems. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS485⟩
The implementation of hard real-time systems involves a lot of steps that are traditionally manual. The growing complexity of such systems and hardware platforms on which they are executed makes increasingly difficult to ensure the correctness of tho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b6d280fdd901510bd4a2c353f42fbdc6
https://inria.hal.science/tel-02456172
https://inria.hal.science/tel-02456172
Autor:
Didier, Keryan, Potop-Butucaru, Dumitru, Iooss, Guillaume, Cohen, Albert, Souyris, Jean, Baufreton, Philippe, Graillat, Amaury
Publikováno v:
[Research Report] RR-9180, INRIA Paris. 2018
We present a parallel compilation method for embedded control applications. The method is fully automatic and scales up, being based on low-complexity heuristics. Unlike classical compilation, it also takes as input non-functional requirements, e.g.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a85bbfc196366ab0861d1eb0ab1c13d
https://hal.inria.fr/hal-01810176/file/RR-9180.pdf
https://hal.inria.fr/hal-01810176/file/RR-9180.pdf
Autor:
Souyris, Jean, Didier, Keryan, Potop-Butucaru, Dumitru, Iooss, Guillaume, Bourke, Timothy, Cohen, Albert, Pouzet, Marc
Publikováno v:
ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems
ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems, 3AF-Association Aéronautique Astronautique de France; SEE-Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA-Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4
ERTS2 2018-9th European Congress Embedded Real-Time Software and Systems, 3AF-Association Aéronautique Astronautique de France; SEE-Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA-Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4
International audience; This poster presents ongoing research on automatic generation and execution of embedded parallel C code. We target safety-critical avionics programs specified in the synchronous language Lustre. The work described is part of t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee8a00c81341b86750f3ed603ed4e585
https://hal.inria.fr/hal-01714054
https://hal.inria.fr/hal-01714054
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Concurrent programming is notoriously difficult, especially in constrained embedded contexts. Threads, in particular, are wildly nondeterministic as a model of computation, and difficult to analyze in the general case. Fortunately, it is often the ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4ee4def46ad3f3f75f07b272ba007ba8
https://inria.hal.science/hal-01509314/file/RR-9057.pdf
https://inria.hal.science/hal-01509314/file/RR-9057.pdf
Publikováno v:
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Concurrent programming is notoriously difficult, especially in constrained embedded contexts. Threads, in particular, are wildly nondeterministic as a model of computation, and difficult to analyze in the general case. Fortunately, it is often the ca
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::4ee4def46ad3f3f75f07b272ba007ba8
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf