4341 search results - page 229 / 869 » Quantitative Model checking |
TAICPART
2010
IEEE
15 years 27 days ago
2010
IEEE
CACM
2010
15 years 25 days ago
2010
94
Voted
ACSD
2010
IEEE
15 years 16 days 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...
114
click to vote
DLOG
2010
15 years 16 days 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...