Timing analysis of scenario-based specifications using linear programming.
Xuandong LiMinxue PanLei BuLinzhang WangJianhua ZhaoPublished in: Softw. Test. Verification Reliab. (2012)
Keyphrases
- linear programming
- linear program
- primal dual
- delay insensitive
- column generation
- dynamic programming
- high level
- constraint propagation
- objective function
- optimal solution
- feasible solution
- network flow
- functional requirements
- quadratic programming
- control flow
- finite state machines
- nonlinear programming
- design requirements
- lp relaxation
- concurrent systems
- learning technology standards
- data sets
- algorithm for linear programming
- formal specification
- integer programming
- message passing
- natural language
- search engine
- machine learning
- neural network
- databases