3909 search results - page 199 / 782 » Extreme Model Checking |
ACSD
2010
IEEE
15 years 29 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...
121
click to vote
DLOG
2010
15 years 28 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...
103
click to vote
FSTTCS
2010
Springer
15 years 28 days ago
2010
Springer
We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...
ICPADS
2010
IEEE
15 years 27 days ago
2010
IEEE
