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
2007
-
Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells
Apoptosis, year: 2007, volume: 12, edition: 7
-
Bioinformatic predictions and image analysis of localization and interactions of endonuclease G, AIF, and AMID in human cells
Year: 2007, type: Conference abstract
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, year: 2007
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Year: 2007, type: Appeared in Conference without Proceedings
-
CEQIP 2007
Year: 2007, type: Workshop
-
Classical Winning Strategies for the Matching Game
MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2007
-
Classical Winning Strategies for the Matching Game
Asian Conference on Quantum Information Science, year: 2007
-
Combinatorial Generation of Matroid Representations: Theory and Practice
Innovative Applications of Information Technology for the Developing World, year: 2007
-
Community Building in Distance Learning Environments: Using uncompressed high-definition videos as a medium for classroom interactivity.
Year: 2007, type: R&D Presentation
-
Component Substitutability via Equivalencies of Component-Interaction Automata
Electronic Notes in Theoretical Computer Science, year: 2007, volume: 182, edition: 1