Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace
(SV-FI MAV)
- Project Identification
- MUNI/A/0914/2009
- Project Period
- 1/2010 - 12/2012
- Investor / Pogramme / Project type
-
Masaryk University
- Grant Agency of Masaryk University
- Category A
- MU Faculty or unit
- Faculty of Informatics
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ů.
Publications
Total number of publications: 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, year: 2012
-
MOLEonline 2.0: Interactive Web-based Analysis of Biomacromolecular Channels
Nucleic Acids Research, year: 2012, volume: 40, edition: W1, DOI
-
MUSE – The Framework for Multi-Sensor Touch-Based Interaction
Year: 2012, type: Appeared in Conference without Proceedings
-
On Approximative Reachability Analysis of Biochemical Dynamical Systems
Transactions on Computational Systems Biology XIV, year: 2012
-
On Expressing and Monitoring Oscillatory Dynamics
Electronic Proceedings in Theoretical Computer Science, year: 2012, volume: 2012, edition: 92, DOI
-
On Parallel Software Verification Using Boolean Equation Systems
SPIN Workshop on Model Checking of Software, year: 2012
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
-
Parameterized Algorithms on Width Parameters of Graphs
Year: 2012, type:
-
Pseudo-Telepathy Games
Quantum Entanglement, year: 2012, number of pages: 18 s.