Sciweavers

43 search results - page 1 / 9

» iccad 1998

7

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

13 years 10 months ago

Efficient encoding for exact symbolic automata-based scheduling

Download bears.ece.ucsb.edu

Steve Haynal, Forrest Brewer

claim paper

Read More »

13

ICCAD
1998
IEEE

86views Hardware» more ICCAD 1998»

Polynomial methods for component matching and verification

13 years 9 months ago

Polynomial methods for component matching and verification

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper

Read More »

8

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

13 years 10 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 »

13

ICCAD
1998
IEEE

92views Hardware» more ICCAD 1998»

Slicing floorplans with pre-placed modules

13 years 10 months ago

Slicing floorplans with pre-placed modules

Download www.cse.cuhk.edu.hk

Fung Yu Young, D. F. Wong

claim paper

Read More »

8

ICCAD
1998
IEEE

71views Hardware» more ICCAD 1998»

Dynamic power management of electronic systems

13 years 10 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 »