Sciweavers

4463 search results - page 72 / 893

» computer 2000

24

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

14 years 2 months ago

Reliable verification using symbolic simulation with scalar values

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

26

MOBIHOC
2000
ACM

107views Computer Networks» more MOBIHOC 2000»

Enforcing service availability in mobile ad-hoc WANs

14 years 2 months ago

Enforcing service availability in mobile ad-hoc WANs

Download www.csl.mtu.edu

Levente Buttyán, Jean-Pierre Hubaux

claim paper

Read More »

28

NPAR
2000
ACM

158views Computer Animation» more NPAR 2000»

Interactive dynamic abstraction

14 years 2 months ago

Interactive dynamic abstraction

Download www.snibbe.com

Scott S. Snibbe, Golan Levin

claim paper

Read More »

24

SIGGRAPH
2000
ACM

130views Computer Graphics» more SIGGRAPH 2000»

Fast texture synthesis using tree-structured vector quantization

14 years 2 months ago

Fast texture synthesis using tree-structured vector quantization

Download graphics.stanford.edu

Li-Yi Wei, Marc Levoy

claim paper

Read More »

18

SLIP
2000
ACM

64views Computer Networks» more SLIP 2000»

Pre-layout estimation of individual wire lengths

14 years 2 months ago

Pre-layout estimation of individual wire lengths

Download vlsicad.ucsd.edu

Srinivas Bodapati, Farid N. Najm

claim paper

Read More »

« Prev « First page 72 / 893 Last » Next »