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
2008
-
The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems
Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008
-
The crossing number of a projective graph is quadratic in the face--width
Electronic Journal of Combinatorics, year: 2008, volume: 15, edition: 1
-
The Satisfiability Problem for Probabilistic CTL
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, year: 2008
-
Unambiguous comparison of ensembles of quantum states
Physical Review A (Atomic, Molecular, and Optical Physics), year: 2008, volume: 77, edition: 1
-
Undecidability of Bisimilarity by Defender's Forcing
Journal of the ACM, year: 2008, volume: 55/2008, edition: 1
-
Úvod do IPv6
Year: 2008, type: Popularization text
-
Verification of Infinite State Probabilistic Systems
Year: 2008, type:
-
VirtCloud & CoUniverse: On E2E Services for Grids and Multimedia
Year: 2008, type:
2007
-
32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007)
Year: 2007, type:
-
A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy
3rd International Symposium on Visual Computing, year: 2007