1982 search results - page 53 / 397 » Parametricity and dependent types |
ARITH
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper introduces fine-grain clockgating schemes for fused multiply-add-type floating-point units (FPU). The clockgating is based on instruction type, precision and operand v...
ECOOP
2000
Springer
15 years 2 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
ACL
2007
14 years 11 months ago
2007
We examine the problem of choosing word order for a set of dependency trees so as to minimize total dependency length. We present an algorithm for computing the optimal layout of ...
SAC
2006
ACM
14 years 9 months ago
2006
ACM
The second-class formulation of generics in Java 5.0 discards generic type information during compilation. As a result, Java 5.0 prohibits run-time type-dependent operations, gene...
VTC
2006
IEEE
15 years 3 months ago
2006
IEEE
— The dynamic nature of ad hoc networks advocates the use of adaptive schemes to optimize network performance. Such adaptive schemes require local observations of prevailing netw...