161
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes a new coherence method called "multicast snooping" that dynamically adapts between broadcast snooping and a directory protocol. Multicast snooping is...
162
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
123
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
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...
183
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
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...
147
click to vote
CHARME
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
