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
2011
-
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 2011
-
CUDA Accelerated LTL Model Checking - Revisited
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011
-
Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling
IEEE Transactions on Industrial Electronics, year: 2011, volume: 58, edition: 8, DOI
-
Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures
Data Compression Conference (DCC), 2011, year: 2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 2011
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers, year: 2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
-
Modal Transition Systems: Composition and LTL Model Checking
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011