Sciweavers

8949 search results - page 56 / 1790

» is 1998

117

Voted

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

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

96

Voted

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

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

137

ICCAD
1998
IEEE

87views Hardware» more ICCAD 1998»

Full-chip verification of UDSM designs

15 years 10 months ago

Full-chip verification of UDSM designs

Download www.cs.york.ac.uk

Resve A. Saleh, David Overhauser, Sandy Taylor

claim paper

Read More »

139

ICCAD
1998
IEEE

92views Hardware» more ICCAD 1998»

Slicing floorplans with pre-placed modules

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

140

ICCCN
1998
IEEE

121views Communications» more ICCCN 1998»

Mobility Management in Next Generation Wireless Systems

15 years 10 months ago

Mobility Management in Next Generation Wireless Systems

Download mobiledata.cs.gc.cuny.edu

Ian F. Akyildiz

claim paper

Read More »

« Prev « First page 56 / 1790 Last » Next »