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
2013
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, year: 2013, volume: 49, edition: 1, DOI
-
GPU-accelerated DXT and JPEG compression schemes for low-latency network transmissions of HD, 2K, and 4K video
Future Generation Computer Systems, year: 2013, volume: 29, edition: 8, DOI
-
Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics
International Journal of Robotics Research, year: 2013, volume: 32, edition: 5, DOI
2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, year: 2012, volume: 22, edition: 2, DOI
-
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
Proceedings of the 51st IEEE Conference on Decision and Control, year: 2012
-
Automatically Optimized GPU Acceleration of Element Subroutines in Finite Element Method
Symposium on Application Accelerators in High Performance Computing, year: 2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI
-
Factorization for Component-Interaction Automata
SOFSEM 2012: Theory and Practice of Computer Science, year: 2012
-
GPU-specific reformulations of image compression algorithms
Proceedings of Applications of Digital Image Processing XXXV, year: 2012
-
Checking Sanity of Software Requirements
Proceedings of the 10th International Conference on Software Engineering and Formal Methods, year: 2012