Kešování stavů při procházení stavových prostorů – Mgr. Václav Rosecký
Mgr. Václav Rosecký
Bakalářská práce
Kešování stavů při procházení stavových prostorů
State caching during state space traversal
Anotace:
Cílem práce je naprogramovat v nástroji DiVinE techniky pro kešování stavů při procházení stavového prostoru a tyto techniky následně experimentálně vyhodnotit na dostupné sbírce modelů. Konkrétní cíle: - Implementovat kešování při procházení stavového prostoru. Implementovat několik různých technik kešování. - Provést experimentální vyhodnocení, vyhodnotit potenciál této techniky (jaká je možná paměťová …víceAbstract:
The subject of the thesis is to develop techniques for state caching during state space traversal in a DiVinE tool and these techniques evaluate in a experimental manner on a available collection of models. Particular aims: - To implement state caching during state space traversal. To implement several various techniques of caching. - To carry out experimental evaluation, to evaluate the potential …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 3. 1. 2008
Identifikátor:
https://is.muni.cz/th/idjdl/
Obhajoba závěrečné práce
- Obhajoba proběhla 4. 2. 2008
- Vedoucí: doc. Mgr. Radek Pelánek, Ph.D.
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Knihovna pro časově efektivní ukládání stavových prostorů na pevný disk
Jiří Novosad -
Kešování stavů pod DiVinE
Jitka Kudrnáčová