1077 search results - page 129 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
143
Voted
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
141
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
121
Voted
AAAI
1994
15 years 5 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
136
click to vote
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
87
Voted
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...