An Equivalence Decision Problem in Systolic Array Verification.
Parosh Aziz AbdullaStefan ArnborgPublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- decision problems
- systolic array
- reconfigurable architecture
- data flow
- decision model
- influence diagrams
- parallel architecture
- utility function
- optimal policy
- computational complexity
- decision processes
- np hard
- model checking
- optimal strategy
- sequential decision making
- bandit problems
- bayesian decision problems
- partially observable markov decision processes
- optimal solution
- decision makers