7393 search results - page 480 / 1479 » Synthesis-for-testability using transformations |
150
click to vote
ICESS
2004
Springer
15 years 11 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
167
Voted
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
154
click to vote
ISCAS
2003
IEEE
15 years 11 months ago
2003
IEEE
In Exponentially-ModulatedFilter Bank (EMFB) the complex subfilters are generated from a real-valued prototype filter by multiplying the filter impulse response with complex expon...
177
click to vote
COST
2009
Springer
15 years 11 months ago
2009
Springer
The paper presents our initial attempts in building an audio video emotion recognition system. Both, audio and video sub-systems are discussed, and description of the database of s...
187
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...