6456 search results - page 361 / 1292 » Constraint Solving on Terms |
198
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—We study two convex optimization problems in a multi-class M/G/1 queue with adjustable service rates: minimizing convex functions of the average delay vector, and minimizing ave...
219
click to vote
DDECS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
181
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper is concerned with the robust stabilization of a class of stochastic large-scale systems. The uncertainties satisfy integral quadratic constraints. The random...
214
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
154
click to vote
CSCLP
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents an attempt to construct a ”practical” CSP algorithm that assigns a variable with 2 values at every step. Such a strategy has been successfully used for cons...