Sciweavers

94

click to vote

ICCD
1995
IEEE

74views Hardware» more ICCD 1995»

Testability analysis and insertion for RTL circuits based on pseudorandom BIST

15 years 8 months ago

Download www.pld.ttu.ee

Joan Carletta, Christos A. Papachristou

claim paper

Read More »

147

click to vote

ICCD
1995
IEEE

109views Hardware» more ICCD 1995»

Verifying the performance of the PCI local bus using symbolic techniques

15 years 8 months ago

Download www.cs.cmu.edu

Symbolic model checking is a successful technique for checking properties of large ﬁnite-state systems. This method has been used to verify a number of real-world hardware desig...

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

163

click to vote

IPPS
1997
IEEE

139views Distributed And Parallel Com...» more IPPS 1997»

A Fast Scalable Universal Matrix Multiplication Algorithm on Distributed-Memory Concurrent Computers

15 years 8 months ago

Download ipdps.cc.gatech.edu

We present a fast and scalable matrix multiplication algorithm on distributed memory concurrent computers, whose performance is independent of data distribution on processors, and...

J. Choi

claim paper

Read More »

67

click to vote

ICCCN
1995
IEEE

95views Communications» more ICCCN 1995»

A delay model for priority classes of FDDI based on M/G/1 with vacations

15 years 8 months ago

Download www.engr.colostate.edu

Priya N. Werahera, Anura P. Jayasumana, Duane C. B...

claim paper