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
2008
-
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems, rok: 2008
-
Semantics of quantum programming language LanQ
International Journal of Quantum Information, rok: 2008, ročník: 6, vydání: 1 supp
-
Semi-external LTL Model Checking
20th International Conference on Computer Aided Verification, rok: 2008
-
Semi-External LTL Model Checking
Rok: 2008, druh: Konferenční abstrakty
-
Separation between Classical and Quantum Winning Strategies for the Matching Game
International Journal of Foundations of Computer Science, rok: 2008, ročník: 19, vydání: 6
-
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)
-
Special issue: The first provenance challenge
Concurrency and Computation: Practice and Experience, rok: 2008, ročník: 20, vydání: 5, DOI
-
Super-antenna
METAMATERIALS: FUNDAMENTALS AND APPLICATIONS, rok: 2008
-
Superantenna made of transformation media
Rok: 2008, druh: Vyžádané přednášky
-
Superantenna made of transformation media
New Journal of Physics, rok: 2008, ročník: 10, vydání: 115026