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
-
Encryption with weakly random keys using a quantum ciphertext
Year: 2012, type: Conference abstract
-
Encryption with weakly random keys using quantum ciphertext
Quantum Information and Computing, year: 2012, volume: 12, edition: 5-6
-
Exploring collaboration in group-to-group videoconferencing
From Research to Practice in the Design of Cooperative Systems: Results and Open Challenges; Proceedings of the 10th International Conference on the Design of Cooperative Systems, year: 2012
-
EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems
Information and Computation, year: 2012, volume: 218, edition: September, DOI
-
Extension of Tamura Texture Features for 3D Fluorescence Microscopy
2012 Second Joint 3DIM/3DPVT Conference: 3D Imaging, Modeling, Processing, Visualization & Transmission, year: 2012
-
Factorization for Component-Interaction Automata
SOFSEM 2012: Theory and Practice of Computer Science, year: 2012
-
Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
-
Generalized Maneuvers in Route Planning
MEMICS 2011 Proceedings, year: 2012
-
Generalized Maneuvers in Route Planning
Computing and Informatics, year: 2012, volume: 31, edition: 3, DOI
-
GPU Optimization of Convolution for Large 3-D Real Images
Proceedings of the International Conference on Advanced Concepts for Intelligent Vision Systems (ACIVS’12), year: 2012