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
2009
-
Automated search for information content in fluorescence microscopy images using modified autofocusing approach
Year: 2009, type: Conference abstract
-
Automated spinning disk confocal microscopy in 3D live cell imaging
Year: 2009, type:
-
Basic Model Checking Problems for Stochastic Games
Year: 2009, type:
-
Better Polynomial Algorithms on Graphs of Bounded Rank-width.
IWOCA 2009: International Workshop On Combinatorial Algorithms, Lecture Notes in Computer Science 5874, year: 2009
-
BioDiVinE: A Framework for Parallel Analysis of Biological Models
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009
-
BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
Computational Mehotds in Systems Biology: Abstract of the Posters, year: 2009
-
Bound on trace distance based on super-fidelity
Physical Review A, year: 2009, volume: 79, edition: 2
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 239
-
Broadband Invisibility by Non-Euclidean Cloaking
Science, year: 2009, volume: 323, edition: 5910
-
Can Flash Memory Help in Model Checking?
Formal Methods for Industrial Critical Systems, year: 2009