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