623 search results - page 1 / 125 » Relational Parametricity for Control Considered as a Computa... |
ENTCS
2007
13 years 5 months ago
2007
LICS
2007
IEEE
13 years 12 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
DAC
2004
ACM
13 years 11 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...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
SMI
2008
IEEE
13 years 12 months ago
2008
IEEE
The distribution of geometric features is anisotropic by its nature. Intrinsic properties of surfaces such as normal curvatures, for example, varies with direction. In this paper ...