Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
(SV-FI MAV)
- Kód projektu
- MUNI/A/0914/2009
- Období řešení
- 1/2010 - 12/2012
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
- Fakulta / Pracoviště MU
- Fakulta informatiky
Projekt je zameřen na podporu VaV činnosti studentů doktorského a magisterského studia, kteří jsou vedeni školiteli, jež participují na Výzkumném záměru Fakulty informatiky MU "Vysoce paralelní a distribuované výpočetní systémy" (dále jen VZ). Výsledky tohoto VZ byly opakovaně hodnoceny stupněm "vynikající". Problematika navrhovaného projektu je bezprostředně provázána s výše uvedeným VZ a dále ji rozšiřuje o perspektivní a originální směry výzkumu.
Jedná se o výzkum a vývoj v oblastech kvantových výpočtů a analýzu jejich vlastností, použití formálních metod při modelování, analýze a verifikaci: klasických a zejména stochastických systémů i nekonečně stavových, komplexních a softwarově intenzivních systémů, vestavných systémů, komunikačních protokolů a dalších, zejména biologických systémů. Tyto oblasti jsou provázány na využívání paralelních architektur a rozsáhlé výpočetní systémy typu GRIDy. Další oblastí je analýza medicínského obrazu, včetně nově vyvíjených metod analýzy s pomocí HW a-nebo SW prostředků.
Publikace
Počet publikací: 184
2015
-
GPU Implementation of Linear Morphological Openings with Arbitrary Angle
Journal of Real-Time Image Processing, rok: 2015, ročník: 10, vydání: 1, DOI
2013
-
Algorithms for Efficient Computation of Convolution
Design and Architectures for Digital Signal Processing, vydání: Vyd. 1st ed., rok: 2013, počet stran: 30 s.
-
Formal analysis of piecewise affine systems through formula-guided refinement
Automatica, rok: 2013, ročník: 49, vydání: 1, 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
-
Towards User-Aware Multi-Touch Interaction Layer for Group Collaborative Systems
Lecture Notes in Computer Science Volume 7721, rok: 2013
2012
-
A Web-Based Problem Solving Tool for Introductory Computer Science
Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, rok: 2012
-
Abstracting Path Conditions
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, rok: 2012
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI
-
Analysis of a simple model of problem solving times
Proceeding ITS'12 Proceedings of the 11th international conference on Intelligent Tutoring Systems, rok: 2012
-
AQIS 2008 (12th Asian Conference on Quantum Information Science), Steering Committee Chair
Rok: 2012, druh: Uspořádání konference