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
2011
-
Modal Transition Systems: Composition and LTL Model Checking
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011
-
Multi-Touch Tiled Screens: New Collaborative Workspace Headstone
Rok: 2011, druh: Další prezentace na konferencích
-
MUSE framework 0.1
Rok: 2011
-
New Development in Planar Emulators
Rok: 2011, druh: Vyžádané přednášky
-
New Results on the Complexity of the Max- and Min-Rep Problems
SOFSEM 2011: Theory and Practice of Computer Science, rok: 2011
-
On Euclidean Metric Approximation via Graph Cuts
Computer Vision, Imaging and Computer Graphics. Theory and Applications., rok: 2011
-
Optimal path planning for surveillance with temporal logic constraints
The International Journal of Robotics Research, rok: 2011, ročník: vol. 30, vydání: no. 14, DOI
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI
-
Problem Response Theory and its Application for Tutoring
Proceedings of the 4th International Conference on Educational Data Mining, rok: 2011