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
2005
-
On Counting the Number of Consistent Genotype Assignments for Pedigrees
Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), year: 2005
-
On Crossing-Critical Graphs.
Year: 2005, type: Conference abstract
-
On Sampled Semantics of Timed Systems
Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
On the Controller Synthesis for Finite-State Markov Decision Processes
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
On the Decidability of Temporal Properties of Probabilistic Pushdown Automata
Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), year: 2005
-
Optimal manipulations with quantum information: Programmable quantum processors
Year: 2005, type: Appeared in Conference without Proceedings
-
Organizing commitee membership. KIAS-KAIST 2005 Workshop on Quantum Information Science
Year: 2005, type: Workshop
-
Perun -- Fault-Tolerant Management of Grid Resources
Krakow Grid Workshop 2004, year: 2005
-
Physics of qubit applications
Year: 2005, type: Appeared in Conference without Proceedings
-
Probabilistic programmable quantum processors with multiple copies of program states
Physical Review A, year: 2005, volume: Vol. 71, edition: No. 3