Zobrazeno 1 - 10
of 87
pro vyhledávání: '"Ludovic Henrio"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 302, Iss Proc. VORTEX 2018, Pp 32-46 (2019)
Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and effort which is not feasible in many eco-systems. Runtime verification
Externí odkaz:
https://doaj.org/article/76ed59e17617480698a4f2f586df2e78
Autor:
Ludovic Henrio, Justine Rochas
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 4 (2017)
In order to tackle the development of concurrent and distributed systems, the active object programming model provides a high-level abstraction to program concurrent behaviours. There exists already a variety of active object frameworks targeted at a
Externí odkaz:
https://doaj.org/article/92401274db6e47639afcfeba2599644a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 175, Iss Proc. FOCLASA 2014, Pp 69-85 (2015)
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the structural aspects of component composition; it puts together most of the
Externí odkaz:
https://doaj.org/article/78ac0b1a5c82429592d81cf4fd2420fe
Autor:
Frederic Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni
Publikováno v:
EAI Endorsed Transactions on Cloud Systems, Vol 3, Iss 9 (2017)
In the services world, the expected benefits are the fastest time to market, lower costs, greater consistency in the application, and increased agility. The reuse and sharing properties of software components are useful to address these challenges. H
Externí odkaz:
https://doaj.org/article/e1795e55a2c943b8917538487ef61f80
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 37, Iss Proc. WCSI 2010, Pp 42-56 (2010)
Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadca
Externí odkaz:
https://doaj.org/article/45d4a81cdf924945acb01f3086d17e15
Publikováno v:
ACM Computing Surveys
ACM Computing Surveys, In press, ⟨10.1145/3595376⟩
ACM Computing Surveys, 2023, ⟨10.1145/3595376⟩
ACM Computing Surveys, In press, ⟨10.1145/3595376⟩
ACM Computing Surveys, 2023, ⟨10.1145/3595376⟩
International audience; Distributed software built from components has become a mainstay of service-oriented applications, which frequently undergo reconfigurations in order to adapt to changes in their operating environment or their functional requi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::117f3778bdb8247a5c2501701e91b0e0
https://inria.hal.science/hal-04067909
https://inria.hal.science/hal-04067909
Publikováno v:
Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
Proceedings of the ACM on Programming Languages, 2023, pp.1-31. ⟨10.1145/3571254⟩
This paper introduces ctrees, a monad for modeling nondeterministic, recursive, and impure programs in Coq. Inspired by Xia et al.'s itrees, this novel data structure embeds computations into coinductive trees with three kind of nodes: external event
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e141125033782b8d8ff47983de3b7d4
https://hal.science/hal-03886910
https://hal.science/hal-03886910
Publikováno v:
ACM Computing Surveys
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
ACM Computing Surveys, 2022, ⟨10.1145/3564529⟩
Parallelism is often required for performance. In these situations an excess of non-determinism is harmful as it means the program can have several different behaviours or even different results. Even in domains such as high-performance computing whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::639751fb43f22848239b4cc4ec601ab7
https://inria.hal.science/hal-03828497/document
https://inria.hal.science/hal-03828497/document
Publikováno v:
MASCOTS 2021-29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
MASCOTS 2021-29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8
MASCOTS
MASCOTS 2021-29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩
MASCOTS 2021-29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8
MASCOTS
MASCOTS 2021-29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩
International audience; We present a simulator for High Performance Computing (HPC) interconnection networks. It models Portals 4, a standard low-level API for communication, and it allows running unmodified applications that use higher-level network
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c5820be9c52dec9488a69e1633fc1a6
https://hal.inria.fr/hal-03366573/document
https://hal.inria.fr/hal-03366573/document
Publikováno v:
The Art, Science, and Engineering of Programming
The Art, Science, and Engineering of Programming, aosa, Inc., 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, aosa, Inc., 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩
International audience; A future is an entity representing the result of an ongoing computation. A synchronisation with a "get" operation blocks the caller until the computation is over, to return the corresponding value. When a computation in charge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::384c997d036a7968fa24c2f655e94cb2
https://hal.inria.fr/hal-03440766
https://hal.inria.fr/hal-03440766