7393 search results - page 1191 / 1479 » Synthesis-for-testability using transformations |
141
click to vote
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents an analysis that derives a formula describing the worst-case live heap space usage of programs in a functional language with automated memory management (garba...
109
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present a novel interface for selecting sounds in audio mixtures. Traditional interfaces in audio editors provide a graphical representation of sounds which is ei...
276
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. A new technique for combinational logic optimization is described. The technique is a two-step process. In the first step, the nonlinearity of a circuit – as measured ...
127
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
We survey our work on adaptive multiresolution (MR) approaches to the classification of biological images. The system adds MR decomposition in front of a generic classifier cons...
159
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel simulation approach for power grid network analysis. The new approach, called ETBR for extended truncated balanced realization, is based on model...