Project information
Project information
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ů
- Project Identification
- GD102/09/H042
- Project Period
- 1/2009 - 12/2012
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Doctor grants
- MU Faculty or unit
- Faculty of Informatics
- Cooperating Organization
-
Brno University of Technology
- Responsible person prof. RNDr. Milan Češka, CSc.
Publications
Total number of publications: 78
2012
-
Improving the Hadamard extractor
Theoretical Computer Science, year: 2012, volume: 459, edition: 9 Nov 2012, DOI
-
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Lecture Notes in Computer Science 7119, year: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), year: 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, year: 2012
-
Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers
Year: 2012, type:
-
Multi-level Privacy Protection Framework for Wireless Sensor Networks
MEMICS 2012, Eighth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2012
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, year: 2012
-
Query Language for Complex Similarity Queries
Year: 2012, type:
-
Query Language for Complex Similarity Queries
Advances in Databases and Information Systems, LNCS 7503, year: 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), year: 2012