Checking the Serial Correctness of Control-Parallel Programs.
Gilbert CaplainRené LalementThierry SalsetPublished in: PARLE (1994)
Keyphrases
- control system
- parallel processing
- control structures
- master slave
- control program
- model based predictive control
- information technology
- control method
- provably correct
- high level programming language
- parallel implementation
- computer architecture
- multi threaded
- automatic programming
- consistency checking
- learning algorithm
- process control
- computer programs
- case study
- website