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
2011
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, rok: 2011, ročník: 38, vydání: 2, DOI
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011
-
Flash memory efficient LTL model checking
Science of Computer Programming, rok: 2011, ročník: 76, vydání: 2, DOI
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers, rok: 2011
-
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011
-
History of TC1 - Foundations of Computer Science
Rok: 2011, druh: Přehledové a vzdělávací texty
-
How Not to Characterize Planar-emulable Graphs
COMBINATORIAL ALGORITHMS, Lecture Notes in Computer Science 7056, rok: 2011
-
Image Division Technique in Pre-acquisition Analysis of Information Content for Automated Microscopy
Journal of Microscopy, rok: 2011, ročník: 242, vydání: 3, DOI
-
Impacts of informatics on QIPC
Journal of Nanjing university of Posts and Telecommunications, rok: 2011, ročník: 31, vydání: 2
-
Informatics as basis of new methodology for science
Rok: 2011, druh: Vyžádané přednášky