Search Sciweavers | Sciweavers

7262 search results - page 107 / 1453

» Reversible Computer Hardware

103

click to vote

SAT
2007
Springer

68views Hardware» more SAT 2007»

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

16 years 17 days ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

118

Voted

ASPDAC
2006
ACM

107views Hardware» more ASPDAC 2006»

Energy-aware computation duplication for improving reliability in embedded chip multiprocessors

16 years 13 days ago

Download www.cecs.uci.edu

Guilin Chen, Mahmut T. Kandemir, Feihui Li

claim paper

Read More »

118

click to vote

ISLPED
2006
ACM

107views Hardware» more ISLPED 2006»

SmartSaver: turning flash drive into a disk energy saver for mobile computers

16 years 13 days ago

Download dragonstar.ict.ac.cn

Feng Chen, Song Jiang, Xiaodong Zhang

claim paper

Read More »

132

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

16 years 9 hour ago

Download w3.isis.vanderbilt.edu

A. Dubey, X. Wu, H. Su, T. J. Koo

claim paper

Read More »

Voted

FPL
2005
Springer

79views Hardware» more FPL 2005»

PGR: A Software Package for Reconfigurable Super-Computing

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers