Zobrazeno 1 - 10
of 110
pro vyhledávání: '"Pouzet, Marc"'
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.
Autor:
Baudart, Guillaume, Mandel, Louis, Atkinson, Eric, Sherman, Benjamin, Pouzet, Marc, Carbin, Michael
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and engine control in planes. However, to date these languages have had l
Externí odkaz:
http://arxiv.org/abs/1908.07563
Publikováno v:
EPTCS 285, 2018, pp. 101-130
This paper describes the design and implementation of a comprehensive OCaml interface to the Sundials library of numeric solvers for ordinary differential equations, differential algebraic equations, and non-linear equations. The interface provides a
Externí odkaz:
http://arxiv.org/abs/1812.11668
Publikováno v:
LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (2008) 101-110
We address the design of distributed systems with synchronous dataflow programming languages. As modular design entails handling both architectural and functional modularity, our first contribution is to extend an existing synchronous dataflow progra
Externí odkaz:
http://arxiv.org/abs/1211.2776
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.
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:
Journées Francophones des Langages Applicatifs
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs
JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120
National audience; Vélus est une formalisation d'un langage synchrone à flots de données et de sa compilation dans l'assistant de preuve Coq. Il inclut une définition de la sémantique dynamique du langage, un compilateur produisant du code impé
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::b40678e08dde4f34f37719380fb24d2a
https://inria.hal.science/hal-03936656/document
https://inria.hal.science/hal-03936656/document
Publikováno v:
Leibniz International Proceedings in Informatics
35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. pp.1:1--1:22, ⟨10.4230/LIPIcs.ECRTS.2023.1⟩
35th Euromicro Conference on Real-Time Systems (ECRTS 2023)
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. pp.1:1--1:22, ⟨10.4230/LIPIcs.ECRTS.2023.1⟩
We present an extension of the synchronous-reactive model for specifying multi-rate systems. A set of periodically executed components and their communication dependencies are expressed in a Lustre-like programming language with features for load bal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ea2fb3e026d17912350da65d774fccc2
Publikováno v:
Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France
National audience; ProbZelus est un langage synchrone probabiliste qui permet de décrire des modèles probabilistes réactifs en interaction avec un environnement observable. Des méthodes d'inférences réactives permettent d'apprendre en ligne les
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::3c3a6c24e101274ed87e7432f57a8b96
https://inria.hal.science/hal-03626762/file/jfla22_paper_8.pdf
https://inria.hal.science/hal-03626762/file/jfla22_paper_8.pdf
Autor:
Iooss, Guillaume, Cohen, Albert, Potop-Butucaru, Dumitru, Pouzet, Marc, Bregeon, Vincent, Souyris, Jean, Baufreton, Philippe
Publikováno v:
IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques
IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12
IMPACT 2022-12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12
International audience; The design and implementation of reactive, hard real-time systems involves modeling and generating efficient code for the integration of harmonic multi-periodic tasks. The simple principles of synchronous reactive programming
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1992527b8c3c1872d8c7e49b3eeafccf
https://hal.inria.fr/hal-03901645
https://hal.inria.fr/hal-03901645