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
2012
-
Arrangement of nuclear structures is not transmitted through mitosis but is identical in sister cells
Journal of Cellular Biochemistry, rok: 2012, ročník: 113, vydání: 11, 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
-
Bézier Shell Finite Element for Interactive Surgical Simulation
VRIPHYS 12: 9th Workshop on Virtual Reality Interactions and Physical Simulations, rok: 2012
-
BH3-ONLY PROTEINS - FROM STRUCTURE TO FUNCTION
Rok: 2012, druh: Další prezentace na konferencích
-
ClabureDB
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
-
Deterministic Automata for the (F,G)-fragment of LTL
Computer Aided Verification - 24th International Conference, rok: 2012
-
Dual-Priced Modal Transition Systems with Time Durations
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012