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
2009
-
Efficient Large-Scale Model Checking
23rd IEEE International Parallel & Distributed Processing Symposium, year: 2009
-
External Memory LTL Model Checking
Year: 2009, type:
-
Faster Algorithm for Mean-Payoff Games
MEMICS 2009, year: 2009
-
Faster Algorithm for Mean-Payoff Games
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), year: 2009
-
FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking
MEMICS 2009: Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2009
-
FastGrid -- The Accelerated Computation of Potential Maps for Molecular Docking
Year: 2009
-
Free tools for automated cell image acquisition and analysis
Year: 2009, type:
-
From classical cryptography to quantum physics through quantum cryptography
Journal of the Indian Institute of Science, year: 2009, volume: 89, edition: 3
-
From classical cryptography to quantum physics through quantum cryptography
Year: 2009, type:
-
From quantum informatics towards a new perception of informatics
Year: 2009, type: