Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Tom Sidle"'
Publikováno v:
Electronic Notes in Theoretical Computer Science. 144(3):45-58
Concurrency in multithreaded programs introduces additional complexity in software verification and testing, and thereby significantly increases the cost of Quality Assurance (QA). We present a case study in which a specialized model checker was used
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe05614c9ac2991fd18b46bdb1de2575
Autor:
Ishihara, T., Fallah, F.
Publikováno v:
Proceedings of the 2005 IEEE ACM International Conference Computer-aided Design; 5/31/2005, p995-1001, 7p
Publikováno v:
14th Asian Test Symposium (ATS'05); 2005, p460-460, 1p
Autor:
Labus, David, Löwensteinová, Miriam
Jako byla pro západní kulturní tradici po staletí jednou z ústředních hodnot svoboda a kreativita jednotlivce, tak roli pomyslného středobodu ve východních kulturách hrála po tisíciletí ortodoxie per se. Na pozadí přitom stálo v mno
Autor:
Oldřich Král
Oldřich Král (1930-2018) byl jedním z předních českých sinologů a zakladatelem pražské komparatistiky po roce 1989. Vystudoval sinologii a anglistiku, působil na Filozofické fakultě UK a v Orientálním ústavu. Po roce 1969 byl nucen z
'This book collects the best practices FPGA-based Prototyping of SoC and ASIC devices into one place for the first time, drawing upon not only the authors'own knowledge but also from leading practitioners worldwide in order to present a snapshot of b