4447 search results - page 227 / 890 » Model Checking Games |
111
click to vote
ACSD
2010
IEEE
15 years 2 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...
130
click to vote
DLOG
2010
15 years 2 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...
CORR
2009
Springer
15 years 2 months ago
2009
Springer
