ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
It is widely recognized that security issues will play a crucial role in the majority of future computer and communication systems. Central tools for achieving system security are...
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
A new IEEE compliant floating-point rounding algorithm for computing the rounded product from a carry-save representation of the product is presented. The new rounding algorithm i...
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
The design and implementation of a double precision floating-point IEEE-754 standard adder is described which uses "flagged prefix addition" to merge rounding with the s...
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
Quotients, reciprocals, square roots and square root reciprocals all have the property that infinitely precise
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we design a CORDIC architecture for variable
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
A very
ARITH
1999
IEEE
14 years 1 months ago
1999
IEEE
Although division is less frequent than addition and multiplication, because of its longer latency it dissipates a substantial part of the energy in floating-point units. In this ...
EICS
2010
ACM
14 years 1 months ago
2010
ACM
UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
EICS
2010
ACM
14 years 1 months ago
2010
ACM
Multi-user multimodal interactive systems involve multiple users that can use multiple interaction modalities. Although multi-user multimodal systems are becoming more prevalent (...
COMPUTE
2010
ACM
14 years 1 months ago
2010
ACM
In the literature, speculation-based protocols have been proposed to improve the performance of read-only transactions (ROTs) over the existing two-phase locking (2PL) and snapsho...