Sciweavers

43 search results - page 1 / 9

» iccad 1998

4

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

13 years 8 months ago

Efficient encoding for exact symbolic automata-based scheduling

Download bears.ece.ucsb.edu

Steve Haynal, Forrest Brewer

claim paper

Read More »

10

ICCAD
1998
IEEE

86views Hardware» more ICCAD 1998»

Polynomial methods for component matching and verification

13 years 8 months ago

Polynomial methods for component matching and verification

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper

Read More »

4

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

13 years 8 months ago

Verification by approximate forward and backward reachability

Download www.cs.york.ac.uk

Shankar G. Govindaraju, David L. Dill

claim paper

Read More »

9

ICCAD
1998
IEEE

92views Hardware» more ICCAD 1998»

Slicing floorplans with pre-placed modules

13 years 8 months ago

Slicing floorplans with pre-placed modules

Download www.cse.cuhk.edu.hk

Fung Yu Young, D. F. Wong

claim paper

Read More »

5

ICCAD
1998
IEEE

71views Hardware» more ICCAD 1998»

Dynamic power management of electronic systems

13 years 8 months ago

Dynamic power management of electronic systems

Download si2.epfl.ch

Luca Benini, Alessandro Bogliolo, Giovanni De Mich...

claim paper

Read More »

« Prev « First page 1 / 9 Last » Next »