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
2012
-
Temporal Logic Control of Discrete-Time Piecewise Affine Systems
IEEE Transactions on Automatic Control, year: 2012, volume: 57, edition: 6, DOI
-
The Mathematical Language of Quantum Theory
Year: 2012, number of pages: 327 s.
-
Timed Automata Approach to Verification of Systems with Degradation
MEMICS 2011, year: 2012
2011
-
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (Selected Papers), year: 2011
-
A Tighter Insertion-based Approximation of the Crossing Number
Automata, Languages and Programming 38th International Colloquium, ICALP 2011, year: 2011
-
A Tighter Insertion-based Approximation of the Graph Crossing Number
Year: 2011, type:
-
An Improved Riemannian Metric Approximation for Graph Cuts
16th International Conference on Discrete Geometry for Computer Imagery, year: 2011
-
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
-
Automated trust negotiation in identity federations using OWL-based abduction of missing credentials
Proceedings of the 6th International Conference forInternet Technology and Secured Transactions (ICITST-2011), year: 2011
-
Automatic Fusions of CUDA-GPU Kernels for Parallel Map
Second International workshop on highly-efficient accelerators and reconfigurable technologies (HEART), year: 2011