Theses on the same topic (having an identical keyword):
state compressionKeywords ordered alphabetically | Keywords ordered by occurrence rate
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Theses on a related topic
Compression of connectivity for meshes with known geometry
(Stanislav KAFARA)2024, Bakalářská práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//ygomxu// | Informatika a výpočetní technika / Informatika | Theses on a related topic
Huffmanovo kódování stavů v DiVinE
(Jaroslav Šeděnka)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xzhzl/ | Aplikovaná informatika / | Theses on a related topic