Sciweavers

174 search results - page 11 / 35
» tc 2001
Sort
View
110
Voted
TC
1998
15 years 2 days 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
15 years 2 days 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
103
Voted
TC
2002
15 years 2 days 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
15 years 2 days 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
15 years 10 days 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 ...