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: 874
2006
-
Quantum automata
Year: 2006, type: Appeared in Conference without Proceedings
-
Quantum complexity impacts on quantum physics
Year: 2006, type: Appeared in Conference without Proceedings
-
Quantum entanglement and non-locality as new resources for quantum computation and communication
Year: 2006, type: Appeared in Conference without Proceedings
-
Quantum entanglement and non-locality as new resources for quantum computation, communication and cryptography
16. Theorietag, Automaten und Formale Sprache, year: 2006
-
Quantum finite automata
Studies in Computational Intelligence, Recent Advantages in Formal Languages and Applications, year: 2006, volume: 2006, edition: Vol. 25
-
Quantum informatics paradigms and tools for QIPC
Proceedings of Quantum Computing: BackAction 2006, year: 2006
-
Quantum process estimation procedures
Year: 2006, type: Appeared in Conference without Proceedings
-
Quantum walks with random phase shifts
Physical Review A, year: 2006, volume: Vol. 74, edition: No. 2
-
Reachability in Recursive Markov Decision Processes
17th International Conference on Concurrency Theory, year: 2006
-
Reduction and Abstraction Techniques for Model Checking
Year: 2006, number of pages: 160 s.