1446 search results - page 66 / 290 » Formal analysis of hardware requirements |
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
IFM
2007
Springer
14 years 3 months ago
2007
Springer
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
ASPDAC
2000
ACM
14 years 1 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...
ISCAS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
MICRO
1994
IEEE
14 years 1 months ago
1994
IEEE
: Program profiles identify frequently executed portions of a program, which are the places at which optimizations offer programmers and compilers the greatest benefit. Compilers, ...