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
2015
-
GPU Implementation of Linear Morphological Openings with Arbitrary Angle
Journal of Real-Time Image Processing, rok: 2015, ročník: 10, vydání: 1, DOI
2012
-
A Branch-and-cut Procedure for the Udine Course Timetabling Problem
Annals of Operations Research, rok: 2012, ročník: 194, vydání: 1, DOI
-
Almost linear Büchi automata
Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI
-
AQIS 2008 (12th Asian Conference on Quantum Information Science), Steering Committee Chair
Rok: 2012, druh: Uspořádání konference
-
De-quantisation
AIP Conference Proceedings Volume 1444. The 8th International Conference on Progress in Theoretical Physics (ICPTP 2011), rok: 2012
-
Designing Fast LTL Model Checking Algorithms for Many-core GPUs
Journal of Parallel and Distributed Computing, rok: 2012, ročník: 72, vydání: 9, DOI
-
Endonuclease G interacts with histone H2B and DNA topoisomerase II alpha during apoptosis
Mol Cell Biochem, rok: 2012, ročník: 363, vydání: 1-2, DOI
-
Live cell assays to identify regulators of ER to Golgi trafficking
Traffic, rok: 2012, ročník: 13, vydání: 3, DOI
-
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000
Lecture Notes in Computer Science 7119, rok: 2012
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012