Project information
Integrated approach to education of PhD students in the area of parallel and distributed systems
- Project Identification
- GD102/05/H050
- Project Period
- 4/2005 - 12/2008
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Doctor grants
- MU Faculty or unit
- Faculty of Informatics
- Keywords
- concurrency, verification, modelling, quantum computing, discrete mathematics
- Cooperating Organization
-
Brno University of Technology
- Responsible person prof. RNDr. Milan Češka, CSc.
The aim of project is to create a new type of framework for PhD studies whose underlying principles are consistent with current international trends. The project focuses on a highly important topic of parallel and distributed systems. The number of PhD students taking part in the project is 18. The new quality should rise both from scientific and educational experience of the advisory team, and from (an already existing) system of laboratories, seminars, and international contacts. The emphasis is on cooperative and international aspects of PhD study programmes. The project further extends the cooperation among three research groups affiliated at the Faculty of Informatics, Masaryk University Brno, the Faculty of Science, Masaryk University Brno, and the Faculty of Information Technology, Brno University of Technology. The current environment for PhD studies existing at all the faculties already meets very good standards. The aim of proposed project is to push this quality to a new level, comparable with the one of international research and educational centers.
Results
Publications
Total number of publications: 80
2006
-
Load Balancing in Peer-to-Peer Data Networks
MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2006
-
Metric Similarity Search Implementation Framework (MESSIF)
Year: 2006
-
M-Chord: A Scalable Distributed Similarity Search Structure
InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, year: 2006
-
M-Chord: Distributed Data Structure for Similarity Search
Year: 2006
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), year: 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, year: 2006
-
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
Year: 2006, type: R&D Presentation
-
On Scalability of the Similarity Search in the World of Peers
InfoScale '06: Proceedings of the 1st international conference on Scalable information systems, year: 2006
-
Packet Filtering for FPGA-Based Routing Accelerator
CESNET Conference 2006 Proceedings, year: 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), year: 2006