21108 search results - page 3947 / 4222 » A General Class of Models of |
115
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
102
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
111
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
One of the most challenging objectives of mobile data management is the ubiquitous, any time, anywhere access. This objective is very difficult to meet due to several network and ...
108
click to vote
SIGIR
2003
ACM
15 years 6 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
117
Voted
SIGMETRICS
2003
ACM
15 years 6 months ago
2003
ACM
It has been observed that the degrees of the topologies of several communication networks follow heavy tailed statistics. What is the impact of such heavy tailed statistics on the...