Hledat
Zobrazují se záznamy 1-2 z 2
Efficient Gathering of Performance Information on Multicore Systems
Efektivní sběr informací o výkonu na multicore systémech
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 11. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Modern multicore processors provide performance counters that export information on various essential aspects of software execution, from instruction decoding to cache utilization. Typically, a processor is capable of ...
Moderní vícejádrové (multicore) procesory mají k dispozici registry, prostřednictvím nichž je možné získávat informace o řadě důležitých aspektů výkonnosti systému, od jednotek pro dekódování instrukcí po využtí pamětí ...
Moderní vícejádrové (multicore) procesory mají k dispozici registry, prostřednictvím nichž je možné získávat informace o řadě důležitých aspektů výkonnosti systému, od jednotek pro dekódování instrukcí po využtí pamětí ...
Fighting the State Explosion Problem in Component Protocols
Fighting the State Explosion Problem in Component Protocols
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 02. 04. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition ...