Zobrazeno 1 - 10
of 213
pro vyhledávání: '"Grigore, R"'
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.
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.
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.
Autor:
Grigore, R, Kiefer, S
We study selective monitors for labelled Markov chains. Monitors observe the outputs that are generated by a Markov chain during its run, with the goal of identifying runs as correct or faulty. A monitor is selective if it skips observations in order
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d92d4c12cf7b1ba0514ac8b2de4d4c9f
http://arxiv.org/abs/1806.06143
http://arxiv.org/abs/1806.06143
Autor:
Mirea, D.1 ddmirea@yahoo.com, Grigore, R.2, Safta, D.1, Mirea, L.3, Popescu, C. R.2, Popescu, B.2, Berteşteanu, S. V. G.2
Publikováno v:
Hippokratia. 2014, Vol. 18 Issue 2, p120-124. 5p.
Publikováno v:
CIÊNCIAVITAE
Scopus-Elsevier
Scopus-Elsevier
The paper aims at finding acyclic graphs under a given set of constraints. More specifically, given a propositional formula {\phi} over edges of a fixed-size graph, the objective is to find a model of {\phi} that corresponds to a graph that is acycli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::70dbce0ff08c79271d97bddd79d3b480
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.
Publikováno v:
43rd International Colloquium on Automata, Languages, and Programming (ICALP)
Herman's self-stabilisation algorithm, introduced 25 years ago, is a well-studied synchronous randomised protocol for enabling a ring of $N$ processes collectively holding any odd number of tokens to reach a stable state in which a single token remai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a92b3e88dfaafe0c76e1abeb8ae9014
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.