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
-
Combination of cDNA microarray technology and fluorescence leads to better understanding of relationships between gene expression and epigenetic regulation
Year: 2005, type: Conference abstract
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Proceedings of SAVCBS 2005, year: 2005
-
Component-Interaction Automata for Specification and Verification of Component Interactions
IFM 2005 Doctoral Symposium on Integrated Formal Methods, year: 2005
-
Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005
-
Computing the Tutte Polynomial with Restricted “Width”
Year: 2005, type:
-
Concrete Search with Abstract Matching and Refinement
Computer Aided Verification, year: 2005
-
Concurrence versus purity: Influence of local channels on Bell states of two qubits
Physical Review A, year: 2005, volume: Vol. 72, edition: No. 5
-
Continuous-variable quantum-state sharing via quantum disentanglement
Physical Review A, year: 2005, volume: 71, edition: 33814
-
CRC64 Algorithm Analysis and Verification
Year: 2005, type: R&D Presentation
-
Decidability Issues for Extended Ping-Pong Protocol
Journal of Automated Reasoning, year: 2005, volume: ?, edition: ?