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
-
Improving Security in Grids Using the Smart Card Technology
Proceedings of the IEEE/ACM International Conference on Grid Computing (Grid 2006), year: 2006
-
Konference CESNET 2006
Year: 2006, type: Popularization text
-
LanQ - an Imperative Quantum Programming Language
MEMICS 2006, 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2006
-
Looking for the Role of Metallothioneins in Colorectal Carcinoma Cell Lines
Year: 2006
-
Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata
International Journal on Software Tools for Technology Transfer (STTT), year: 2006, volume: 8, edition: 3
-
Low-Latency HD Videoconferencing System with Reflector-Based Multipoint Data Distribution
Year: 2006
-
Matroid Tree-Width
European Journal of Combinatorics, year: 2006, volume: 27, edition: 7
-
Methods for Quantitative Analysis of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2006, volume: 149, edition: 1
-
Model Checking of RegCTL
Computing and Informatics, year: 2006, volume: 25, edition: 1
-
Model Checking Probabilistic Pushdown Automata
Logical Methods in Computer Science, year: 2006, volume: 2, edition: 1-2