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
2005
-
Infrastructure for Adaptive Workflows in Semantic Grids
Proceedings of the first CoreGRID Integration Workshop, year: 2005
-
Instability and Entanglement of the Ground State of the Dicke Model
Physical Review Letters, year: 2005, volume: 94, edition: 16
-
Introductory paper: Parallel and Distributed Model Checking
International Journal on Software Tools for Technology Transfer (STTT), year: 2005, volume: 7, edition: 1
-
Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie
XXIII. mezinárodní kolokvium o řízení osvojovacího procesu : sborník abstraktů a elektronických verzí příspěvků na CD-ROMu, year: 2005
-
Lecture Recording, Processing, Archiving, and Streaming
Year: 2005, type: R&D Presentation
-
Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search
Proceedings of the 2005 ACM symposium on Applied computing, year: 2005
-
Linear Temporal Logic: Expressiveness and Model Checking
Year: 2005, number of pages: 148 s.
-
MACEK: A software package for real structural computations with representable matroids
Year: 2005, type: R&D Presentation
-
Main challenges and driving forces of IT in the era of globalization
Shanghai Forum, Economic Globalization and the Choice of Asia, year: 2005
-
Matroid Tree-Width and Chordality
Year: 2005, type: Conference abstract