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
2008
-
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), rok: 2008
-
The crossing number of a projective graph is quadratic in the face--width
Electronic Journal of Combinatorics, rok: 2008, ročník: 15, vydání: 1
-
The Satisfiability Problem for Probabilistic CTL
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, rok: 2008
-
Unambiguous comparison of ensembles of quantum states
Physical Review A (Atomic, Molecular, and Optical Physics), rok: 2008, ročník: 77, vydání: 1
-
Undecidability of Bisimilarity by Defender's Forcing
Journal of the ACM, rok: 2008, ročník: 55/2008, vydání: 1
-
Úvod do IPv6
Rok: 2008, druh: Popularizační texty
-
Verification of Infinite State Probabilistic Systems
Rok: 2008, druh: Vyžádané přednášky
-
VirtCloud & CoUniverse: On E2E Services for Grids and Multimedia
Rok: 2008, druh: Vyžádané přednášky
2007
-
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007)
Rok: 2007, druh: Editorství tématického sborníku
-
A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy
3rd International Symposium on Visual Computing, rok: 2007