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
-
Cryptographic Applications of Pseudo-Telepathy Games
MEMICS 2009: Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2009
-
CUDA Accelerated LTL Model Checking
Proceedings of the 15th International Conference on Parallel and Distributed Systems, year: 2009
-
Data-mining protein structure by clustering, segmentation and evolutionary algorithms
Data Mining: Theoretical Foundations and Applications, year: 2009
-
DiProNN: Distributed Programmable Network Node
Year: 2009, type:
-
DiVinE 2.0
Year: 2009
-
DiVinE 2.0: High-Performance Model Checking
International Workshop on High Performance Computational Systems Biology, year: 2009
-
DiVinE Cuda
Year: 2009
-
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
Electronic Proceedings in Theoretical Computer Science, year: 2009, volume: 14, edition: Prosinec
-
DML 2009 workshop
Year: 2009, type: Conference
-
Efficient Large-Scale Model Checking
23rd IEEE International Parallel & Distributed Processing Symposium, year: 2009