Zobrazeno 1 - 10
of 371
pro vyhledávání: '"M. Koutny"'
Publikováno v:
Scientific Annals of Computer Science, Vol XXVII, Iss 2, Pp 177-212 (2017)
Assuming that the behavioural specification of a concurrent system is given in the form of a step transition system, where the arcs between states are labelled by steps (multisets of executed actions), we focus on the problem of synthesising a Petri
Externí odkaz:
https://doaj.org/article/b1694cc3fedd407095555d2412024495
Publikováno v:
Radioengineering, Vol 21, Iss 1, Pp 356-363 (2012)
This paper deals with modeling of power line communication. A two-port network model is theoretically described and compared with measurement. A substantial part is focused on the mathematical description of distri¬bution network using the method, w
Externí odkaz:
https://doaj.org/article/57227a9e98c44b34a2e3044c3995c93b
Publikováno v:
Scientific Annals of Computer Science, Vol XXI, Iss 2, Pp 199-225 (2011)
Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and
Externí odkaz:
https://doaj.org/article/e3599b0c69db4b7891e22eae69165575
Publikováno v:
Scientific Annals of Computer Science, Vol XX, Pp 131-157 (2010)
Automated verification of dynamic multi-threaded computing systems is severely affected by problems relating to dynamic process creation. In this paper, we describe an abstraction technique aimed at generating reduced state space representations for
Externí odkaz:
https://doaj.org/article/99d7b9fb52164f6d9103e70066522e53
Autor:
M. Koutny, M. Pietkiewicz-Koutny
Publikováno v:
Scientific Annals of Computer Science, Vol XIX, Pp 1-23 (2009)
Automated synthesis from behavioural specifications is an attractive way of constructing computational systems. In this paper, we look at a specific instance of this approach which aims at constructing GALS (globally asynchronous locally synchronous)
Externí odkaz:
https://doaj.org/article/c7e53aa23f9648dab02b8c4e1e37e0bf
This book, A Mosaic of Computational Topics: from Classical to Novel, is a collection of papers published to honor Professor Jetty Kleijn on the occasion of her 65th birthday. The scope and reach of her research is truly broad. She has made significa
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.
Publikováno v:
30th International Meeting on Organic Geochemistry (IMOG 2021).
Summary Microbial methane occurrence associated with brown and bituminous coals in the Bohemian Massif is documented by chemical and isotopic composition and by metagenomics analysis. New methane shows were found recently in the Lower Miocene Most ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b2fdba3881702dc48b0bdbb9ecf0ccbf
https://doi.org/10.3997/2214-4609.202134148
https://doi.org/10.3997/2214-4609.202134148
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.