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: 874
2010
-
Neviditelnost aneb fyzika neviditelného pláště
Year: 2010, type:
-
Non-Euclidean Cloaking for Light Waves
IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS, year: 2010, volume: 16, edition: 2
-
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width
Discrete Applied Mathematics, year: 2010, volume: 158, edition: 1
-
On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes
Information and Computation, year: 2010, volume: 208, edition: February
-
One-Counter Markov Decision Processes
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, year: 2010
-
One-Counter Stochastic Games
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), year: 2010
-
Parallel Partial Order Reduction with Topological Sort Proviso
Software Engineering and Formal Methods (SEFM 2010), year: 2010
-
Parallel Real-time Deformation Simulator
Year: 2010
-
Parameter Scanning by Parallel Model Checking with Applications in Systems Biology
Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, year: 2010
-
Parameterized Reliability Prediction for Component-Based Software Architectures
Proceedings of the International Conference on the Quality of Software Architectures (QoSA'10), year: 2010