Informace o projektu
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Kód projektu
- GD102/09/H042
- Období řešení
- 1/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Publikace
Počet publikací: 78
2012
-
Improving the Hadamard extractor
Theoretical Computer Science, rok: 2012, ročník: 459, vydání: 9 Nov 2012, DOI
-
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Lecture Notes in Computer Science 7119, rok: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), rok: 2012
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012
-
Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers
Rok: 2012, druh: Editorství tématického sborníku
-
Multi-level Privacy Protection Framework for Wireless Sensor Networks
MEMICS 2012, Eighth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2012
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, rok: 2012
-
Query Language for Complex Similarity Queries
Rok: 2012, druh: Účelové publikace
-
Query Language for Complex Similarity Queries
Advances in Databases and Information Systems, LNCS 7503, rok: 2012
-
Reliability analysis in component-based development via probabilistic model checking
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12), rok: 2012