hardware | Sciweavers

27

ISCA
1999
IEEE

98views Hardware» more ISCA 1999»

Multicast Snooping: A New Coherence Method Using a Multicast Address Network

14 years 1 months ago

This paper proposes a new coherence method called "multicast snooping" that dynamically adapts between broadcast snooping and a directory protocol. Multicast snooping is...

E. Ender Bilir, Ross M. Dickson, Ying Hu, Manoj Pl...

claim paper

Read More »

31

click to vote

ISCA
1999
IEEE

105views Hardware» more ISCA 1999»

The Program Decision Logic Approach to Predicated Execution

14 years 1 months ago

Download www.princeton.edu

Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...

David I. August, John W. Sias, Jean-Michel Puiatti...

claim paper

Read More »

21

click to vote

ISCA
1999
IEEE

90views Hardware» more ISCA 1999»

Correlated Load-Address Predictors

14 years 1 months ago

Download www.ptlsim.org

As microprocessors become faster, the relative performance cost of memory accesses increases. Bigger and faster caches significantly reduce the absolute load-to-use time delay. Ho...

Michael Bekerman, Stéphan Jourdan, Ronny Ro...

claim paper

Read More »

38

click to vote

ISCA
1999
IEEE

218views Hardware» more ISCA 1999»

Maps: A Compiler-Managed Memory System for Raw Machines

14 years 1 months ago

Download www.ece.umd.edu

Rajeev Barua, Walter Lee, Saman P. Amarasinghe, An...

claim paper

Read More »

23

click to vote

CHARME
1999
Springer

83views Hardware» more CHARME 1999»

Model Checking TLA+ Specifications

14 years 1 months ago

Download research.microsoft.com

Yuan Yu, Panagiotis Manolios, Leslie Lamport

claim paper

Read More »

32

click to vote

CHARME
1999
Springer

130views Hardware» more CHARME 1999»

Program Slicing of Hardware Description Languages

14 years 1 months ago

Download www.cs.cmu.edu

Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Ra...

claim paper

Read More »

26

click to vote

CHARME
1999
Springer

61views Hardware» more CHARME 1999»

A Systematic Incrementalization Technique and Its Application to Hardware Design

14 years 1 months ago

Download www.cs.indiana.edu

Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang

claim paper

Read More »

28

click to vote

CHARME
1999
Springer

100views Hardware» more CHARME 1999»

Xs are for Trajectory Evaluation, Booleans are for Theorem Proving

14 years 1 months ago

Download www.comlab.ox.ac.uk

Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational veriﬁcation in higher-order logic. We prov...

Mark Aagaard, Thomas F. Melham, John W. O'Leary

claim paper

Read More »

22

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

14 years 1 months ago