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
-
Automatic Fusions of CUDA-GPU Kernels for Parallel Map
Computer architecture news, rok: 2011, ročník: 39, vydání: 4
-
Boundary Treatment for Young-van Vliet Recursive Zero-Mean Gabor Filtering
EURASIP Journal on Advances in Signal Processing, rok: 2011, ročník: 2011, vydání: ID 234090, DOI
-
Clique-width: When Hard Does Not Mean Impossible
28th International Symposium on Theoretical Aspects of Computer Science STACS2011, rok: 2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011
-
Convolution of Large 3D Images on GPU and its Decomposition
EURASIP Journal on Advances in Signal Processing, rok: 2011, ročník: 2011, vydání: 120, DOI
-
CUDA Accelerated LTL Model Checking - Revisited
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011
-
Cycle Avoidance in Integer Programming for Media Streams Planning
Rok: 2011, druh: Další prezentace na konferencích
-
Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling
IEEE Transactions on Industrial Electronics, rok: 2011, ročník: 58, vydání: 8, DOI
-
Efficient Computation of Morphological Greyscale Reconstruction
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), rok: 2011