Zobrazeno 1 - 10
of 244
pro vyhledávání: '"Girault, Alain"'
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:
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
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:
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
Publikováno v:
LIMITS 2022-Eighth Workshop on Computing within Limits
LIMITS 2022-Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
LIMITS 2022-Eighth Workshop on Computing within Limits, Jun 2022, Virtual, France
International audience; While the direct environmental impacts of digital technologies are now well documented, it is often said that they could also help reduce greenhouse gas (GHG) emissions significantly in many domains such as transportation, bui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::64a6417e893fa880bb133a691a283286
https://inria.hal.science/hal-03949261
https://inria.hal.science/hal-03949261
Publikováno v:
[Research Report] RR-9439, Inria Grenoble Rhône-Alpes, Université de Grenoble. 2021
Dataflow Models of Computation (MoCs) are widely used in embedded systems, including multimedia processing, digital signal processing, telecommunications, and automatic control. In a dataflow MoC, an application is specified as a graph of actors conn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a1b9628c13e3f868de55ba2eaccdaab
https://inria.hal.science/hal-03495883/file/RR9439.pdf
https://inria.hal.science/hal-03495883/file/RR9439.pdf