13489 search results - page 2640 / 2698 » Operating System |
101
Voted
LCTRTS
2004
Springer
15 years 8 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
145
Voted
RT
2004
Springer
15 years 8 months ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
122
Voted
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
124
Voted
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
The use of inaccurate or outdated database statistics by the query optimizer in a relational DBMS often results in a poor choice of query execution plans and hence unacceptably lo...
146
Voted
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present DKS(N, k, f), a family of infrastructures for building Peer-To-Peer applications. Each instance of DKS(N, k, f) is a fully decentralized overlay network ...