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
2009
-
Can Flash Memory Help in Model Checking?
Formal Methods for Industrial Critical Systems, year: 2009
-
CEQIP 2009
Year: 2009, type: Workshop
-
Classical and quantum complexity theory
Year: 2009, type:
-
Cluster-Based I/O-Efficient LTL Model Checking
24th IEEE/ACM International Conference on Automated Software Engineering, year: 2009
-
Coexistence of quantum operations
Journal of Physics A: Mathematical and Theoretical, year: 2009, volume: 42, edition: 36
-
CoIn Tool Set
Year: 2009
-
Complex Real-life Data Sets in Grid Simulations
Year: 2009, type: Conference abstract
-
Computational Analysis of Large-Scale Multi-Affine ODE Models
International Workshop on High Performance Computational Systems Biology, year: 2009
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
-
Controller Synthesis for Markov Decision Processes with Branching-Time Objectives
Year: 2009, type: