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
2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
Efficient Computation of Morphological Greyscale Reconstruction
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010
-
Experiments with Job Scheduling in MetaCentrum
Year: 2010, type:
-
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking
Computing and Informatics, year: 2010, volume: 29, edition: 6+
-
Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement
Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), year: 2010
-
GColl: enhancing trust in flexible group-to-group videoconferencing
Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems, year: 2010
-
GPU work at FI MUNI and results
Year: 2010, type: Appeared in Conference without Proceedings
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
MEMICS 2010 Proceedings, year: 2010
-
Graph Cuts and Approximation of the Euclidean Metric on Anisotropic Grids
VISAPP International Conference on Computer Vision Theory and Applications, year: 2010