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
2009
-
On Decidability of LTL Model Checking for Process Rewrite Systems
Acta informatica, year: 2009, volume: 46, edition: 1
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009
-
On Determinism in Modal Transition Systems
Theoretical Computer Science, year: 2009, volume: 410/2009, edition: 41
-
On Digraph Width Measures in Parameterized Algorithmics
IWPEC 2009: International Workshop on Parameterized and Exact Computation, Lecture Notes in Computer Science, year: 2009
-
On Media Streams Planning Problem in CoUniverse
5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, year: 2009
-
On-Line Precomputation Algorithm for Real-Time Haptic Interaction with Non-Linear Deformable Bodies
Third Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems, year: 2009
-
Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation
Algorithms - European Symposium on Algorithms (ESA) 2009, year: 2009
-
Partial Order Reduction for State/Event LTL
Proceedings of the International Conference on Integrated Formal Methods (IFM'09), year: 2009
-
Prediction of localization and interactions of apoptotic proteins
Journal of Biomedical Science, year: 2009, volume: 16, edition: 59
-
Prediction of localization and interactions of apoptotic proteins
Year: 2009, type: Conference abstract