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
-
Modeling and Solution of a Complex University Course Timetabling Problem
Practice and Theory of Automated Timetabling VI, Revised and Selected Papers, year: 2007
-
Multiple Ligand Trajectory Docking Study: Semiautomatic Analysis of Molecular Dynamics Simulations Using EGEE gLite Services
Proceedings of the 16th Euromicro Conference on Parallel, Distributed and Network-based Processing, year: 2007
-
Network Overhead in Virtual Machines
Year: 2007, type: R&D Presentation
-
New insights into gene positional clustering and its properties supported by large-scale analysis of various differentiation pathways
Genomics, year: 2007, volume: 89, edition: 1
-
New procedure for multipartite entanglement distillation
Asian Conference on Quantum Information Science, year: 2007
-
No Approximate Complex Fermion Coherent States
Foundations of Physics, year: 2007, volume: 37, edition: 7
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Year: 2007, type: Appeared in Conference without Proceedings
-
On Generating Ground-truth Time-lapse Image Sequences and Flow Fields
Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, year: 2007
-
On Symbolic Verification of Weakly Extended PAD
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), year: 2007
-
On the Crossing Number of Almost Planar Graphs
Graph Drawing, Symposium GD2006, year: 2007