918 search results - page 31 / 184 » Speculative Issue Logic |
165
click to vote
ISCA
2005
IEEE
15 years 11 months ago
2005
IEEE
RENO is a modified MIPS R10000 register renamer that uses map-table “short-circuiting” to implement dynamic versions of several well-known static optimizations: move eliminat...
163
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
140
click to vote
BIRTHDAY
1991
Springer
15 years 9 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
161
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
146
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Control code is a concept that is closely related to a frequently occurring practitioner’s view on what is a program: code that is capable of controlling the behaviour ...