Sciweavers

21437 search results - page 3 / 4288

» Hardware

41

MSIW
1989

112views Hardware» more MSIW 1989»

Totally Verified Systems: Linking Verified Software to Verified Hardware

14 years 2 months ago

Totally Verified Systems: Linking Verified Software to Verified Hardware

Download www.cl.cam.ac.uk

Jeffrey J. Joyce

claim paper

Read More »

26

MICRO
2002
IEEE

161views Hardware» more MICRO 2002»

The Basics of Performance-Monitoring Hardware

13 years 10 months ago

The Basics of Performance-Monitoring Hardware

Download cadal.cse.nsysu.edu.tw

Brinkley Sprunt

claim paper

Read More »

33

ICCD
2006
IEEE

99views Hardware» more ICCD 2006»

High-Level vs. RTL Combinational Equivalence: An Introduction

14 years 7 months ago

High-Level vs. RTL Combinational Equivalence: An Introduction

Download people.cs.ubc.ca

Alan Hu

claim paper

Read More »

23

ICCD
2006
IEEE

109views Hardware» more ICCD 2006»

Scaling Manufacturability Software to Thousands of Processors

14 years 7 months ago

Scaling Manufacturability Software to Thousands of Processors

Download ic.epfl.ch

Fabio Angelillis

claim paper

Read More »

29

ICCD
2005
IEEE

102views Hardware» more ICCD 2005»

14 years 7 months ago

Download www.tunecore.com

claim paper

Read More »

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