399 search results - page 29 / 80 » Verification of System Level Model Transformations |
151
Voted
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
110
Voted
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
We present a supervised classification model based on a variational approach. This model is specifically devoted to textured images. We want to get a partition of an image, compos...
112
click to vote
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
120
click to vote
CODES
2001
IEEE
15 years 6 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
95
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
Many speaker verification (SV) systems combine multiple classifiers using score-fusion to improve system performance. For SVM classifiers, an alternative strategy is to combine...