Search Sciweavers | Sciweavers

7262 search results - page 107 / 1453

» Reversible Computer Hardware

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

15 years 4 months ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

107views Hardware» more ASPDAC 2006»

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

15 years 4 months ago

Download www.cecs.uci.edu

Guilin Chen, Mahmut T. Kandemir, Feihui Li

claim paper

Read More »

click to vote

ISLPED
2006
ACM

107views Hardware» more ISLPED 2006»

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

15 years 3 months ago

Download dragonstar.ict.ac.cn

Feng Chen, Song Jiang, Xiaodong Zhang

claim paper

Read More »

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

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

15 years 3 months ago

Download w3.isis.vanderbilt.edu

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

claim paper

Read More »

click to vote

FPL
2005
Springer

79views Hardware» more FPL 2005»

PGR: A Software Package for Reconfigurable Super-Computing

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers