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
2011
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI
-
Physics and Informatics as two ways to see and explore the world (Alžírsko)
Year: 2011, type:
-
Physics and Informatics as two ways to see and explore the world (Čína)
Year: 2011, type:
-
Physics and Informatics as two ways to see and explore the world (Indie)
Year: 2011, type:
-
Physics and Informatics as two ways to see and explore the world (Rakousko)
Year: 2011, type:
-
Physics and Informatics as two ways to see and explore the world (USA)
Year: 2011, type:
-
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Process Algebra for Modal Transition Systemses
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011
-
Pseudo-Telepathy Games
Year: 2011, number of pages: 122 s.