Sciweavers

1560 search results - page 118 / 312
» Order Functions and Evaluation Codes
Sort
View
OL
2007
156views more  OL 2007»
13 years 9 months ago
A trust region SQP algorithm for mixed-integer nonlinear programming
We propose a modified sequential quadratic programming (SQP) method for solving mixed-integer nonlinear programming problems. Under the assumption that integer variables have a s...
Oliver Exler, Klaus Schittkowski
ISCAS
2005
IEEE
187views Hardware» more  ISCAS 2005»
14 years 3 months ago
New cost-effective VLSI implementation of multiplierless FIR filter using common subexpression elimination
Abstract— In this paper, we propose a novel common subexpresson elimination (CSE) method to be used for VLSI design of multiplierless finite impulse response (FIR) filter with ...
Yasuhiro Takahashi, Michio Yokoyama
SAC
2004
ACM
14 years 3 months ago
A back-end for GHC based on categorical multi-combinators
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
Ricardo Massa Ferreira Lima, Rafael Dueire Lins, A...
COR
1999
99views more  COR 1999»
13 years 9 months ago
Applications of modern heuristic search methods to pattern sequencing problems
This article describes applications of modern heuristic search methods to pattern sequencing problems, i.e., problems seeking for a permutation of the rows of a given matrix with r...
Andreas Fink, Stefan Voß
TPHOL
2003
IEEE
14 years 3 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd