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
2010
-
Algorithmic applications of linear rank-width
Rok: 2010, druh: Konferenční abstrakty
-
Almost Linear Büchi Automata
Rok: 2010, druh: Další prezentace na konferencích
-
Analýza obtížnosti logických úloh na základě modelů lidského chování
Kognice a umělý život X, rok: 2010
-
Are there any good digraph width measures?
Parameterized and exact computation, IPEC 2010, rok: 2010
-
Better algorithms for satisfiability problems for formulas of bounded rank-width
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), rok: 2010
-
Comparison of CP and IP Techniques for Data Transfer Planning
Rok: 2010, druh: Konferenční abstrakty
-
Counter-based Abstraction for Symbolic Execution
Rok: 2010, druh: Konferenční abstrakty
-
CUDA Accelerated LTL Model Checking -- Revisited
Proceedings of 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), rok: 2010
-
Decidable Race Condition and Open Coregions in HMSC
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), rok: 2010
-
Difficulty Rating of Sokoban Puzzle
STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium, rok: 2010