6 search results - page 2 / 2 » Weak Integer Quantifier Elimination Beyond the Linear Case |
PATMOS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...