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
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers, year: 2011
-
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011
-
How Not to Characterize Planar-emulable Graphs
COMBINATORIAL ALGORITHMS, Lecture Notes in Computer Science 7056, year: 2011
-
Image Division Technique in Pre-acquisition Analysis of Information Content for Automated Microscopy
Journal of Microscopy, year: 2011, volume: 242, edition: 3, DOI
-
Integer Linear Programming Models and Cycle Avoidance Methods for Media Streams Planning
Year: 2011, type: Appeared in Conference without Proceedings
-
Integer Linear Programming Models for Media Streams Planning
Lecture Notes in Management Science, year: 2011, volume: 2011, edition: 3
-
Integer Programming for Media Streams Planning Problem
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
-
Media Streams Planning
Year: 2011, type: Conference abstract
-
Media Streams Planning for Larger Groups
Year: 2011, type: Appeared in Conference without Proceedings