5671 search results - page 1013 / 1135 » A Semantic Approach to Interpolation |
149
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
—This paper evaluates techniques for improving operating system and network protocol software support for high-performance World Wide Web servers. We study approaches in three ca...
179
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
Applications have an increasing need to manage semistructured data such as data encoded in XML along with conventional structured data. We extend the structured object database ...
148
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
197
click to vote
FSTTCS
1999
Springer
15 years 10 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
168
click to vote
HPCA
1998
IEEE
15 years 10 months ago
1998
IEEE
Dependences among loads and stores whose addresses are unknown hinder the extraction of instruction level parallelism during the execution of a sequential program. Such ambiguous ...