Optimization of Real-Time Software Implementing Multi-Rate Synchronous Finite State Machines.
Yecheng ZhaoChao PengHaibo ZengZonghua GuPublished in: ACM Trans. Embed. Comput. Syst. (2017)
Keyphrases
- finite state machines
- real time
- finite state automata
- real time systems
- model checking
- dedicated hardware
- low cost
- optimization algorithm
- software systems
- computer systems
- source code
- global optimization
- vision system
- optimization method
- regular expressions
- software tools
- database
- high speed
- mutation testing
- digital circuits
- quality of service
- test cases
- software development
- relational databases