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
-
Významnou asijskou konferenci vede profesor z České republiky
Year: 2010, type: Popularization text
-
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Reachability Problems, year: 2010
2009
-
21 years of Negami's planar cover conjecture
Year: 2009, type:
-
A Fast Level Set-Like Algorithm with Topology Preserving Constraint
13th International Conference on Computer Analysis of Images and Patterns, year: 2009
-
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties
Formal Methods and Software Engineering, year: 2009
-
A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms
16th Scandinavian Conference on Image Analysis, year: 2009
-
Alea 2 - job scheduling simulator
Year: 2009
-
Almost Linear Büchi Automata
Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), year: 2009
-
Approximating the Crossing Number of Apex Graphs
Symposium Graph Drawing 2008, Lecture Notes in Computer Science, year: 2009
-
Autofocusing software issues in automated fluorescence microscopy
Year: 2009, type: Conference abstract