3863 search results - page 120 / 773 » Function in Device Representation |
130
Voted
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulatio...
126
Voted
VIS
2007
IEEE
16 years 5 months ago
2007
IEEE
The Morse-Smale complex is an efficient representation of the gradient behavior of a scalar function, and critical points paired by the complex identify topological features and th...
ARITH
2005
IEEE
15 years 9 months ago
2005
IEEE
The fused multiply accumulate instruction (fused-mac) that is available on some current processors such as the Power PC or the Itanium eases some calculations. We give examples of...
149
Voted
CIE
2010
Springer
15 years 8 months ago
2010
Springer
In this note, we use lower bounds on Boolean multiplicative complexity to prove lower bounds on Boolean circuit complexity. We give a very simple proof of a 7n/3 − c lower bound ...
128
Voted
CGI
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper focuses on an approach to modeling shapes through the use of evolutionary optimization or genetic algorithms for functionally represented geometric objects. This repres...