2049 search results - page 55 / 410 » Normalization and Partial Evaluation |
SIGIR
2003
ACM
14 years 2 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....
INFSOF
2006
13 years 8 months ago
2006
Partial rollback mechanism has been widely supported by many database management systems (DBMSs). It allows a transaction to be rolled back partially, that is, only back to a cert...
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
HOTOS
1999
IEEE
14 years 1 months ago
1999
IEEE
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
PEPM
1998
ACM
14 years 1 months ago
1998
ACM
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...