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
2007
-
Optimality of private quantum channels
Journal of Physics A, year: 2007, volume: 40, edition: 20
-
Optimizing light throughput in image cytometry
Year: 2007, type: Conference abstract
-
Optimizing light throughput in image cytometry
Year: 2007, type:
-
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Formal Methods: Applications and Technology, year: 2007
-
Parallel Model Checking and the FMICS-jETI Platform
Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems, year: 2007
-
PATAT 2006 Conference
Year: 2007, type: Popularization text
-
Practice and Theory of Automated Timetabling VI, Revised Selected Papers
Year: 2007, type: Conference
-
ProbDiVinE
Year: 2007
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007
-
Problematika plánování úloh v prostředí Gridu
Širokopásmové sítě a jejich aplikace, year: 2007