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
2009
-
On Decidability of LTL Model Checking for Process Rewrite Systems
Acta informatica, rok: 2009, ročník: 46, vydání: 1
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009
-
On Determinism in Modal Transition Systems
Theoretical Computer Science, rok: 2009, ročník: 410/2009, vydání: 41
-
On Digraph Width Measures in Parameterized Algorithmics
IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science, rok: 2009
-
On Media Streams Planning Problem in CoUniverse
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2009
-
On-Line Precomputation Algorithm for Real-Time Haptic Interaction with Non-Linear Deformable Bodies
Third Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, rok: 2009
-
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Algorithms - European Symposium on Algorithms (ESA) 2009, rok: 2009
-
Partial Order Reduction for State/Event LTL
Proceedings of the International Conference on Integrated Formal Methods (IFM'09), rok: 2009
-
Prediction of localization and interactions of apoptotic proteins
Journal of Biomedical Science, rok: 2009, ročník: 16, vydání: 59
-
Prediction of localization and interactions of apoptotic proteins
Rok: 2009, druh: Konferenční abstrakty