1589 search results - page 32 / 318 » Constraints with Variables' Annotations |
IFM
2010
Springer
13 years 7 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
ISLPED
1998
ACM
14 years 27 days ago
1998
ACM
This paper presents a model of dynamically variable voltage processor and basic theorems for power-delay optimization. A static voltage scheduling problem is also proposed and for...
VAMOS
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
CONSTRAINTS
2006
13 years 8 months ago
2006
To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic constraint programming. Stochastic constraint programs conta...
DAC
2004
ACM
14 years 2 months ago
2004
ACM
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...