Search
Now showing items 1-2 of 2
Fighting the State Explosion Problem in Component Protocols
Fighting the State Explosion Problem in Component Protocols
rigorous thesis
Date Issued:
Date of defense: 02. 04. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Efficient Gathering of Performance Information on Multicore Systems
Efektivní sběr informací o výkonu na multicore systémech
rigorous thesis
Date Issued:
Date of defense: 11. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 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 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 ...