Informace o projektu
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace III.
(FI MAV III.)
- Kód projektu
- MUNI/A/0855/2013
- Období řešení
- 1/2014 - 12/2014
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Grantová agentura MU
- DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Tomáš Babiak, Ph.D.
- prof. RNDr. Jiří Barnat, Ph.D.
- RNDr. František Blahoudek, Ph.D.
- prof. RNDr. Luboš Brim, CSc.
- prof. RNDr. Ivana Černá, CSc.
- Mgr. Marek Derňár
- Mgr. Sven Dražan
- prof. RNDr. Jozef Gruska, DrSc.
- doc. RNDr. Eva Hladká, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- RNDr. Pavel Karas, Ph.D.
- prof. RNDr. Michal Kozubek, Ph.D.
- prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
- prof. RNDr. Antonín Kučera, Ph.D.
- RNDr. Jiří Matela, Ph.D.
- doc. RNDr. Pavel Matula, Ph.D.
- doc. RNDr. Petr Matula, Ph.D.
- prof. RNDr. Luděk Matyska, CSc.
- RNDr. Ondrej Moriš
- doc. RNDr. Petr Novotný, Ph.D.
- doc. Mgr. Radek Pelánek, Ph.D.
- RNDr. Petr Ročkai, Ph.D.
- doc. Mgr. Hana Rudová, Ph.D.
- RNDr. Jiří Řihák, Ph.D.
- RNDr. David Sehnal, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- RNDr. Mária Svoreňová, Ph.D.
- Mgr. Karel Štěpka, Ph.D.
- RNDr. Pavel Troubil, Ph.D.
Projekt je zaměřen na podporu výzkumné a vývojové činnosti studentů programů doktorského a magisterského studia, kteří jsou vedeni převážně školiteli, kteří participovali na stejnojmenných projektech specifického výzkumu z let 2010-12 a 2013 řešených na FI MU. Problematika navrhovaného projektu na uvedené a úspěšně řešené projekty navazuje a dále ji rozšiřuje o perspektivní a originální směry výzkumu tak, aby došlo k dalšímu rozvoji VaV činnosti zúčastněných studentů i vzhledem k synergii s projekty operačních programů VaVpI a Podnikání a inovace, zejména v návaznosti na využití výzkumu směrem k aplikacím v budovanému centru CERIT. Jedná se o výzkum a vývoj v oblastech použití formálních metod při modelování, analýze a verifikaci systémů: 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 přírodně motivovaných systémů, zejména biologických a též kvantových výpočtů a analýzy jejich vlastností. Další související 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ů. Tyto oblasti jsou na aplikační úrovni často provázány na využívání rozsáhlých výpočetních systémů (například typu cloud atp.) a moderních paralelních architektur, např. typu CUDA, GPGPU (General Purpose Graphic Processing Unit) a many-core GPU. Další popis projektu je strukturován dle jednotlivých oblastí tak, jak byly právě sumarizovány a po obsahové stránce jsou specifikovány níže v části "Odborná charakteristika projektu".
V oblastech uvedených pod označením A až K pracují tito školitelé - akademičtí zaměstnanci FI:
A: doc. RNDr. Jiří Barnat, PhD.; B: prof. RNDr. Luboš Brim, CSc.; C: prof. RNDr. Ivana Černá, CSc.; D: prof. RNDr. Jozef Gruska, DrSc;. E: doc. RNDr. Petr Hliněný, Ph.D.; F: prof. RNDr. Michal Kozubek, PhD. doc. RNDr. Pavel Matula, PhD, doc. RNDr. Petr Matula, PhD; G: prof. RNDr. Mojmír Křetínský, CSc. doc. RNDr. Jan Strejček, PhD; H: prof. RNDr. Antonín Kučera, PhD.; I: prof. RNDr. Luděk Matyska, CSc.doc. RNDr. Eva Hladká, PhD; J: doc. Mgr. Radek Pelánek, PhD.; K: doc. Mgr. Hana Rudová, Ph.D.
Publikace
Počet publikací: 60
2014
-
Symbolic Memory with Pointers
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
-
Temporal Verification of Simulink Diagrams
Proceedings of HASE 2014, rok: 2014
-
Texture Analysis Using 3D Gabor Features and 3D MPEG-7 Edge Histogram Descriptor in Fluorescence Microscopy
4th International Conference on 3D Imaging (IC3D), rok: 2014
-
The Performance of the Czech National Grid Infrastructure after Major Reconfiguration of Job Scheduling System
Cracow Grid Workshop 2014, rok: 2014
-
Understanding the Importance of Interactions among Job Scheduling Policies
Memics 2014, rok: 2014
-
User-aware Distributed User Interface for Tiled-display Environments
4th Workshop on Distributed User Interfaces and Multimodal Interaction, rok: 2014
-
Using Problem Solving Times and Expert Opinion to Detect Skills
Proceedings of the 7th International Conference on Educational Data Mining, rok: 2014
-
Verification of Markov Decision Processes using Learning Algorithms
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
-
WDDMan 1.0
Rok: 2014
-
Zero-reachability in probabilistic multi-counter automata
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2014