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
2010
-
DiVinE 2.4
Year: 2010
-
DiVinE: Parallel Distributed Model Checker (Tool paper)
Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), year: 2010
-
DML 2010 workshop
Year: 2010, type: Conference
-
Effective Analysis of Infinite State Stochastic Processes and Games
Logics and Languages for Reliability and Security, year: 2010, number of pages: 25 s.
-
Efficient compression of unknown quantum information
Physical Review A, year: 2010, volume: 81, edition: 3
-
Efficient Computation of Morphological Greyscale Reconstruction
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2010
-
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), year: 2010
-
Entanglement-annihilating and entanglement-breaking channels
Journal of Physics A: Mathematical and Theoretical, year: 2010, volume: 43, edition: 27
-
E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis
Year: 2010
-
Equivalent programmable quantum processors
Optics Communications, year: 2010, volume: 283, edition: 5