2596 search results - page 169 / 520 » Gradual Typing for Objects |
132
click to vote
WSC
2001
2001
Quantifying simulation output variability using confidence intervals and statistical process control
15 years 5 months ago
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
122
click to vote
JFP
2006
15 years 3 months ago
2006
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
153
click to vote
ENTCS
2007
15 years 3 months ago
2007
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
134
click to vote
IEEEPACT
2009
IEEE
2009
IEEE
Soft-OLP: Improving Hardware Cache Performance through Software-Controlled Object-Level Partitioning
15 years 10 months ago
—Performance degradation of memory-intensive programs caused by the LRU policy’s inability to handle weaklocality data accesses in the last level cache is increasingly serious ...
144
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
In this paper, we present ROAD, a general framework to evaluate Location-Dependent Spatial Queries (LDSQ)s that searches for spatial objects on road networks. By exploiting search...