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
-
Model Checking Probabilistic Pushdown Automata
Logical Methods in Computer Science, rok: 2006, ročník: 2, vydání: 1-2
-
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Automated Technology for Verification and Analysis (ATVA'06), rok: 2006
-
Multi-Point Uncompressed HD Conferencing Using UltraGrid
Rok: 2006, druh: Vyžádané přednášky
-
MyProxy and EGEE
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Návrh algoritmů II
Rok: 2006, druh: Učební texty, pomůcky
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), rok: 2006
-
On Decidability of LTL Model Checking for Process Rewrite Systems
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, rok: 2006
-
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
On Symbolic Verification of Weakly Extended PAD
Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06, rok: 2006
-
On the Crossing Number of Almost Planar Graphs
Rok: 2006, druh: Konferenční abstrakty