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
-
Využití laseru ve světelné mikroskopii při studiu prostorového uspořádání a dynamiky buněčných struktur
Rok: 2010, druh: Vyžádané přednášky
-
Významnou asijskou konferenci vede profesor z České republiky
Rok: 2010, druh: Popularizační texty
-
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Reachability Problems, rok: 2010
2009
-
21 years of Negami's planar cover conjecture
Rok: 2009, druh: Vyžádané přednášky
-
A Fast Level Set-Like Algorithm with Topology Preserving Constraint
13th International Conference on Computer Analysis of Images and Patterns, rok: 2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, rok: 2009
-
A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms
16th Scandinavian Conference on Image Analysis, rok: 2009
-
Alea 2 - job scheduling simulator
Rok: 2009
-
Almost Linear Büchi Automata
Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), rok: 2009
-
Approximating the Crossing Number of Apex Graphs
Symposium Graph Drawing 2008, Lecture Notes in Computer Science, rok: 2009