Informace o projektu
Vysoce paralelní a distribuované výpočetní systémy
- Kód projektu
- MSM0021622419
- Období řešení
- 1/2005 - 12/2011
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Výzkumné záměry
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Další fakulta/pracoviště MU
- Přírodovědecká fakulta
- Další fakulta/pracoviště MU
- Ústav výpočetní techniky
- Klíčová slova
- distribuovaně a paralelně pracující systémy
Rozpracování teoretických základů a vývoj metod pro efektivní výstavbu a analýzu rozsáhlých, komplexních, rozšiřitelných, vysoce spolehlivých a bezpečných souběžných systémů a pro efektivní využití výpočetního a komunikačního potenciálu velkých, distribuovaně a paralelně pracujících systémů tvořených heterogenními i homogenními sítěmi výpočetních zdrojů. Výzkumné a vývojové aktivity se soustředí na využití paralelních a distribuovaných výpočetních systémů k řešení výpočetně enormně náročných úloh a na zpracování extrémně velkých objemů distribuovaných dat, dále na vývoj automatizovaných metod pro analýzu, verifikaci a validaci těchto systémů, na výzkum nových prostředků kvantového paralelismu a přístupů vedoucích ke kombinaci paralelních a distribuovaných technik k řešení výpočetně těžkých problémů s využitím nového paradigmatu tvorby rozlehlých výpočetních sítí typu GRID, speciálně v oblasti automatické analýzy důležitých multidimenzionálních biomedicínských dat získaných pomocí optické mikroskopie.
Výsledky
Předpokládané výzkumné výsledky budou mít standardní formu zahrnující publikace ve sbornících mezinárodních vědeckých konferencí a symposií a v mezinárodních vědeckých časopisech. Kromě toho lze očekávat experimentální výsledky a implementace prototypů.
Publikace
Počet publikací: 876
2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), rok: 2010
-
Reachability Problems
Rok: 2010, druh: Editorství tématického sborníku
-
Real-time visio-haptic interaction with static soft tissue models having geometric and material nonlinearity
Computers & Graphics, rok: 2010, ročník: 34, vydání: 1
-
Recycling of qubits
Physica Scripta, rok: 2010, ročník: 82, vydání: T140
-
Rozvrhování předmetů pro univerzitu
Rok: 2010, druh: Další prezentace na konferencích
-
Scalable shared memory LTL model checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2010, ročník: 12, vydání: 2, DOI
-
Searching via walking: How to find a marked clique of a complete graph using quantum walks
Physical Review A, rok: 2010, ročník: 81, vydání: 6
-
Self-organizing Collaborative Environments
Rok: 2010, druh: Účelové publikace
-
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2010
-
Single-shot discrimination of quantum unitary processes
Journal of Modern Optics, rok: 2010, ročník: 57, vydání: 3