32032 search results - page 6174 / 6407 » Verified programming in Guru |
178
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
Programs represented in Static Single Assignment (SSA) form contain phi instructions (or functions) whose operational semantics are to merge values coming from distinct control flo...
213
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. We consider dynamic evaluation of algebraic functions (matrix multiplication, determinant, convolution, Fourier transform, etc.) in the model of Reif and Tate; i.e., if f...
186
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
We describe the architecture of a hypertext resource discovery system using a relational database. Such a system can answer questions that combine page contents, metadata, and hyp...
210
click to vote
MICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
To achieve highly accurate branch prediction, it is necessary not only to allocate more resources to branch prediction hardware but also to improve the understanding of branch exe...
159
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract: The QoS-based Resource Allocation Model (QRAM) proposed in [20] presented an analytical approach for satisfying multiple quality-of-service dimensions in a resource-const...