Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency

Autor: OLivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

Publikováno v: Discrete Mathematics & Theoretical Computer Science, Vol vol. 22 no. 3, Computational..., Iss Special issues (2021)

In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomen

Externí odkaz: https://doaj.org/article/d3fc0905b1b64835b81ebe8ec96db88d

A partial order toolbox for building synthetic indicators of sustainability with ordinal data

Autor: Marco Fattore, Leonardo Salvatore Alaimo

This paper designs and implements a statistical toolbox for the construction of synthetic indicators of sustainability and rankings of multidimensional systems of ordinal variables. The toolbox employs results from partial order theory to provide a p

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1299::6090819a9a9d5a99e2e4382feefd7ddc
https://hdl.handle.net/10281/424358

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

Quantitative and Algorithmic aspects of Barrier Synchronization in Concurrency

Autor: Antoine Genitrini, Matthieu Dien, Frédéric Peschanski, Olivier Bodini

Publikováno v: HAL
Discrete Mathematics and Theoretical Computer Science
Discrete Mathematics and Theoretical Computer Science, DMTCS, In press, Computational Logic and Applications (CLA'19), 22 (3)

In this paper we address the problem of understanding Concurrency Theory from a combinatorial point of view. We are interested in quantitative results and algorithmic tools to refine our understanding of the classical combinatorial explosion phenomen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1baadc50fe162454e8d7117fe2d7be20
https://hal.archives-ouvertes.fr/hal-02301925

Synthesis of Multi-indicator System Over Time: A Poset-based Approach

Autor: Leonardo Salvatore Alaimo, Alberto Arcagni, Marco Fattore, Filomena Maggino

In recent years, sustainable development has become one of the main issues of scientific and institutional debate. The literature on this concept is wide and often presents conflicting positions. This leads to considering sustainable development as a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7ea4f4c7324cf460c4c519936c7be5a
http://hdl.handle.net/11573/1436398