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
2011
-
Efficient Data Representation of Large Job Schedules
MEMICS 2011, Revised Selected Papers, rok: 2011
-
Efficient Grid Scheduling through the Incremental Schedule-based Approach
Computational Intelligence, rok: 2011, ročník: 27, vydání: 1, DOI
-
Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures
Data Compression Conference (DCC), 2011, rok: 2011
-
Efficient Loop Navigation for Symbolic Execution
Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, rok: 2011
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, rok: 2011, ročník: 103, vydání: 2, DOI
-
Event-based Optimization of Schedules for Grid Jobs
Rok: 2011, druh: Účelové publikace
-
Exploring Trust in Group-to-Group Video-Conferencing
CHI EA '11 Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems, rok: 2011
-
Fast Anisotropic Filtering and Performance Evaluation Tool for Optical Flow in Biomedical Image Analysis
Rok: 2011, druh: Účelové publikace
-
Fast Tracking Algorithm of GFP-Transfected Living Cells Based on the Chan-Vese Model
Rok: 2011, druh: Konferenční abstrakty
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011