Sciweavers

11061 search results - page 106 / 2213

» Computer Architecture

62

DAC
2002
ACM

82views Computer Architecture» more DAC 2002»

A novel wavelet transform based transient current analysis for fault detection and localization

15 years 10 months ago

A novel wavelet transform based transient current analysis for fault detection and localization

Download www.gigascale.org

Swarup Bhunia, Kaushik Roy, Jaume Segura

claim paper

Read More »

62

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

15 years 10 months ago

Can BDDs compete with SAT solvers on bounded model checking?

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

74

DAC
2002
ACM

86views Computer Architecture» more DAC 2002»

S-Tree: a technique for buffered routing tree synthesis

15 years 10 months ago

S-Tree: a technique for buffered routing tree synthesis

Download www.cs.uic.edu

Milos Hrkic, John Lillis

claim paper

Read More »

77

DAC
2002
ACM

123views Computer Architecture» more DAC 2002»

Implementing asynchronous circuits using a conventional EDA tool-flow

15 years 10 months ago

Implementing asynchronous circuits using a conventional EDA tool-flow

Download www.bcim.lsbu.ac.uk

Christos P. Sotiriou

claim paper

Read More »

87

DAC
2003
ACM

132views Computer Architecture» more DAC 2003»

Timing optimization of FPGA placements by logic replication

15 years 10 months ago

Timing optimization of FPGA placements by logic replication

Download www.cs.uic.edu

Giancarlo Beraudo, John Lillis

claim paper

Read More »

« Prev « First page 106 / 2213 Last » Next »