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
-
Operational Semantics of Quantum Programming Language LanQ
Rok: 2006, počet stran: 43 s.
-
Optimizing light throughput in fluorescence microscopy
Rok: 2006, druh: Konferenční abstrakty
-
Packet Filtering for FPGA-Based Routing Accelerator
CESNET Conference 2006 Proceedings, rok: 2006
-
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006
-
PATAT 2006: Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling
Rok: 2006, druh: Uspořádání konference
-
Primitives of QIPC
Rok: 2006, druh: Další prezentace na konferencích
-
Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
Rok: 2006, počet stran: 159 s.
-
Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)
Rok: 2006, druh: Účelové publikace
-
Programmable Quantum Processors
Quantum Information Processing, rok: 2006, ročník: Vol. 5, vydání: No. 5
-
Programmable quantum state discriminators with simple programs
Physical Review A, rok: 2006, ročník: Vol. 73, vydání: No. 6