2002 · 74 citations · 2 references
ComputingComputer ScienceHigh-performance ComputingComputer ArchitectureParallel ComputingReal-time SystemsCommunication OverheadDistributed ComputingParallel ArchitecturesParallel Computing SystemsReal-time Systems ArchitectureReal-time Systems DesignHigh PerformanceHigh-performance Computing OptimizationHigh-performance Computing SystemsParallel Computing ArchitecturesReal-time ConstraintsReal-time ProcessingTransformations
Massively Parallel Computing Systems (MPCS) provide high performance computing generally used to accelerate numerical computation applications. We present a methodology called "Algorithm Architecture Adequation" used to take advantage of the computation power of these systems in the case of real-time applications. With this methodology, the application algorithm as well as the MPCS are specified with graphs, then the implementation of an algorithm on a MPCS in respect with real-time constraints may be formalized in terms of graph transformations. This allows one to optimize the real-time performances of the implementation taking into account critical inter-processor communications. As a result, real-time distributed executives are produced automatically without dead-lock and with minimum overhead. This reduces drastically the development cycle for real-time applications running on MPCS.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
2
A denotational theory of synchronous reactive systems
Albert Benveniste, Paul Le Guernic, Yves Sorel et al. · Information and Computation · 1992 · 26 citations · Full text