Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.
Keryan DidierDumitru Potop-ButucaruGuillaume IoossAlbert CohenJean SouyrisPhilippe BaufretonAmaury GraillatPublished in: ACM Trans. Archit. Code Optim. (2019)
Keyphrases
- parallel execution
- low cost
- hardware and software
- real time
- construction process
- hardware implementation
- coarse grained
- databases
- vlsi implementation
- image processing
- case study
- parallel processing
- blue gene
- digital circuits
- hardware architecture
- parallel computation
- data acquisition
- monitoring system
- fine grained
- evolutionary algorithm
- information systems
- data mining
- real world