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
2012
-
Modal Transition Systems with Weight Intervals
Journal of Logic and Algebraic Programming, rok: 2012, ročník: 81, vydání: 4, DOI
-
Noise and the Magic Square Game
Quantum Information Processing, rok: 2012, ročník: 11, vydání: 2, DOI
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, rok: 2012, ročník: 9, vydání: 3, DOI
-
One-way finite automata with quantum and classical states
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, rok: 2012
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, rok: 2012, ročník: 77, vydání: 12, DOI
-
Parameterized Algorithms on Width Parameters of Graphs
Rok: 2012, druh: Účelové publikace
-
Pseudo-Telepathy Games
Quantum Entanglement, rok: 2012, počet stran: 18 s.
-
Quantum finite automata
Handbook of Finite State Based Models and Applications, rok: 2012, počet stran: 32 s.
-
Smooth Chan-Vese Segmentation via Graph Cuts
Pattern recognition letters : an official publication of the International Association for Pattern Recognition., rok: 2012, ročník: 33, vydání: 10, DOI
-
STANSE: Bug-finding Framework for C Programs
LNCS Proceeding of Memics 2011, rok: 2012