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: 876
2018
-
A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion
Journal of Computer and System Sciences, year: 2018, volume: 97, edition: 1, DOI
-
Meta-kernelization using well-structured modulators
Discrete Applied Mathematics, year: 2018, volume: 248, edition: 1, DOI
-
On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
STACS 2018, year: 2018
-
On the complexity of rainbow coloring problems
Discrete Applied Mathematics, year: 2018, volume: 246, edition: 1, DOI
-
Small Resolution Proofs for QBF using Dependency Treewidth
STACS 2018, year: 2018
-
Solving Problems on Graphs of High Rank-Width
Algorithmica, year: 2018, volume: 80, edition: 2, DOI
-
Sum-of-Products with Default Values: Algorithms and Complexity Results
IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), year: 2018
-
The complexity landscape of decompositional parameters for ILP
ARTIFICIAL INTELLIGENCE, year: 2018, volume: 257, edition: 1, DOI
2016
-
Meta-kernelization with structural parameters
Journal of Computer and System Sciences, year: 2016, volume: 82, edition: 2, DOI
-
Model Checking Existential Logic on Partially Ordered Sets
ACM Trans. Comput. Log., year: 2016, volume: 17, edition: 2, DOI