Go to main content | Go to main menu | Go to search

Project information
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (FI MAV II.)

Information

This project doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Project Identification
MUNI/A/0760/2012
Project Period
1/2013 - 12/2013
Investor / Pogramme / Project type
Masaryk University
  • Grant Agency of Masaryk University
  • Category A
MU Faculty or unit
Faculty of Informatics

Projekt je zaměřen na podporu výzkumné a vývojové činnosti studentů doktorského a magisterského studia, kteří jsou vedeni převážně školiteli, kteří participovali na stejnojmenném projektu specifického výzkumu z let 2010-12 řešeném na FI MU a na Výzkumném záměru Fakulty informatiky MU „Vysoce paralelní a distribuované výpočetní systémy“ řešeném v letech 2005-2011.

Problematika navrhovaného projektu na uvedené 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 doktorského studia vzhledem k synergii s projekty operační programů VaVpI a Podnikání a inovace, zejména v návaznosti na využití výzkumu směrem k aplikacím a 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: 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ů a kvantových výpočtů a analýzu jejich vlastností. 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ů.
Tyto oblasti jsou na aplikační úrovni často provázány na využívání rozsáhlých výpočetních systémů 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 oblastí, jež jsou vedeny jednotlivými školiteli pod následujícími zkratkami:

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.;
G: prof. RNDr. Mojmír Křetínský, CSc.;
H: prof. RNDr. Antonín Kučera, PhD.;
I: prof. RNDr. Luděk Matyska, CSc.;
J: doc. Mgr. Radek Pelánek, PhD.;
K: doc. Mgr. Hana Rudová, Ph.D.

Oblasti jsou po obsahové stránce specifikovány níže v části "Odborná charakteristika projektu".

Publications

Total number of publications: 43

2014

2013

Previous 1 2 3 4 5 Next

You are running an old browser version. We recommend updating your browser to its latest version.

More info