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
-
GPU-specific reformulations of image compression algorithms
Proceedings of Applications of Digital Image Processing XXXV, rok: 2012
-
HEp-2 Cells Classifier
Rok: 2012
-
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012, rok: 2012
-
Checking Sanity of Software Requirements
Proceedings of the 10th International Conference on Software Engineering and Formal Methods, rok: 2012
-
Improving the Hadamard extractor
Theoretical Computer Science, rok: 2012, ročník: 459, vydání: 9 Nov 2012, DOI
-
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Lecture Notes in Computer Science 7119, rok: 2012
-
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), rok: 2012
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), rok: 2012
-
Modal Process Rewrite Systems
Theoretical Aspects of Computing - ICTAC 2012, rok: 2012