Informace o projektu
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Kód projektu
- GD102/09/H042
- Období řešení
- 1/2009 - 12/2012
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Doktorské granty
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. RNDr. Milan Češka, CSc.
Publikace
Počet publikací: 78
2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), rok: 2010
-
Feedback-based Performance Tuning for Self-organizing Multimedia Retrieval Systems
International Conference on Advances in Multimedia (MMEDIA 2010), rok: 2010
-
GPU work at FI MUNI and results
Rok: 2010, druh: Další prezentace na konferencích
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
MEMICS 2010 Proceedings, rok: 2010
-
MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Rok: 2010, druh: Editorství tématického sborníku
-
Neighbor-based Intrusion Detection for Wireless Sensor Networks
ICWMC 2010: The Sixth International Conference on Wireless and Mobile Communications, rok: 2010
-
Neighbor-based Intrusion Detection for Wireless Sensor Networks
Rok: 2010, druh: Konferenční abstrakty
-
Nové koncepty IDS pro bezdrátové senzorové sítě
DSM, rok: 2010, ročník: XIV, vydání: 1
-
On Building a Self-organizing Search System for Multimedia Retrieval
International Workshop on Multimedia and Semantic Technologies (MUST 2010), rok: 2010
-
Process Algebra for Modal Transition Systemses
MEMICS 2010, rok: 2010