An efficient verification algorithm for parallel controllers.
Krzysztof BilinskiErik L. DaglessJonathan SaulJanusz SzajnaPublished in: EURO-DAC (1994)
Keyphrases
- learning algorithm
- cost function
- similarity measure
- tree structure
- times faster
- dynamic programming
- parallel implementation
- k means
- high accuracy
- depth first search
- memory efficient
- classification algorithm
- clustering method
- detection algorithm
- optimization algorithm
- theoretical analysis
- linear programming
- computational cost
- search space
- preprocessing
- expectation maximization
- simulated annealing
- worst case
- np hard
- multi objective
- matching algorithm
- parallel computing
- video sequences
- reinforcement learning