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
2008
-
Comparison of Multi-Criteria Scheduling Techniques
Grid Computing Achievements and Prospects, year: 2008
-
Component-Interaction Automata Approach (CoIn)
The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.
-
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., year: 2008
-
CoUniverse
Year: 2008
-
CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications
Lecture Notes in Computer Science vol. 5415 Euro-Par 2008 Workshops - Parallel Processing, year: 2008
-
Dealing with uncertainties in Grids through the event-based scheduling approach
Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008), year: 2008
-
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Acta informatica, year: 2008, volume: 45, edition: 2
-
Discounted Properties of Probabilistic Pushdown Automata
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, year: 2008
-
Discrimination of quantum observables
Year: 2008, type:
-
Discrimination of quantum observables using limited resources
Physical Review A, year: 2008, volume: 77, edition: 1