2 search results - page 1 / 1 » Non-linear Quantification Scheduling in Image Computation |
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
164
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...