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
2011
-
Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics
Parameterized and Exact Computation, year: 2011
-
Unitary Noise and the Mermin-GHZ Game
Journal of Nanjing university of Posts and Telecommunications, year: 2011, volume: 31, edition: 2, DOI
-
Using Neighborhood Diversity to Solve Hard Problems
Year: 2011, type: Appeared in Conference without Proceedings
-
Verification of Timed-Arc {P}etri Nets
Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science ({SOFSEM}'11), year: 2011
-
Verification of Timed-Arc Petri Nets (invited talk)
Year: 2011, type:
2010
-
20 years of Negami's planar cover conjecture
Graphs and Combinatorics, year: 2010, volume: 26, edition: 4, DOI
-
35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010)
Year: 2010, type: Conference
-
4th International Workshop on Reachability Problems
Year: 2010, type: Workshop
-
A Fast Level Set-Like Algorithm for Region-Based Active Contours
6th International Symposium on Visual Computing, year: 2010
-
A new perception of informatics
Year: 2010, type: