Search Sciweavers | Sciweavers

21437 search results - page 381 / 4288

» Hardware

150

click to vote

MICRO
2008
IEEE

174views Hardware» more MICRO 2008»

Cache bursts: A new approach for eliminating dead blocks and increasing cache efficiency

16 years 1 months ago

Download www.ece.cmu.edu

Haiming Liu, Michael Ferdman, Jaehyuk Huh, Doug Bu...

claim paper

Read More »

131

click to vote

SASP
2008
IEEE

95views Hardware» more SASP 2008»

Extensible On-Chip Peripherals

16 years 1 months ago

Download research.microsoft.com

Bharat Sukhwani, Alessandro Forin, Richard Neil Pi...

claim paper

Read More »

104

click to vote

ACSD
2007
IEEE

90views Hardware» more ACSD 2007»

Using CTL formulae as component abstraction in a design and verification flow

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Cécile Braunstein, Emmanuelle Encrenaz

claim paper

Read More »

123

click to vote

ACSD
2007
IEEE

97views Hardware» more ACSD 2007»

Towards Hilbertian Formal Methods

16 years 1 months ago

Download personalpages.manchester.ac.uk

Marius C. Bujorianu, Manuela L. Bujorianu

claim paper

Read More »

144

click to vote

AHS
2007
IEEE

245views Hardware» more AHS 2007»

DNA and Protein Sequence Alignment with High Performance Reconfigurable Systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers