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
2007
-
Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells
Apoptosis, rok: 2007, ročník: 12, vydání: 7
-
Bioinformatic predictions and image analysis of localization and interactions of endonuclease G, AIF, and AMID in human cells
Rok: 2007, druh: Konferenční abstrakty
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, rok: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Rok: 2007, druh: Další prezentace na konferencích
-
CEQIP 2007
Rok: 2007, druh: Uspořádání workshopu
-
Classical Winning Strategies for the Matching Game
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2007
-
Classical Winning Strategies for the Matching Game
Asian Conference on Quantum Information Science, rok: 2007
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Innovative Applications of Information Technology for the Developing World, rok: 2007
-
Community Building in Distance Learning Environments: Using uncompressed high-definition videos as a medium for classroom interactivity.
Rok: 2007, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science, rok: 2007, ročník: 182, vydání: 1