Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Lounas, Razika"'
Autor:
Lounas, Razika
La mise à jour dynamique des programmes consiste en la modification de ceux-ci sans en arrêter l'exécution. Cette caractéristique est primordiale pour les applications critiques en continuelles évolutions et nécessitant une haute disponibilité
Externí odkaz:
http://www.theses.fr/2018LIMO0085/document
Publikováno v:
EPTCS 122, 2013, pp. 63-73
Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations. In this paper we focus on program transformations at the bytecode leve
Externí odkaz:
http://arxiv.org/abs/1307.8212
Publikováno v:
International Journal of e-Collaboration; Jan2023, Vol. 19 Issue 1, p1-17, 17p
Publikováno v:
International Journal of e-Collaboration; November 2022, Vol. 19 Issue: 1 p1-17, 17p
Autor:
Lounas, Razika
Publikováno v:
Système d'exploitation [cs.OS]. Université de Limoges; Université M'hamed Bougara de Boumerdès (Algérie), 2018. Français. ⟨NNT : 2018LIMO0085⟩
Dynamic Software Updating (DSU) consists in updating running programs on the fly without any downtime. This feature is interesting in critical applications that are in continual evolution and that require high availability. The aim of our work is to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::63f476f01a32b66b8c6b8513e93d6fc5
https://theses.hal.science/tel-01977915
https://theses.hal.science/tel-01977915
Publikováno v:
CRiSIS 2016-The 11th International Conference on Risks and Security of Internet and Systems
CRiSIS 2016-The 11th International Conference on Risks and Security of Internet and Systems, Telecom Bretagne, Sep 2016, Roscoff, France
CRiSIS 2016-The 11th International Conference on Risks and Security of Internet and Systems, Telecom Bretagne, Sep 2016, Roscoff, France
International audience; Dynamic Software Updating (DSU) consists in updating running programs on the y without any downtime. This feature is interesting in critical applications that must run continuously. Because updates may lead to safety errors an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::acab4fce547930cb7f3c7f8396746bb3
https://hal.inria.fr/hal-01405467
https://hal.inria.fr/hal-01405467
Publikováno v:
9th International Workshop on Verification and Evaluation of Computer and Communication Systems
9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania
9th International Workshop on Verification and Evaluation of Computer and Communication Systems, Sep 2015, Bucarest, Romania
International audience; This paper deals with formal specification and verification of Java bytecode update. Programs update for java applications has gained a wide interest since it is used for several purposes: transforming semantics of a program,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e0d3b7956e7d5067e27b6b5ae1908da9
https://hal.inria.fr/hal-01250600/document
https://hal.inria.fr/hal-01250600/document
Publikováno v:
International Journal of Critical Computer-Based Systems; 2019, Vol. 9 Issue: 1-2 p76-114, 39p
Publikováno v:
International Journal of Critical Computer-Based Systems; 2017, Vol. 7 Issue: 4 p303-340, 38p