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
2005
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), rok: 2005
-
Důkaz klastrování genů na chromosomových doménách studiem diferenciací buněčných nádorových linií
Rok: 2005, druh: Konferenční abstrakty
-
Dynamics of open quantum systems: Quantum information theory approach
Rok: 2005, druh: Další prezentace na konferencích
-
Enhancement of Images Acquired using Optical Microscope
Proceedings of the 1st International Summer School on Computational Biology, rok: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, rok: 2005
-
Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality
Physical Review A, rok: 2005, ročník: Vol. 72, vydání: No. 4
-
Entanglement-induced state ordering under local operations
Physical Review A, rok: 2005, ročník: Vol. 73, vydání: No. 1
-
Exact and approximate encryption of quantum information
Aspects of Network and Information Security, NATO Security through Science Series, D: Information and Communication Security, rok: 2005, počet stran: 16 s.
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, rok: 2005, ročník: 2005, vydání: 133
-
Grid Scheduling and Monitoring
Workshop of the UK Planning and Scheduling Special Interest Group, rok: 2005, ročník: 2005, vydání: -