3477 search results - page 300 / 696 » From Tables to Frames |
169
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
146
Voted
CHI
2010
ACM
16 years 3 days ago
2010
ACM
Manual Deskterity is a prototype digital drafting table that supports both pen and touch input. We explore a division of labor between pen and touch that flows from natural human ...
177
click to vote
ARITH
2003
IEEE
16 years 3 days ago
2003
IEEE
A high-radix composite algorithm for the computation of the powering function (¤¦¥ ) is presented in this paper. The algorithm consists of a sequence of overlapped operations: ...
127
click to vote
FPGA
2001
ACM
15 years 11 months ago
2001
ACM
In FPGAs, the internal connections in a cluster of lookup tables (LUTs) are often fully-connected like a full crossbar. Such a high degree of connectivity makes routing easier, bu...
169
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a design of a high-radix on-line division suitable for long precision computations. The proposed scheme uses a quotient-digit selection function based on the residual r...