Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Ameur Boulifa, Rabéa"'
Establishing equivalences between programs or systems is crucial both for verifying correctness of programs, by establishing that two implementations are equivalent, and for justifying optimisations and program transformations, by establishing that a
Externí odkaz:
http://arxiv.org/abs/2007.10770
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2023 131
Publikováno v:
EPTCS 37, 2010, pp. 42-56
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:
http://arxiv.org/abs/1010.2824
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.
The automotive industry is currently going through rapid changes from a mechanical industry to one driven by innovation in electronics and embedded software. This significant change creates also significant challenges to the industry. One of the most
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::0ed6d77eb5ea9108242b9f2beab520c6
https://hal.telecom-paris.fr/hal-03689243
https://hal.telecom-paris.fr/hal-03689243
Publikováno v:
International Journal of Critical Computer-Based Systems
International Journal of Critical Computer-Based Systems, Inderscience, 2021, 10, pp.120-142
International Journal of Critical Computer-Based Systems, Inderscience, 2021, 10, pp.120-142
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65d1ce850aebceb5c5886f001cecbcb3
https://hal.archives-ouvertes.fr/hal-03335671
https://hal.archives-ouvertes.fr/hal-03335671
Publikováno v:
Modélisation des Systèmes Réactifs (MSR'19)
Modélisation des Systèmes Réactifs (MSR'19), Nov 2019, Angers, France
Modélisation des Systèmes Réactifs (MSR'19), Nov 2019, Angers, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6230f888ff4018b4f973f2b6a93122ca
https://hal.archives-ouvertes.fr/hal-02337481
https://hal.archives-ouvertes.fr/hal-02337481
Publikováno v:
MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France
MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
MSR 2019-12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
International audience; La nécessité de gérer la complexité croissante des systèmes en général, et les systèmes embarqués en particulier pousse leur conception vers une approche basée sur la réutilisation de composants existants.À cette c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7ff38be703f67ffb1145dbe99976a05c
https://hal.archives-ouvertes.fr/hal-02431949/document
https://hal.archives-ouvertes.fr/hal-02431949/document
Publikováno v:
PRDC 2017, IEEE Pacific Rim International Symposium on Dependable Computing, January 22-25, 2017, Christchurch, New Zealand
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1093::9e3e6c0d55eec4f081215f19037fb1e4
http://www.eurecom.fr/publication/5100
http://www.eurecom.fr/publication/5100
Publikováno v:
[Research Report] RR-8167, INRIA. 2012, pp.58
Software components are a valuable programming abstraction that enables a compositional design of complex applications. In distributed systems, components can also be used to provide an abstraction of locations: each component is a unit of deployment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3a9d0f6574029184e1dafb4b755afda7
https://hal.inria.fr/hal-00761073/document
https://hal.inria.fr/hal-00761073/document