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
-
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
Tools and Algorithms for the Construction and Analysis of Systems, year: 2008
-
Semantics of quantum programming language LanQ
International Journal of Quantum Information, year: 2008, volume: 6, edition: 1 supp
-
Semi-external LTL Model Checking
20th International Conference on Computer Aided Verification, year: 2008
-
Semi-External LTL Model Checking
Year: 2008, type: Conference abstract
-
Separation between Classical and Quantum Winning Strategies for the Matching Game
International Journal of Foundations of Computer Science, year: 2008, volume: 19, edition: 6
-
Shared Hash Tables in Parallel Model Checking
Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)
-
Special issue: The first provenance challenge
Concurrency and Computation: Practice and Experience, year: 2008, volume: 20, edition: 5, DOI
-
Super-antenna
METAMATERIALS: FUNDAMENTALS AND APPLICATIONS, year: 2008
-
Superantenna made of transformation media
Year: 2008, type:
-
Superantenna made of transformation media
New Journal of Physics, year: 2008, volume: 10, edition: 115026