472 search results - page 83 / 95 » Functional simulation using binary decision diagrams |
128
Voted
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
Several activities in service oriented computing can benefit from the knowledge of properties of a given service composition ahead of time. We will focus here on properties related...
109
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
—The sampling expansion approach for computing the performance of TR UWB systems has restricted validity and is very inaccurate in some cases. A new analytical method to evaluate...
108
click to vote
ISMVL
2007
IEEE
15 years 8 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
116
Voted
IJCNN
2000
IEEE
15 years 6 months ago
2000
IEEE
A self-organizing neural network for learning and recall of complex temporal sequences is proposed. we consider a single sequence with repeated items, or several sequences with a c...
139
click to vote
CISS
2008
IEEE
15 years 3 months ago
2008
IEEE
It is known that the frame error rate of turbo codes on quasi-static fading channels can be accurately approximated using the convergence threshold of the corresponding iterative d...