18429 search results - page 259 / 3686 » Typing dynamic typing |
199
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
139
click to vote
ARITH
2009
IEEE
16 years 1 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...
164
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we review our proposed statistical voice conversion approaches to enhancing various types of body transmitted speech captured with non-audible murmur (NAM) micropho...
175
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
169
click to vote
ISVLSI
2008
IEEE
16 years 1 months ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...