8874 search results - page 64 / 1775 » A New Implementation of Automath |
105
click to vote
ISLPED
1995
ACM
15 years 7 months ago
1995
ACM
We present a technique that automatically synthesizes nite state machines with gated clocks to reduce the power dissipation of the nal implementation. We describe a new transfor...
111
click to vote
TOSEM
2002
15 years 3 months ago
2002
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we...
108
Voted
CEE
2010
15 years 2 months ago
2010
A new implementation for minimally redundant radix-4 floating-point SRT division/square-root (division/sqrt) with the recurrence in the signed-digit format is introduced. The imp...
146
click to vote
IGARSS
2010
15 years 1 months ago
2010
Endmember extraction is an important technique in the context of spectral unmixing of remotely sensed hyperspectral data. Winter's N-FINDR algorithm is one of the most widely...
128
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
In this paper we propose a hybrid FPGA using nanoscale clusters with an architecture similar to clusters of traditional CMOS FPGAs. The proposed cluster is made of a crossbar of n...