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
-
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
Formal Methods for Industrial Critical Systems (FMICS 2012), year: 2012
-
UltraGrid: Low-Latency High-Quality Video Transmissions on Commodity Hardware
Proceedings of the 20th ACM international conference on Multimedia, year: 2012
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
-
Verification of Systems with Degradation
Computing and Informatics, year: 2012, volume: 31, edition: 3
-
Weak randomness completely trounces the security of QKD
Year: 2012, type: Conference abstract
-
Weak randomness seriously limits the security of quantum key distribution
Physical Review A, year: 2012, volume: 86, edition: 6, DOI
-
When Trees Grow Low: Shrubs and Fast MSO1
Math Foundations of Computer Science MFCS 2012, year: 2012
2011
-
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), year: 2011
-
An Improved Riemannian Metric Approximation for Graph Cuts
16th International Conference on Discrete Geometry for Computer Imagery, year: 2011
-
Automatic Fusions of CUDA-GPU Kernels for Parallel Map
Second International workshop on highly-efficient accelerators and reconfigurable technologies (HEART), year: 2011