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
2007
-
Width Parameters Beyond Tree-width and Their Applications
Computer Journal, rok: 2007, ročník: 51, vydání: 3
2006
-
11th International Workshop on Formal Methods for Industrial Critical Systems
Rok: 2006, druh: Uspořádání workshopu
-
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Theoretical Computer Science, rok: 2006, ročník: 358, vydání: 2-3
-
Active Element Network with P2P Control Plane
Rok: 2006, druh: Konferenční abstrakty
-
Active Elements for High-Definition Video Distribution
ICT 2006, 13th International Conference on Telecommunications, rok: 2006
-
Analýza lokalizace a interakce fluorescenčně značených molekul v živých i fixovaných lidských buňkách.
Rok: 2006, druh: Konferenční abstrakty
-
Architectural Interoperability Checking in Visual Coordination Networks
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), rok: 2006
-
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy
Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry, rok: 2006
-
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy
Rok: 2006, druh: Vyžádané přednášky
-
Automated confocal live cell microscopy based on spinning disks
Rok: 2006, druh: Konferenční abstrakty