3119 search results - page 384 / 624 » General Default Logic |
138
click to vote
ISQED
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper studies multi-dimensional optimization at both circuit and micro-architecture levels. By formulating and solving the optimization problem with conflicting design objec...
182
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
204
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
120
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
139
click to vote
FORMATS
2007
Springer
16 years 23 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...