Sciweavers

1776 search results - page 47 / 356
» Uncertain Linear Constraints
Sort
View
DAC
2002
ACM
15 years 4 days ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
CADE
2009
Springer
14 years 11 months ago
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
Albert Rubio, Cristina Borralleras, Enric Rodr&iac...
PARA
1995
Springer
14 years 2 months ago
Decomposing Linear Programs for Parallel Solution
Coarse grain parallelism inherent in the solution of Linear Programming (LP) problems with block angular constraint matrices has been exploited in recent research works. However, t...
Ali Pinar, Ümit V. Çatalyürek, Ce...
SIAMCO
2010
93views more  SIAMCO 2010»
13 years 6 months ago
Morphological Control Problems with State Constraints
In this paper, we extend fundamental notions of control theory to evolving compact subsets of the Euclidean space
Thomas Lorenz
IJCAI
2001
14 years 17 days ago
Constraints as Data: A New Perspective on Inferring Probabilities
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...
Manfred Jaeger