Sciweavers

8949 search results - page 56 / 1790

» is 1998

19

ICCAD
1998
IEEE

70views Hardware» more ICCAD 1998»

Verification by approximate forward and backward reachability

14 years 2 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 »

17

ICCAD
1998
IEEE

75views Hardware» more ICCAD 1998»

Efficient encoding for exact symbolic automata-based scheduling

14 years 2 months ago

Efficient encoding for exact symbolic automata-based scheduling

Download bears.ece.ucsb.edu

Steve Haynal, Forrest Brewer

claim paper

Read More »

31

ICCAD
1998
IEEE

87views Hardware» more ICCAD 1998»

Full-chip verification of UDSM designs

14 years 2 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 »

28

ICCAD
1998
IEEE

92views Hardware» more ICCAD 1998»

Slicing floorplans with pre-placed modules

14 years 2 months ago

Slicing floorplans with pre-placed modules

Download www.cse.cuhk.edu.hk

Fung Yu Young, D. F. Wong

claim paper

Read More »

29

ICCCN
1998
IEEE

121views Communications» more ICCCN 1998»

Mobility Management in Next Generation Wireless Systems

14 years 2 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 »