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í: 875
2006
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
Standard Definition Stereoscopic Video
Rok: 2006, druh: Vyžádané přednášky
-
Steering chair. AQIS Asian Conference on Quantum Information Science 2006
Rok: 2006, druh: Uspořádání konference
-
Stochastic Games with Branching-Time Winning Objectives
21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings, rok: 2006
-
Test Input Generation for Java Containers using State Matching
International Symposium on International Symposium on Software Testing and Analysis, rok: 2006
-
The Emergence and Challenges of Quantum Informatics
it - Information Technology, rok: 2006, ročník: 48, vydání: 6
-
The firing squad synchronization problem on squares, toruses and rings
International Journal of Foundations of Computer Science, rok: 2006, ročník: Vol. 18, vydání: No. 3
-
The Primitive beyond Voting Schemes
MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2006
-
Transcription density map as a new tool for evaluation of various expression profiles: Ex vivo differentiation of CD34+ cells
Rok: 2006, druh: Konferenční abstrakty
-
Trees, grids, and MSO decidability: From graphs to matroids
Theoretical Computer Science, rok: 2006, ročník: 351, vydání: 3