1626 search results - page 170 / 326 » Subtyping with Power Types |
127
click to vote
ARITH
2007
IEEE
15 years 11 months ago
2007
IEEE
An emerging nanotechnology, quantum-dot cellular automata (QCA), has the potential for attractive features such as faster speed, smaller size, and lower power consumption than tra...
126
Voted
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a framework to analyze and summarize the temporal dynamics within personal blogs. Blog temporal dynamics are difficult to capture using a few class descr...
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, system level design techniques for companding baseband switched capacitor (SC) filters for WLAN applications are presented. With companding, no AGC is required ...
118
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper presents a recently developed handheld biochip-based microsystem. The microsystem is based on a magneto-resistive array biochip composed of a number of sensi...
113
Voted
LICS
2007
IEEE
15 years 11 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...