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
2006
-
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering, year: 2006, volume: 31, edition: 2
-
Component-Interaction Automata Modelling Language
Year: 2006, type: R&D Presentation
-
Computing the Tutte Polynomial on Graphs of Bounded Clique-Width
SIAM Journal on Discrete Mathematics, year: 2006, volume: 20, edition: 4
-
Crossing Number is Hard for Cubic Graphs
Journal of Combinatorial Theory, Ser B, year: 2006, volume: 96, edition: 4
-
Designing a Distributed Mediator for the C-GMA Monitoring Architecture
Proceedings of the Austrian Hungarian Workshop on Parallel and Distributed Systems 2006, year: 2006
-
Different time solutions for the firing squad synchronization problem on basic grid networks
RAIRO - Theoretical Informatics and Applications, year: 2006, volume: Vol. 40, edition: No. 2
-
Distributed Active Element for High-Performance Data Distribution
Network and Parallel Computing (NPC 2006), year: 2006
-
Distributed and collaborative visualization of large data sets using high-speed networks
Future Generation Computer Systems, year: 2006, volume: 22, edition: 8
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006