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: 874
2006
-
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Automated Technology for Verification and Analysis (ATVA'06), year: 2006
-
Multi-Point Uncompressed HD Conferencing Using UltraGrid
Year: 2006, type:
-
MyProxy and EGEE
Year: 2006, type: R&D Presentation
-
Návrh algoritmů II
Year: 2006, type:
-
On Combining Partial Order Reduction with Fairness Assumptions
Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), year: 2006
-
On Decidability of LTL Model Checking for Process Rewrite Systems
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, year: 2006
-
On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems
Year: 2006, type: R&D Presentation
-
On Symbolic Verification of Weakly Extended PAD
Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06, year: 2006
-
On the Crossing Number of Almost Planar Graphs
Year: 2006, type: Conference abstract
-
Operational Semantics of Quantum Programming Language LanQ
Year: 2006, number of pages: 43 s.