Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits

Autor: Bourhis, Pierre, Duchien, Laurence, Dusart, Jérémie, Lonca, Emmanuel, Marquis, Pierre, Quinton, Clément

We are interested in computing $k$ most preferred models of a given d-DNNF circuit $C$, where the preference relation is based on an algebraic structure called a monotone, totally ordered, semigroup $(K, \otimes, <)$. In our setting, every literal in

Externí odkaz: http://arxiv.org/abs/2202.05938

Automatically Extracting Instances of Code Change Patterns with AST Analysis

Autor: Martinez, Matias, Duchien, Laurence, Monperrus, Martin

Publikováno v: 29th IEEE International Conference on Software Maintenance, 2013

A code change pattern represents a kind of recurrent modification in software. For instance, a known code change pattern consists of the change of the conditional expression of an if statement. Previous work has identified different change patterns.

Externí odkaz: http://arxiv.org/abs/1309.3730

Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems

Autor: Farhat, Salman, Bliudze, Simon, Duchien, Laurence, Kouchnarenko, Olga

Publikováno v: COORDINATION 2023-25th International Conference on Coordination Models and Languages
COORDINATION 2023-25th International Conference on Coordination Models and Languages, Jun 2023, Lisbon, Portugal

International audience; Cloud applications and cyber-physical systems are becoming increasingly complex, requiring frequent reconfiguration to adapt to changing needs and requirements. Existing approaches compute new valid configurations either at de

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f81d5236e13bab663f567493cc34c548
https://inria.hal.science/hal-04098074

Safe Dynamic Reconfiguration of Concurrent Component-based Applications

Autor: Farhat, Salman, Bliudze, Simon, Duchien, Laurence

Publikováno v: ICSA 2022-19th IEEE International Conference on Software Architecture
ICSA 2022-19th IEEE International Conference on Software Architecture, Mar 2022, Honolulu, United States

International audience; Cloud computing and cyber-physical systems involve software capable of adapting at run time to remain compliant with user demands and environmental constraints. This calls for extending the life cycle of software systems with

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f48a416b9118a89cffe3fc1f37d4864f
https://hal.science/hal-03585767/document

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.