Zobrazeno 1 - 10
of 82
pro vyhledávání: '"Parízek, Pavel"'
Autor:
Parízek, Pavel
Formal veri cation of a hierarchical component application involves (i) checking of behavior compliance among sub-components of each composite component, and (ii) checking of implementation of each primitive component against its behavior speci catio
Externí odkaz:
http://www.nusl.cz/ntk/nusl-294410
Autor:
Parízek, Pavel, Lhoták, Ondřej
Publikováno v:
In Science of Computer Programming 1 February 2015 98 Part 4:735-763
Autor:
Kápl, Roman, Parízek, Pavel
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems
Computers store numbers in two mutually incompatible ways: little-endian or big-endian. They differ in the order of bytes within representation of numbers. This ordering is called endianness. When two computer systems, programs or devices communicate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::ad3593f51bd3e66dee0f931e5fc8bbca
http://europepmc.org/articles/PMC7480700
http://europepmc.org/articles/PMC7480700
Publikováno v:
In Electronic Notes in Theoretical Computer Science 6 October 2009 253(1):145-160
Autor:
Parizek, Pavel, Plasil, Frantisek
Publikováno v:
In Electronic Notes in Theoretical Computer Science 29 June 2007 182:139-153
Autor:
Parizek, Pavel, Plasil, Frantisek
Publikováno v:
In Electronic Notes in Theoretical Computer Science 31 May 2007 176(2):143-154
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:
Daniel, Jakub, Parízek, Pavel
A popular approach to verification of software system correctness is model checking. To achieve scalability needed for large systems, model checking has to be augmented with abstraction. In this paper, we provide an overview of selected techniques of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bab41ca5d68e1285e742bca650eb40fd
Autor:
Parízek, Pavel
The thesis begins with discussion of usability of transactions in peer-to-peer environment, with the result that transactions are useful for some kinds of peer-to-peer applications, and specifies requirements on transaction coordination protocol that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::47b2deeaaf01981d79a7b7f9050129e3
http://www.nusl.cz/ntk/nusl-440918
http://www.nusl.cz/ntk/nusl-440918
Autor:
Parízek, Pavel
Publikováno v:
Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p291-310, 20p