4961 search results - page 595 / 993 » Homomorphism-Homogeneous Relational Structures |
186
click to vote
IEEEPACT
1999
IEEE
15 years 11 months ago
1999
IEEE
Trace cache, an instruction fetch technique that reduces taken branch penalties by storing and fetching program instructions in dynamic execution order, dramatically improves inst...
188
click to vote
DEBU
2000
15 years 6 months ago
2000
In a traditional information retrieval system, it is assumed that queries can be posed about any topic. In reality, a large fraction of web queries are posed about a relatively sm...
163
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
187
click to vote
ETS
2000
IEEE
15 years 6 months ago
2000
IEEE
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...
166
click to vote
EWC
2000
15 years 6 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...