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
-
Special Issue on Parallel and Distributed Verification - Foreword
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
-
Standard Definition Stereoscopic Video
Year: 2006, type:
-
Steering chair. AQIS Asian Conference on Quantum Information Science 2006
Year: 2006, type: Conference
-
Stochastic Games with Branching-Time Winning Objectives
21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings, year: 2006
-
Test Input Generation for Java Containers using State Matching
International Symposium on International Symposium on Software Testing and Analysis, year: 2006
-
The Emergence and Challenges of Quantum Informatics
it - Information Technology, year: 2006, volume: 48, edition: 6
-
The firing squad synchronization problem on squares, toruses and rings
International Journal of Foundations of Computer Science, year: 2006, volume: Vol. 18, edition: No. 3
-
The Primitive beyond Voting Schemes
MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2006
-
Transcription density map as a new tool for evaluation of various expression profiles: Ex vivo differentiation of CD34+ cells
Year: 2006, type: Conference abstract
-
Trees, grids, and MSO decidability: From graphs to matroids
Theoretical Computer Science, year: 2006, volume: 351, edition: 3