1508 search results - page 56 / 302 » A Combination Method for Generating Interpolants |
137
click to vote
DSD
2007
IEEE
15 years 11 months ago
2007
IEEE
The reduction of the cumbersome operations of multiplication, division, and powering to addition, subtraction and multiplication is what makes the Logarithmic Number System (LNS) ...
164
click to vote
EURODAC
1990
IEEE
15 years 9 months ago
1990
IEEE
In this paper an efficient cone oriented circuit partitioning method is presented, which significantly speeds up automatic test pattern generation for combinational circuits. The ...
156
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...
155
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
186
click to vote
EVOW
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...