Project information
Highly Parallel and Distributed Computing Systems
- Project Identification
- MSM0021622419
- Project Period
- 1/2005 - 12/2011
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Research Intents
- MU Faculty or unit
- Faculty of Informatics
- Other MU Faculty/Unit
- Faculty of Science
- Other MU Faculty/Unit
- Institute of Computer Science
- Keywords
- Distributed Computing Systems; parallel Computing Systems
The main goal of this research proposal is to explore in depth how to effectively build and use large, scalable, complex, highly-reliable, and secure concurrent systems and how to make use of the computation and communication potential of large,distributed (also geographically), and parallel systems of heterogeneous computational resources, especially of the so called Grids. Another scientific goal is to design algorithms and automated systems for biomedical data processing using Grids.
Results
Publications
Total number of publications: 875
2006
-
Reduction and Abstraction Techniques for Model Checking
Year: 2006, number of pages: 160 s.
-
Refining Undecidability Border of Weak Bisimilarity.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), year: 2006
-
Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications
ICT 2006, 13th International Conference on Telecommunications, year: 2006
-
Routing, L2 Addressing, and Packet Filtering in a Hardware Engine
Proceedings of MEMICS 2006, year: 2006
-
SECOQC node keystore module and crypto engine
Year: 2006
-
Secure References for Reliable Knowledge Sharing on the Biomedical Grid
Proceedings of the Second Workshop on Mathematical and Engineering Methods in Computer Science, year: 2006
-
Scheduling with Soft CLP(FD) Solver
PATAT 2006: Proceedings of The 6th International Conference on the Practice and Theory of Automated Timetabling, year: 2006
-
Simulation of generators of Markovian dynamics on programmable quantum processors
The European Physical Journal D, year: 2006, volume: Vol. 37, edition: No. 2
-
Single-cell image analysis of cellular localization and colocalization of endonuclease G, AIF and AMID in living cells
Year: 2006, type: Conference abstract
-
Software for the computation and visualization of optical flow between two images
Year: 2006