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
2006
-
Distributed Verification: Exploring the Power of Raw Computing Power
5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), year: 2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, year: 2006
-
DiVinE Library
Year: 2006
-
Do Gridu snadno a rychle - prostředí VOCE
Zpravodaj ÚVT MU, year: 2006, volume: 16, edition: 3
-
Entanglement vs. local operations
Year: 2006, type:
-
Entanglement, purity and energy: Two qubits vs Two modes
Physical Review A, year: 2006, volume: Vol. 74, edition: No. 4
-
Environmental Modelling with Uncertainty
20th International Conference on Informatics for Environmental Protection. Managing Environmental Knowledge, year: 2006
-
Equivalence-free exhaustive generation of matroid representations
Discrete Applied Mathematics, year: 2006, volume: 154, edition: 8
-
Equivalence-Checking on Infinite-State Systems: Techniques and Results
Theory and practice of logic programming, year: 2006, volume: 6, edition: 3
-
Escape-width: Measuring "width" of digraphs
Year: 2006, type: Conference abstract