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
2007
-
Reactive Systems: Modelling, Specification and Verification
Year: 2007, edition: Vyd. 1., number of pages: 300 s.
-
Recycling of quantum information: Multiple observations of quantum systems
Year: 2007, type: Appeared in Conference without Proceedings
-
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
MEMICS proceedings, year: 2007
-
Regularity in Model Checking PDA Games
MEMICS proceedings, year: 2007
-
Relaxed Cycle Condition Improves Partial Order Reduction
3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), year: 2007
-
Scalable Multi-core LTL Model-Checking
Model Checking Software, year: 2007
-
Secure and Pervasive Collaborative Platform for Medical Applications
Studies in Health Technology and Informatics, year: 2007, volume: 126, edition: 1
-
Secure Logistical Networking in Virtual Organizations
Year: 2007
-
Secure Logistical Networking in Virtual Organizations
Cracow'06 Grid Workshop, year: 2007
-
Short introduction to quantum entanglement
Year: 2007, type: Appeared in Conference without Proceedings