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
-
Modeling and Predicting Students Problem Solving Times
Proceedings of the 38th International Conference on Current Trends in Theory and Practice of Computer Science, rok: 2012
-
MOLEonline 2.0: Interactive Web-based Analysis of Biomacromolecular Channels
Nucleic Acids Research, rok: 2012, ročník: 40, vydání: W1, DOI
-
MUSE – The Framework for Multi-Sensor Touch-Based Interaction
Rok: 2012, druh: Další prezentace na konferencích
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, rok: 2012
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, rok: 2012, ročník: 2012, vydání: 92, DOI
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, rok: 2012
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, rok: 2012, ročník: 9, vydání: 3, DOI
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, rok: 2012, ročník: 77, vydání: 12, DOI
-
Parameterized Algorithms on Width Parameters of Graphs
Rok: 2012, druh: Účelové publikace
-
Pseudo-Telepathy Games
Quantum Entanglement, rok: 2012, počet stran: 18 s.