1626 search results - page 121 / 326 » Subtyping with Power Types |
106
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
A new split accumulator architecture to be used in direct digital frequency synthesizers (DDFS) systems is presented. This new design eliminates the need of adders on the section ...
96
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- As the distance between terminals in modern wireless networks tends to decrease, the energy consumption issue, conventionally assumed to be exclusively dominated by the ...
124
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
126
Voted
OOPSLA
2000
Springer
15 years 7 months ago
2000
Springer
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
116
click to vote
DAC
1991
ACM
15 years 7 months ago
1991
ACM
REX is a program that extracts parasitic resistance and capacitance values for nodes in VLSI layouts. REX also performs network serial and parallel simplifications. Two types of n...