5356 search results - page 851 / 1072 » Adventures in time and space |
116
click to vote
JELIA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. One of the maincharacteristics of logical reasoning in knowledge based systems is its high computational complexity. Anytime deduction and anytime compilation are two att...
112
click to vote
HPCA
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper represents a design study of the datapath for a very long instruction word (VLIW) video signal processor (VSP). VLIW architectures provide high parallelism and excellen...
110
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
We present a new matrix formulation of the face hypercube embedding problem that motivates the design of an efficient search strategy to find an encoding that satisfies all fac...
130
click to vote
PEPM
1998
ACM
15 years 6 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
111
click to vote
ISCA
1997
IEEE
15 years 6 months ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...