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í: 874
2010
-
Neviditelnost aneb fyzika neviditelného pláště
Rok: 2010, druh: Vyžádané přednášky
-
Non-Euclidean Cloaking for Light Waves
IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS, rok: 2010, ročník: 16, vydání: 2
-
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width
Discrete Applied Mathematics, rok: 2010, ročník: 158, vydání: 1
-
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes
Information and Computation, rok: 2010, ročník: 208, vydání: February
-
One-Counter Markov Decision Processes
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2010
-
One-Counter Stochastic Games
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), rok: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), rok: 2010
-
Parallel Real-time Deformation Simulator
Rok: 2010
-
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, rok: 2010
-
Parameterized Reliability Prediction for Component-Based Software Architectures
Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), rok: 2010