Sciweavers

1986 search results - page 27 / 398
» constraints 2006
Sort
View
EUROPLOP
2006
13 years 9 months ago
Meeting real-time constraints using "Sandwich Delays"
This short paper is concerned with the use of patterns to support the development of software for reliable, resource-constrained, embedded systems. The paper introduces one new pa...
Michael J. Pont, Susan Kurian, Ricardo Bautistar
PC
2000
160views Management» more  PC 2000»
13 years 7 months ago
Parallel algorithms to solve two-stage stochastic linear programs with robustness constraints
In this paper we present a parallel method for solving two-stage stochastic linear programs with restricted recourse. The mathematical model considered here can be used to represe...
Patrizia Beraldi, Lucio Grandinetti, Roberto Musma...
MP
2007
89views more  MP 2007»
13 years 7 months ago
Sums of random symmetric matrices and quadratic optimization under orthogonality constraints
Let Bi be deterministic real symmetric m × m matrices, and ξi be independent random scalars with zero mean and “of order of one” (e.g., ξi ∼ N(0, 1)). We are interested to...
Arkadi Nemirovski
RC
2002
100views more  RC 2002»
13 years 7 months ago
Efficient Interval Linear Equality Solving in Constraint Logic Programming
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
Chong-Kan Chiu, Jimmy Ho-Man Lee
JLP
1998
147views more  JLP 1998»
13 years 7 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen