2206 search results - page 19 / 442 » On the power of coercion abstraction |
ASCM
2007
Springer
14 years 1 months ago
2007
Springer
Division algorithms for univariate polynomials represented with respect to Lagrange and Bernstein basis are developed. These algore obtained by abstracting from the classical polyn...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. In this proof pearl, we demonstrate the power of higherorder encodings in the logical framework Twelf[PS99] by investigating proofs about an algorithmic specification of...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
Abstract— For scan-based testing, the high test power consumption may cause test power management problems, and the extra scan chain connections may cause routability degradation...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...