Sciweavers

130 search results - page 2 / 26

» iccad 2006

10

ICCAD
2006
IEEE

106views Hardware» more ICCAD 2006»

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

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

7

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

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

13 years 10 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 »

6

ICCAD
2006
IEEE

132views Hardware» more ICCAD 2006»

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

13 years 10 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 »

6

ICCAD
2006
IEEE

111views Hardware» more ICCAD 2006»

Accelerating high-level bounded model checking

14 years 1 months ago

Accelerating high-level bounded model checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta

claim paper

Read More »

11

ICCAD
2006
IEEE

113views Hardware» more ICCAD 2006»

Organic electronic device modeling at the nanoscale

13 years 10 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 »