Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Rabéa Ameur-Boulifa"'
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99462c0a178658a6600ac4627a18ddba
https://doi.org/10.1007/978-3-031-10363-6_25
https://doi.org/10.1007/978-3-031-10363-6_25
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:
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, In press
Journal of Logical and Algebraic Methods in Programming, In press
Establishing equivalences between programs or system 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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8981ff31c7523daf7cc4ee947ff2f64
http://arxiv.org/abs/2007.10770
http://arxiv.org/abs/2007.10770
Publikováno v:
3rd International Conference on Information Systems Security and Privacy (ICISSP'17)
3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal
ICISSP
3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal
ICISSP
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39989620c7ea42d21c8cb5774bc6c000
https://hal.archives-ouvertes.fr/hal-01974727
https://hal.archives-ouvertes.fr/hal-01974727
Autor:
Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia
Publikováno v:
ACM Transactions on Programming Languages & Systems; Mar2024, Vol. 46 Issue 1, p1-58, 58p
Publikováno v:
ACM Computing Surveys; Jan2024, Vol. 56 Issue 1, p1-37, 37p
Publikováno v:
Languages, Design Methods & Tools for Electronic System Design; 2015, p21-42, 22p
Publikováno v:
Languages, Design Methods & Tools for Electronic System Design; 2015, pi-xxxiv, 34p
Publikováno v:
2012 38th Euromicro Conference on Software Engineering & Advanced Applications; 1/ 1/2012, pv-xi, 7p