Search Sciweavers | Sciweavers

5754 search results - page 52 / 1151

» Multi-class Model M

click to vote

ISCAS
1999
IEEE

63views Hardware» more ISCAS 1999»

Passive device modeling methodology using nonlinear optimization

15 years 8 months ago

Download people.ee.duke.edu

L. A. Carastro, R. Poddar, E. Moon, Martin A. Broo...

claim paper

Read More »

133

Voted

DFT
1998
IEEE

129views VLSI» more DFT 1998»

Accurate Fault Modeling and Fault Simulation of Resistive Bridges

15 years 8 months ago

Download faculty.cs.tamu.edu

Vijay R. Sar-Dessai, D. M. H. Walker

claim paper

Read More »

Voted

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 8 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

111

Voted

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 8 months ago

Download www.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

click to vote

GLVLSI
1997
IEEE

131views VLSI» more GLVLSI 1997»

Analog Circuit Model of Lamprey Unit Pattern Generator

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers