1472 search results - page 90 / 295 » On Model Checking Infinite-State Systems |
105
click to vote
ACSD
2010
IEEE
15 years 1 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...
127
click to vote
DLOG
2010
15 years 1 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...
132
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
155
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
174
click to vote
ESAW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...