Search Sciweavers | Sciweavers

1077 search results - page 11 / 216

» integration 2000

click to vote

DAC
2000
ACM

94views Computer Architecture» more DAC 2000»

Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology

14 years 8 months ago

Download www.cisl.columbia.edu

Kenneth L. Shepard, Dae-Jin Kim

claim paper

Read More »

click to vote

DATE
2000
IEEE

91views Hardware» more DATE 2000»

A Hierarchical Approach for the Symbolic Analysis of Large Analog Integrated Circuits

14 years 6 days ago

Download www.date-conference.com

Oscar Guerra, Elisenda Roca, Francisco V. Fern&aac...

claim paper

Read More »

click to vote

GLVLSI
2000
IEEE

83views VLSI» more GLVLSI 2000»

Formal hardware verification by integrating HOL and MDG

14 years 5 days ago

Download www.cecs.uci.edu

V. K. Pisini, Sofiène Tahar, Paul Curzon, O...

claim paper

Read More »

click to vote

ICDCSW
2000
IEEE

96views Computer Networks» more ICDCSW 2000»

Integrating XML Data with Relational Databases

14 years 5 days ago

Download www.db.cs.ntou.edu.tw

Wang-Chien Lee, Gail Mitchell, Xin Zhang

claim paper

Read More »

click to vote

IPPS
2000
IEEE

91views Distributed And Parallel Com...» more IPPS 2000»

Efficient Integration of Compiler-Directed Cache Coherence and Data Prefetching

14 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers