Sciweavers

130 search results - page 2 / 26

» iccad 2006

19

ICCAD
2006
IEEE

106views Hardware» more ICCAD 2006»

Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens

14 years 4 months ago

Counterflow pipelining: architectural support for preemption in asynchronous systems using anti-tokens

Download www.cecs.uci.edu

Manoj Ampalam, Montek Singh

claim paper

Read More »

14

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search

14 years 1 months ago

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search

Download www.cecs.uci.edu

Zhaohui Fu, Sharad Malik

claim paper

Read More »

13

ICCAD
2006
IEEE

132views Hardware» more ICCAD 2006»

Exploiting soft redundancy for error-resilient on-chip memory design

14 years 1 months ago

Exploiting soft redundancy for error-resilient on-chip memory design

Download www.cecs.uci.edu

Shuo Wang, Lei Wang

claim paper

Read More »

11

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

14 years 4 months ago

Accelerating high-level bounded model checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

19

ICCAD
2006
IEEE

113views Hardware» more ICCAD 2006»

Organic electronic device modeling at the nanoscale

14 years 1 months ago

Organic electronic device modeling at the nanoscale

Download www.cecs.uci.edu

Conor F. Madigan, Vladimir Bulovic

claim paper

Read More »

« Prev « First page 2 / 26 Last » Next »