Sciweavers

21437 search results - page 3 / 4288

» Hardware

20

MSIW
1989

112views Hardware» more MSIW 1989»

Totally Verified Systems: Linking Verified Software to Verified Hardware

13 years 8 months ago

Totally Verified Systems: Linking Verified Software to Verified Hardware

Download www.cl.cam.ac.uk

Jeffrey J. Joyce

claim paper

Read More »

11

MICRO
2002
IEEE

161views Hardware» more MICRO 2002»

The Basics of Performance-Monitoring Hardware

13 years 4 months ago

The Basics of Performance-Monitoring Hardware

Download cadal.cse.nsysu.edu.tw

Brinkley Sprunt

claim paper

Read More »

16

ICCD
2006
IEEE

99views Hardware» more ICCD 2006»

High-Level vs. RTL Combinational Equivalence: An Introduction

14 years 1 months ago

High-Level vs. RTL Combinational Equivalence: An Introduction

Download people.cs.ubc.ca

Alan Hu

claim paper

Read More »

11

ICCD
2006
IEEE

109views Hardware» more ICCD 2006»

Scaling Manufacturability Software to Thousands of Processors

14 years 1 months ago

Scaling Manufacturability Software to Thousands of Processors

Download ic.epfl.ch

Fabio Angelillis

claim paper

Read More »

10

ICCD
2005
IEEE

102views Hardware» more ICCD 2005»

14 years 1 months ago

Download www.tunecore.com

claim paper

Read More »

« Prev « First page 3 / 4288 Last » Next »