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: 876
2009
-
Quantum searches on highly symmetric graphs
Physical Review A, year: 2009, volume: 79, edition: 1
-
Random unitary qubit channels: entropy relations,private quantum channels and non-malleability
The European Physical Journal D, year: 2009, volume: 53, edition: 3
-
Reachability is decidable for weakly extended process rewrite systems
Information and Computation, year: 2009, volume: 207, edition: 6
-
Recent developments in quantum cryptography
Year: 2009, type:
-
Regularity in PDA Games Revisited
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 251
-
Segmentation of Touching Cell Nuclei using a Two-Stage Graph Cut Model
16th Scandinavian Conference on Image Analysis, year: 2009
-
SOFSEM 2009: Theory and Practice of Computer Science
Year: 2009, type:
-
SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science : Špindlerův Mlýn, Czech Republic, January 2009, Proceedings
Year: 2009, type:
-
Space Effective Model Checking for Component-Interaction Automata
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), year: 2009
-
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
Proceedings of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pages 84-89, volume 5799 of LNCS, Springer-Verlag, 2009, year: 2009