4341 search results - page 229 / 869 » Quantitative Model checking |
66
Voted
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
TC
2010
14 years 11 months ago
2010
78
Voted
CACM
2010
14 years 11 months ago
2010
78
Voted
ACSD
2010
IEEE
14 years 10 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...
96
Voted
DLOG
2010
14 years 10 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...