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
-
Decidability Issues for Extended Ping-Pong Protocol
Journal of Automated Reasoning, year: 2005, volume: ?, edition: ?
-
Deeper Connections between LTL and Alternating Automata
Implementation and Application of Automata, year: 2005
-
Description of Quantum Dynamics of Open Systems Based on Collision-Like Models
Open Systems & Information Dynamics, year: 2005, volume: Vol. 12, edition: No. 1
-
Different approaches to ROC curve fitting for a continuous -scale diagnostic test
3rd World Conference on Computational Statistics and Data Analysis, year: 2005
-
Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems
Physical Review A, year: 2005, volume: Vol. 72, edition: No. 2
-
Distribuované Datové Sklady
Širokopásmové sítě a jejich aplikace, year: 2005
-
Distribuované datové sklady a protokol IBP
Year: 2005, type: Popularization text
-
Distribuované výpočty složitých stavových prostorů
Širokopásmové sítě a jejich aplikace, year: 2005
-
Distributed Analysis of Large Systems
Formal Methods for Components and Objects, year: 2005
-
Distributed Partial Order Reduction of State Spaces
Electronic Notes on Theoretical Computer Science, year: 2005, volume: 128, edition: 3