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
-
Modal Transition Systems with Weight Intervals
Journal of Logic and Algebraic Programming, year: 2012, volume: 81, edition: 4, DOI
-
Noise and the Magic Square Game
Quantum Information Processing, year: 2012, volume: 11, edition: 2, DOI
-
On Parameter Synthesis by Parallel Model Checking
IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI
-
One-way finite automata with quantum and classical states
Languages Alive Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, year: 2012
-
On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties
Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI
-
Parameterized Algorithms on Width Parameters of Graphs
Year: 2012, type:
-
Pseudo-Telepathy Games
Quantum Entanglement, year: 2012, number of pages: 18 s.
-
Quantum finite automata
Handbook of Finite State Based Models and Applications, year: 2012, number of pages: 32 s.
-
Smooth Chan-Vese Segmentation via Graph Cuts
Pattern recognition letters : an official publication of the International Association for Pattern Recognition., year: 2012, volume: 33, edition: 10, DOI
-
STANSE: Bug-finding Framework for C Programs
LNCS Proceeding of Memics 2011, year: 2012