2725 search results - page 376 / 545 » Constraint Solving for Interpolation |
122
click to vote
ISCAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, the Simulated Evolution algorithm (SimE) is engineered to solve the optimization problem of multi-objective VLSI netlist bi-partitioning. The multi-objective versio...
152
Voted
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
We consider the execution of a complex application on a heterogeneous "grid" computing platform. The complex application consists of a suite of identical, independent pr...
128
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
148
click to vote
ECWEB
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. e-Procurement is an Internet-based business process for obtaining materials and services and managing their inflow into the organization. In this paper we develop multia...
106
click to vote
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...