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
2010
-
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
CONCUR 2010 - Concurrency Theory, year: 2010
-
The importance of complete data sets for job scheduling simulations
Year: 2010, type: Appeared in Conference without Proceedings
-
The importance of complete data sets for job scheduling simulations
Job Scheduling Strategies for Parallel Processing, Revised Selected Papers, year: 2010
-
The Use of Incremental Schedule-based Approach for Efficient Job Scheduling
Year: 2010, type: Conference abstract
-
Translation of LTL to Büchi Automata: Improved Once Again
Proceedings of 9th International Summer School on Modelling and Verifying Parallel Processes 2010 (MOVEP 2010), year: 2010
-
Unitary Noise and the Mermin-GHZ Game
Electronic Proceedings in Theoretical Computer Science, year: 2010, volume: 25, edition: Neuvedeno
-
Unitary Noise and the Mermin-GHZ Game
Year: 2010, type: Conference abstract
-
Using Strategy Improvement to Stay Alive
Games, Automata, Logics and Formal Verification (GandALF) 2010, year: 2010
-
VirtualAir: Open source air traffic simulation and visualization platform
Autumn 2010 Flight Simulation Conference, year: 2010
-
Využití GPU pro urychlení obrazové komprese
Year: 2010, type: Appeared in Conference without Proceedings