769 search results - page 1 / 154 » Where Is the Proof |
DAC
2006
ACM
13 years 11 months ago
2006
ACM
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
ECMDAFA
2008
Springer
13 years 7 months ago
2008
Springer
ISCAPDCS
2008
13 years 7 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
AIPS
2011
12 years 9 months ago
2011
The ignoring delete lists relaxation is of paramount importance for both satisficing and optimal planning. In earlier work (Hoffmann 2005), it was observed that the optimal relax...
CALCO
2005
Springer
13 years 11 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...