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
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, year: 2011, volume: 38, edition: 2, DOI
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 2011
-
Flash memory efficient LTL model checking
Science of Computer Programming, year: 2011, volume: 76, edition: 2, DOI
-
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- Selected Papers, year: 2011
-
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011
-
History of TC1 - Foundations of Computer Science
Year: 2011, type:
-
How Not to Characterize Planar-emulable Graphs
COMBINATORIAL ALGORITHMS, Lecture Notes in Computer Science 7056, year: 2011
-
Image Division Technique in Pre-acquisition Analysis of Information Content for Automated Microscopy
Journal of Microscopy, year: 2011, volume: 242, edition: 3, DOI
-
Impacts of informatics on QIPC
Journal of Nanjing university of Posts and Telecommunications, year: 2011, volume: 31, edition: 2
-
Informatics as basis of new methodology for science
Year: 2011, type: