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
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
-
Důkaz klastrování genů na chromosomových doménách studiem diferenciací buněčných nádorových linií
Year: 2005, type: Conference abstract
-
Dynamics of open quantum systems: Quantum information theory approach
Year: 2005, type: Appeared in Conference without Proceedings
-
Enhancement of Images Acquired using Optical Microscope
Proceedings of the 1st International Summer School on Computational Biology, year: 2005
-
Enhancing Random Walk State Space Exploration
Formal Methods for Industrial Critical Systems, year: 2005
-
Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality
Physical Review A, year: 2005, volume: Vol. 72, edition: No. 4
-
Entanglement-induced state ordering under local operations
Physical Review A, year: 2005, volume: Vol. 73, edition: No. 1
-
Exact and approximate encryption of quantum information
Aspects of Network and Information Security, NATO Security through Science Series, D: Information and Communication Security, year: 2005, number of pages: 16 s.
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, year: 2005, volume: 2005, edition: 133
-
Grid Scheduling and Monitoring
Workshop of the UK Planning and Scheduling Special Interest Group, year: 2005, volume: 2005, edition: -