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
2018
-
A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion
Journal of Computer and System Sciences, rok: 2018, ročník: 97, vydání: 1, DOI
-
Meta-kernelization using well-structured modulators
Discrete Applied Mathematics, rok: 2018, ročník: 248, vydání: 1, DOI
-
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
STACS 2018, rok: 2018
-
On the complexity of rainbow coloring problems
Discrete Applied Mathematics, rok: 2018, ročník: 246, vydání: 1, DOI
-
Small Resolution Proofs for QBF using Dependency Treewidth
STACS 2018, rok: 2018
-
Solving Problems on Graphs of High Rank-Width
Algorithmica, rok: 2018, ročník: 80, vydání: 2, DOI
-
Sum-of-Products with Default Values: Algorithms and Complexity Results
IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), rok: 2018
-
The complexity landscape of decompositional parameters for ILP
ARTIFICIAL INTELLIGENCE, rok: 2018, ročník: 257, vydání: 1, DOI
2016
-
Meta-kernelization with structural parameters
Journal of Computer and System Sciences, rok: 2016, ročník: 82, vydání: 2, DOI
-
Model Checking Existential Logic on Partially Ordered Sets
ACM Trans. Comput. Log., rok: 2016, ročník: 17, vydání: 2, DOI