2872 search results - page 187 / 575 » On (Omega-)Regular Model Checking |
TAICPART
2010
IEEE
14 years 9 months ago
2010
IEEE
TC
2010
14 years 9 months ago
2010
CACM
2010
14 years 9 months ago
2010
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Clock gating and operand isolation are two techniques to reduce the power consumption in state-of-the-art hardware designs. Both approaches basically follow a two-step pr...
DLOG
2010
14 years 9 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...