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
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, rok: 2006, ročník: 31, vydání: 2
-
Component-Interaction Automata Modelling Language
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width
SIAM Journal on Discrete Mathematics, rok: 2006, ročník: 20, vydání: 4
-
Crossing Number is Hard for Cubic Graphs
Journal of Combinatorial Theory, Ser B, rok: 2006, ročník: 96, vydání: 4
-
Designing a Distributed Mediator for the C-GMA Monitoring Architecture
Proceedings of the Austrian Hungarian Workshop on Parallel and Distributed Systems 2006, rok: 2006
-
Different time solutions for the firing squad synchronization problem on basic grid networks
RAIRO - Theoretical Informatics and Applications, rok: 2006, ročník: Vol. 40, vydání: No. 2
-
Distributed Active Element for High-Performance Data Distribution
Network and Parallel Computing (NPC 2006), rok: 2006
-
Distributed and collaborative visualization of large data sets using high-speed networks
Future Generation Computer Systems, rok: 2006, ročník: 22, vydání: 8
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006