1508 search results - page 161 / 302 » A Combination Method for Generating Interpolants |
192
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
155
click to vote
IFL
1997
Springer
15 years 10 months ago
1997
Springer
This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single ...
175
click to vote
DKE
2008
15 years 6 months ago
2008
In this paper, we discuss a novel technique based on semantic constraints to improve the performance and portability of a reformulation-based question answering system. First, we ...
179
click to vote
TCAD
1998
15 years 6 months ago
1998
Abstract—We examine the implications of a new hazard-free combinational logic synthesis method [1], which generates multiplexor-based networks from binary decision diagrams (BDDs...
135
click to vote
IAJIT
2010
15 years 5 months ago
2010
: Power amplifiers are essential components in communication systems and are inherently nonlinear. The nonlinearity creates spectral growth beyond the signal bandwidth, which inter...