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
2007
-
Tutorial: Parallel Model Checking
Model Checking Software, year: 2007
-
Unambiguous coherent state identification: Searching quantum database
Physical Review A, year: 2007, volume: Vol. 76, edition: No. 2
-
Verifying VHDL Designs with Multiple Clocks in SMV
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, year: 2007
-
Videoconferencing Design for Remote Groups
The 3rd International Conference on Collaborative Computing: Networking, Applications and Worksharing, year: 2007
-
Videokonference za zdí
Year: 2007, type: Popularization text
-
Virtual Classroom with a Time Shift
Year: 2007, type: Conference abstract
-
Virtual Classroom with a Time Shift
Proceedings of the Eigth International Technology Based Higher Education and Training, year: 2007
-
Virtualizace rozsáhlé výpočetní infrastruktury
Širokopásmové sítě a jejich aplikace, year: 2007
-
Virtualized Access to the Grid Computational Resources
Cracow Grid Workshop '06, year: 2007
-
Width Parameters Beyond Tree-width and Their Applications
Computer Journal, year: 2007, volume: 51, edition: 3