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 IntervalsJournal of Logic and Algebraic Programming, year: 2012, volume: 81, edition: 4, DOI 
- 
    Noise and the Magic Square GameQuantum Information Processing, year: 2012, volume: 11, edition: 2, DOI 
- 
    On Parameter Synthesis by Parallel Model CheckingIEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI 
- 
    One-way finite automata with quantum and classical statesLanguages 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 PropertiesScience of Computer Programming, year: 2012, volume: 77, edition: 12, DOI 
- 
    Parameterized Algorithms on Width Parameters of GraphsYear: 2012, type: Special-purpose publication 
- 
    Pseudo-Telepathy GamesQuantum Entanglement, year: 2012, number of pages: 18 s. 
- 
    Quantum finite automataHandbook of Finite State Based Models and Applications, year: 2012, number of pages: 32 s. 
- 
    Smooth Chan-Vese Segmentation via Graph CutsPattern 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 ProgramsLNCS Proceeding of Memics 2011, year: 2012