472 search results - page 83 / 95 » Functional simulation using binary decision diagrams |
105
click to vote
ICWS
2010
IEEE
15 years 1 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...
93
Voted
ICC
2007
IEEE
15 years 6 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...
94
Voted
ISMVL
2007
IEEE
15 years 6 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...
IJCNN
2000
IEEE
15 years 4 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...
115
click to vote
CISS
2008
IEEE
15 years 1 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...