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
2006
-
Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006
-
Fast and Robust Segmentation of Low Contrast Biomedical Images
Visualization Imaging and Image Processing, year: 2006
-
Fast and Robust Segmentation of Low Contrast Biomedical Images
Year: 2006, type: R&D Presentation
-
Fast Point-Based 3D Alignment of Live Cells
IEEE Transactions on Image Processing, year: 2006, volume: 15, edition: 8
-
FlowMon Cache Simulation and Analysis of Inter-Packet Gaps
Year: 2006, type: R&D Presentation
-
Focus Function for Biomedical Images as a Result of Genetic Programming
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), year: 2006
-
Formal Analysis of Component-Based Systems in View of Comp. Interactions
Proceedings of the International Research Training Groups Workshop 2006, year: 2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, year: 2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006
-
From informatics to quantum informatics
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 at the World Computer Congress, year: 2006