2 search results - page 1 / 1 » Non-linear Quantification Scheduling in Image Computation |
ICCAD
2001
IEEE
14 years 1 months ago
2001
IEEE
CHARME
2001
Springer
13 years 8 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...