Hledat
Zobrazují se záznamy 11-14 z 14
Preprocesor Java bytecode pro verifikační nástroje
Java Bytecode Preprocessor for Program Verification Tools
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 16. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nástroje J2BP a PANDA umožňují verifikovat zkompilované Java programy. V současné době tyto nástroje nejsou schopny správně zpracovat programy s určitými sekvencemi instrukcí JVM bytecodu. Tyto sekvence instrukcí jsme ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences ...
Rozšířený editor komponentových architektur pro MEF
Enhanced Editor of MEF Component Architectures
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2014
Datum obhajoby: 08. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Managed Extensibility Framework umožňuje vývoj komponentových aplikací v .NET. Vztahy mezi komponentami však mohou být složité. Z těchto důvodů byl v minulosti, jako součást autorovy bakalářské práce, vytvořen MEF Editor, ...
Managed Extensibility Framework allows development of component-based .NET applications. However relations between components can be quite complex. Therefore the MEF Editor was implemented in context of author's bachelor ...
Managed Extensibility Framework allows development of component-based .NET applications. However relations between components can be quite complex. Therefore the MEF Editor was implemented in context of author's bachelor ...
Multiplatformní mobilní aplikace databázového systému Matylda
Multi-platform mobile application of database system Matylda
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2016
Datum obhajoby: 08. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Systém Matylda vznikl za účelem poskytnutí detailní databáze a webového rozhraní pro vyhledávání, filtrování a porovnávání zboží z oblasti potravin a drogerie. Cílem práce je k tomuto systému vytvořit uživatelsky přívětivou ...
System Matylda was created in order to provide a database and web interface which allows sorting, filtering and comparing of products from food and drugstore industry. The goal of this thesis is to create a user friendly ...
System Matylda was created in order to provide a database and web interface which allows sorting, filtering and comparing of products from food and drugstore industry. The goal of this thesis is to create a user friendly ...
Přenositelnost systému souborů zlomekFS
Portability in zlomekFS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2013
Datum obhajoby: 27. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: ZlomekFS je distribuovaný souborový systém určený k transparentnímu sdílení adresářových stromů, který byl vytvořen pro operační systém Linux. Tato práce zkoumá zlomekFS z hlediska jeho přenositelnosti na jiné operační ...
ZlomekFS is a distributed file system created for transparent sharing of directory trees designed for the Linux operating system. This work deals with the possibility of zlomekFS portability to another operating system ...
ZlomekFS is a distributed file system created for transparent sharing of directory trees designed for the Linux operating system. This work deals with the possibility of zlomekFS portability to another operating system ...