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
2008
-
Comparison of Multi-Criteria Scheduling Techniques
Grid Computing Achievements and Prospects, rok: 2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, rok: 2008, počet stran: 31 s.
-
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., rok: 2008
-
CoUniverse
Rok: 2008
-
CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications
Lecture Notes in Computer Science vol. 5415 Euro-Par 2008 Workshops - Parallel Processing, rok: 2008
-
Dealing with uncertainties in Grids through the event-based scheduling approach
Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008), rok: 2008
-
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Acta informatica, rok: 2008, ročník: 45, vydání: 2
-
Discounted Properties of Probabilistic Pushdown Automata
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, rok: 2008
-
Discrimination of quantum observables
Rok: 2008, druh: Vyžádané přednášky
-
Discrimination of quantum observables using limited resources
Physical Review A, rok: 2008, ročník: 77, vydání: 1