hardware | Sciweavers

3

click to vote

SIGMETRICS
1989
ACM

44views Hardware» more SIGMETRICS 1989»

The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors

14 years 22 days ago

Download www.cs.toronto.edu

Thomas E. Anderson, Edward D. Lazowska, Henry M. L...

claim paper

Read More »

29

click to vote

ASPDAC
1998
ACM

72views Hardware» more ASPDAC 1998»

Space- and Time-Efficient BDD Construction via Working Set Control

14 years 22 days ago

Download www.itu.dk

Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...

Bwolen Yang, Yirng-An Chen, Randal E. Bryant, Davi...

claim paper

Read More »

28

click to vote

MICRO
1990
IEEE

147views Hardware» more MICRO 1990»

Motivation and framework for using genetic algorithms for microcode compaction

14 years 23 days ago

Download www.cs.colostate.edu

Genetic algorithms are a robust adaptive optimization technique based on a biological paradigm. They perform efficient search on poorly-defined spaces by maintaining an ordered po...

Steven J. Beaty, Darrell Whitley, Gearold Johnson

claim paper

Read More »

21

click to vote

ISCA
1990
IEEE

68views Hardware» more ISCA 1990»

Boosting Beyond Static Scheduling in a Superscalar Processor

14 years 23 days ago

Download www-suif.stanford.edu

Michael D. Smith, Monica S. Lam, Mark Horowitz

claim paper

Read More »

22

click to vote

ISCA
1990
IEEE

72views Hardware» more ISCA 1990»

Fast Prolog with an Extended General Purpose Architecture

14 years 23 days ago

Download www.grundu.net

Bruce K. Holmer, Barton Sano, Michael J. Carlton, ...

claim paper

Read More »

24

click to vote

ISCA
1990
IEEE

68views Hardware» more ISCA 1990»

Maximizing Performance in a Striped Disk Array

14 years 23 days ago

Download www.eecs.umich.edu

Improvements in disk speeds have not kept up with improvements in processor and memory speeds. One way to correct the resulting speed mismatch is to stripe data across many disks. ...

Peter M. Chen, David A. Patterson

claim paper

Read More »

23

click to vote

ISCA
1990
IEEE

57views Hardware» more ISCA 1990»

Virtual-Channel Flow Control

14 years 23 days ago

Download www.cs.nchu.edu.tw

William J. Dally

claim paper

Read More »

28

click to vote

ISCA
1990
IEEE

186views Hardware» more ISCA 1990»

Adaptive Software Cache Management for Distributed Shared Memory Architectures

14 years 23 days ago

Download ecadw.colorado.edu

An adaptive cache coherence mechanism exploits semantic information about the expected or observed access behavior of particular data objects. We contend that, in distributed shar...

John K. Bennett, John B. Carter, Willy Zwaenepoel

claim paper

Read More »

35

click to vote

MSIW
1989

112views Hardware» more MSIW 1989»

Totally Verified Systems: Linking Verified Software to Verified Hardware

14 years 23 days ago

Download www.cl.cam.ac.uk

Jeffrey J. Joyce

claim paper