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
2011
-
Towards Collaborative System Based on Tiled Multi-Touch Screens
TEI '11 Work-in-Progress Workshop Proceedings, year: 2011
-
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics
Parameterized and Exact Computation, year: 2011
-
Unitary Noise and the Mermin-GHZ Game
Journal of Nanjing university of Posts and Telecommunications, year: 2011, volume: 31, edition: 2, DOI
-
Using Neighborhood Diversity to Solve Hard Problems
Year: 2011, type: Appeared in Conference without Proceedings
-
What Determines Difficulty of Transport Puzzles?
Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, year: 2011
2010
-
A Fast Level Set-Like Algorithm for Region-Based Active Contours
6th International Symposium on Visual Computing, year: 2010
-
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2010
-
A Symbolic Approach to Controlling Piecewise Affine Systems
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
-
Alea 2 - Job Scheduling Simulator
SIMUTools'10 3rd International Conference on Simulation Tools and Techniques, year: 2010
-
Algorithm for Two-Energy Games
Mathematical and Engineering Methods in Computer Science (MEMICS) 2010, year: 2010