Informace o projektu
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
- Kód projektu
- GD102/05/H050
- Období řešení
- 4/2005 - 12/2008
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Klíčová slova
- souběžnost, verifikace, modelování, kvantové výpočty, diskrétní matematika
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Cílem projektu je vytvoření kvalitativně nového typu výchovy doktorandů, který odpovídá současným mezinárodním trendům. Projekt je zaměřen na vysoce aktuální oblast paralelních a distribuovaných systémů. Počítá se zapojením 18 velmi perspektivních doktorandů ročně. Při vytváření nové kvality bude využito jak bohatých vědeckých, aplikačních a výchovných zkušeností týmu školitelů, tak již vybudované struktury laboratoří, existujících systémů seminářů a bohatých mezinárodních kontaktů. Těžištěm nového přístupu je důraz na kooperativní a mezinárodní charakter výchovy dokotrandů, týmovou práci v laboratořích a zapojení studentů do mezinárodních doktorandských aktivit. Projekt počítá s propojením výzkumných skupin, které v současné době existují na Fakultě informatiky MU v Brně, na Přírodovědecké fakultě MU v Brně a na Fakultě informačních technologií VUT v Brně. Kombinuje se tak základní a aplikovaný výzkum, který je na těchto institucích realizován. Pro výchovu studentů DSP již byly vytvořeny dobré podmínky (včetně technického a přístrojového vybavení). Cílem projektu je posunout tuto kvalitu o další stupeň výše a dostat se tak na úroveň špičkových mezinárodních vědecko-výzkumných center.
Výsledky
Vybudovat prostředí pro vědeckou přípravu studentů DSP v informatice, které by dlouhodobě garantovalo výchovu špičkových odborníků pro akademickou i průmyslovou sféru.
Publikace
Počet publikací: 80
2006
-
Load Balancing in Peer-to-Peer Data Networks
MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, rok: 2006
-
Metric Similarity Search Implementation Framework (MESSIF)
Rok: 2006
-
M-Chord: A Scalable Distributed Similarity Search Structure
InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, rok: 2006
-
M-Chord: Distributed Data Structure for Similarity Search
Rok: 2006
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), rok: 2006
-
On Decidability of LTL Model Checking for Process Rewrite Systems
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, rok: 2006
-
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
Rok: 2006, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
On Scalability of the Similarity Search in the World of Peers
InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, rok: 2006
-
Packet Filtering for FPGA-Based Routing Accelerator
CESNET Conference 2006 Proceedings, rok: 2006
-
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006