Sciweavers

174 search results - page 11 / 35
» tc 2001
Sort
View
TC
1998
13 years 7 months ago
Design Verification of the S3.mp Cache-Coherent Shared-Memory System
—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstracti...
Fong Pong, Michael C. Browne, Gunes Aybay, Andreas...
TC
2002
13 years 7 months ago
Reduced Length Checking Sequences
-- Here the method proposed in [13] for constructing minimal-length checking sequences based on distinguishing sequences is improved. The improvement is based on optimizations of t...
Robert M. Hierons, Hasan Ural
TC
2002
13 years 7 months ago
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
We investigate the timing properties of the timed token protocol that are necessary to guarantee synchronous message deadlines. A tighter upper bound on the elapse time between the...
Sijing Zhang, Alan Burns, Tee-Hiang Cheng
TC
1998
13 years 7 months ago
Comments on Duprat and Muller's Branching CORDIC Paper
In [1], Duprat and Muller introduced the ingenious “Branching CORDIC” algorithm. It enables a fast implementation of CORDIC algorithm using signed digits and requires a consta...
Dhananjay S. Phatak
TC
2008
13 years 7 months ago
A Radix-2 Digit-by-Digit Architecture for Cube Root
Abstract-- A radix-2 digit-recurrence algorithm and architecture for the computation of the cube root are presented in this paper. The original recurrence based on the concept of c...
Alex Piñeiro, Javier D. Bruguera, Fabrizio ...