4447 search results - page 227 / 890 » Model Checking Games |
143
Voted
ACSD
2010
IEEE
15 years 4 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...
172
Voted
DLOG
2010
15 years 4 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...
141
Voted
ICPADS
2010
IEEE
15 years 4 months ago
2010
IEEE
120
Voted
CORR
2009
Springer
15 years 4 months ago
2009
Springer