Zobrazeno 1 - 10
of 184
pro vyhledávání: '"Girault, Alain"'
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 5, Iss 1, Pp 04:1-04:26 (2018)
We present a formal approach to minimize the number of voters in triple-modular redundant (TMR) sequential circuits. Our technique actually works on a single copy of the TMR circuit and considers a large class of fault mo dels of the form “at most
Externí odkaz:
https://doaj.org/article/ff147177493a436990a026aa4c96f9bc
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:
Alliez, Pierre, Di Cosmo, Roberto, Guedj, Benjamin, Girault, Alain, Hacid, Mohand-Said, Legrand, Arnaud, Rougier, Nicolas P.
Publikováno v:
Computing in Science \& Engineering 2020
Software is a fundamental pillar of modern scientiic research, not only in computer science, but actually across all elds and disciplines. However, there is a lack of adequate means to cite and reference software, for many reasons. An obvious rst rea
Externí odkaz:
http://arxiv.org/abs/1905.11123
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.
We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries ar
Externí odkaz:
http://arxiv.org/abs/1710.09209
Autor:
Girault, Alain
Je présente dans ce document mes résultats de recherche sur la conception sûre de systèmes embarqués sûrs. La première partie concerne la répartition automatique de programmes synchrones. Le caractère automatique de la répartition apporte u
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00177048
http://tel.archives-ouvertes.fr/docs/00/17/70/48/PDF/main.pdf
http://tel.archives-ouvertes.fr/docs/00/17/70/48/PDF/main.pdf
Autor:
YIP, EUGENE1 eugene.yip@uni-bamberg.de, GIRAULT, ALAIN2 alain.girault@inria.fr, ROOP, PARTHA S.3 p.roop@auckland.ac.nz, BIGLARI-ABHARI, MORTEZA3 m.abhari@auckland.ac.nz
Publikováno v:
ACM Transactions on Programming Languages & Systems. Jun2023, Vol. 45 Issue 2, p1-74. 74p.
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
Autor:
Girault, Alain
La programmation synchrone a ete proposee pour faciliter la conception et la programmation des systemes reactifs (systemes dont le role est de reagir continument a leur environnement physique, celui-ci etant incapable de se synchroniser avec le syste
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00005097
http://tel.archives-ouvertes.fr/docs/00/04/63/68/PDF/tel-00005097.pdf
http://tel.archives-ouvertes.fr/docs/00/04/63/68/PDF/tel-00005097.pdf
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.