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
2011
-
New perception of Informatics (Nový Zéland)
Rok: 2011, druh: Vyžádané přednášky
-
New perception of Informatics (USA)
Rok: 2011, druh: Vyžádané přednášky
-
New Results on the Complexity of the Max- and Min-Rep Problems
SOFSEM 2011: Theory and Practice of Computer Science, rok: 2011
-
Normalizing for Individual Cell Population Context in the Analysis of High-Content Cellular Screens
BMC Bioinformatics, rok: 2011, ročník: 12, vydání: 485
-
On Euclidean Metric Approximation via Graph Cuts
Computer Vision, Imaging and Computer Graphics. Theory and Applications., rok: 2011
-
opaal: A Lattice Model Checker
Proceedings of the 3rd NASA Formal Methods Symposium ({NFM}'11), rok: 2011
-
Open system dynamics of simple collision models
Quantum Dynamics and Information (Proceedings of the 46th Karpacz Winter School of Theoretical Physics), rok: 2011
-
Optimal unambiguous comparison of two unknown squeezed vacua
Physical Review A, rok: 2011, ročník: 83, vydání: 1, DOI
-
Parameterized Problems Related to Seidel's Switching
Discrete Mathematics & Theoretical Computer Science, rok: 2011, ročník: 13, vydání: 2
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011