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
2007
-
Width Parameters Beyond Tree-width and Their Applications
Computer Journal, year: 2007, volume: 51, edition: 3
2006
-
11th International Workshop on Formal Methods for Industrial Critical Systems
Year: 2006, type: Workshop
-
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications
Theoretical Computer Science, year: 2006, volume: 358, edition: 2-3
-
Active Element Network with P2P Control Plane
Year: 2006, type: Conference abstract
-
Active Elements for High-Definition Video Distribution
ICT 2006, 13th International Conference on Telecommunications, year: 2006
-
Analýza lokalizace a interakce fluorescenčně značených molekul v živých i fixovaných lidských buňkách.
Year: 2006, type: Conference abstract
-
Architectural Interoperability Checking in Visual Coordination Networks
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), year: 2006
-
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy
Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry, year: 2006
-
Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy
Year: 2006, type:
-
Automated confocal live cell microscopy based on spinning disks
Year: 2006, type: Conference abstract