Sciweavers

ICCS
1995
Springer
15 years 8 months ago
Conceptual Graphs and First-Order Logic
Michel Wermelinger
ICCS
1995
Springer
15 years 8 months ago
Syntax, Semantics, and Pragmatics of Contexts
Thenotion of context is indispensable in discussions of meaning,but the wordcontext has often beenusedin conflicting senses. In logic, the first representation of contextas a forma...
John F. Sowa
ISCA
1997
IEEE
78views Hardware» more  ISCA 1997»
15 years 8 months ago
Trading Conflict and Capacity Aliasing in Conditional Branch Predictors
As modern microprocessors employ deeper pipelines and issue multiple instructions per cycle, they are becoming increasingly dependent on accurate branch prediction. Because hardwa...
Pierre Michaud, André Seznec, Richard Uhlig
ISCA
1997
IEEE
93views Hardware» more  ISCA 1997»
15 years 8 months ago
The Energy Efficiency of IRAM Architectures
Portable systems demand energy efficiency in order to maximize battery life. IRAM architectures, which combine DRAM and a processor on the same chip in a DRAM process, are more en...
Richard Fromm, Stylianos Perissakis, Neal Cardwell...
ISCA
1997
IEEE
98views Hardware» more  ISCA 1997»
15 years 8 months ago
Target Prediction for Indirect Jumps
As the issue rate and pipeline depth of high performance superscalar processors increase, the amount of speculative work issued also increases. Because speculative work must be th...
Po-Yung Chang, Eric Hao, Yale N. Patt