Search Sciweavers | Sciweavers

11112 search results - page 94 / 2223

» Computing Stuttering Simulations

click to vote

IPPS
2000
IEEE

108views Distributed And Parallel Com...» more IPPS 2000»

Hardware Support for Simulated Annealing and Tabu Search

14 years 1 months ago

Download ipdps.cc.gatech.edu

Reinhard Schneider, Reinhold Weiss

claim paper

Read More »

click to vote

ISPAN
2000
IEEE

88views Distributed And Parallel Com...» more ISPAN 2000»

Environment for Multiprocessor Simulator Development

14 years 1 months ago

Download www.am.ics.keio.ac.jp

T. Horita, M. Wakabayashi

claim paper

Read More »

click to vote

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

14 years 1 months ago

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

click to vote

DAC
1999
ACM

122views Computer Architecture» more DAC 1999»

Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits

14 years 1 months ago

Download www.cecs.uci.edu

Valeria Bertacco, Maurizio Damiani, Stefano Quer

claim paper

Read More »

click to vote

DAC
1999
ACM

113views Computer Architecture» more DAC 1999»

Virtual Simulation of Distributed IP-based Designs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers