431 search results - page 64 / 87 » The predictability of branches in libraries |
MICRO
1993
IEEE
13 years 11 months ago
1993
IEEE
Compile-time code transformations which expose instruction-level parallelism (ILP) typically take into account the constraints imposed by all execution scenarios in the program. H...
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
13 years 11 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
EUROPAR
2000
Springer
13 years 11 months ago
2000
Springer
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...
ISCA
1995
IEEE
13 years 11 months ago
1995
IEEE
The PowerPC 620TM microprocessor1 is the most recent and performance leading member of the PowerPCTM family. The 64-bit PowerPC 620 microprocessor employs a two-phase branch predi...
BIOSYSTEMS
2008
13 years 7 months ago
2008
The world's objective pattern is formed through consistent histories of quantum measurements originating as different branches of the same wave function. When we come close t...