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
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI
-
The Mathematical Language of Quantum Theory
Rok: 2012, počet stran: 327 s.
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, rok: 2012
2011
-
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), rok: 2011
-
A Tighter Insertion-based Approximation of the Crossing Number
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, rok: 2011
-
A Tighter Insertion-based Approximation of the Graph Crossing Number
Rok: 2011, druh: Vyžádané přednášky
-
An Improved Riemannian Metric Approximation for Graph Cuts
16th International Conference on Discrete Geometry for Computer Imagery, rok: 2011
-
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011
-
Automated trust negotiation in identity federations using OWL-based abduction of missing credentials
Proceedings of the 6th International Conference forInternet Technology and Secured Transactions (ICITST-2011), rok: 2011
-
Automatic Fusions of CUDA-GPU Kernels for Parallel Map
Second International workshop on highly-efficient accelerators and reconfigurable technologies (HEART), rok: 2011