Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems.
Nikola BenesLubos BrimMartin DemkoSamuel PastvaDavid SafránekPublished in: ATVA (2016)
Keyphrases
- complex systems
- high end
- image registration
- knowledge based systems
- learning systems
- real time
- retrieval systems
- application level
- parallel computing
- shared memory
- key technologies
- computing environments
- affine transformation
- parallel processing
- distributed systems
- expert systems
- artificial intelligence
- neural network