Sciweavers

43 search results - page 1 / 9

» iccad 1998

47

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

15 years 3 months ago

Efficient encoding for exact symbolic automata-based scheduling

Download bears.ece.ucsb.edu

Steve Haynal, Forrest Brewer

claim paper

Read More »

76

Voted

ICCAD
1998
IEEE

86views Hardware» more ICCAD 1998»

Polynomial methods for component matching and verification

15 years 2 months ago

Polynomial methods for component matching and verification

Download si2.epfl.ch

James Smith, Giovanni De Micheli

claim paper

Read More »

56

Voted

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

15 years 3 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 »

73

Voted

ICCAD
1998
IEEE

92views Hardware» more ICCAD 1998»

Slicing floorplans with pre-placed modules

15 years 3 months ago

Slicing floorplans with pre-placed modules

Download www.cse.cuhk.edu.hk

Fung Yu Young, D. F. Wong

claim paper

Read More »

47

Voted

ICCAD
1998
IEEE

71views Hardware» more ICCAD 1998»

Dynamic power management of electronic systems

15 years 3 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 »