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
2005
-
Infrastructure for Adaptive Workflows in Semantic Grids
Proceedings of the first CoreGRID Integration Workshop, rok: 2005
-
Instability and Entanglement of the Ground State of the Dicke Model
Physical Review Letters, rok: 2005, ročník: 94, vydání: 16
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1
-
Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie
XXIII. mezinárodní kolokvium o řízení osvojovacího procesu : sborník abstraktů a elektronických verzí příspěvků na CD-ROMu, rok: 2005
-
Lecture Recording, Processing, Archiving, and Streaming
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search
Proceedings of the 2005 ACM symposium on Applied computing, rok: 2005
-
Linear Temporal Logic: Expressiveness and Model Checking
Rok: 2005, počet stran: 148 s.
-
MACEK: A software package for real structural computations with representable matroids
Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
Main challenges and driving forces of IT in the era of globalization
Shanghai Forum, Economic Globalization and the Choice of Asia, rok: 2005
-
Matroid Tree-Width and Chordality
Rok: 2005, druh: Konferenční abstrakty