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
2008
-
Noise and the Mermin-GHZ Game
Asian Conference on Quantum Information Science, year: 2008
-
Noise and the Mermin-GHZ Game
MEMICS 2008: Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2008
-
On the Controller Synthesis for Finite-State Markov Decision Processes
Fundamenta Informaticae, year: 2008, volume: 82, edition: 1-2
-
ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES
International Journal of Quantum Information, year: 2008, volume: 6, edition: 2
-
Optimal Approximation of Nonphysical Maps via Maximum Likelihood Estimation
Advances in Information Optics and Photonics, year: 2008, number of pages: 20 s.
-
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Electronic Notes in Theoretical Computer Science, year: 2008
-
Partial Order Reduction for State/Event LTL
Year: 2008
-
Penalising Patterns in Timetables: Novel Integer Programming Formulations
Operations Research Proceedings 2007, year: 2008
-
Petri Nets Are Less Expressive Than State-Extended PA
Theoretical Computer Science, year: 2008, volume: 394, edition: 1-2
-
Physics of everyday life
Year: 2008, type: