215 search results - page 33 / 43 » Practical Implications of New Results in Conservation of Opt... |
ICFEM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
VLDB
1997
ACM
14 years 17 days ago
1997
ACM
This paper presents a region splitting strategy for physical database design of multidimensional le organizations. Physical database design is the process of determining the optim...
ICDCS
2009
IEEE
14 years 5 months ago
2009
IEEE
While it is well known that network coding achieves optimal flow rates in multicast sessions, its potential for practical use has remained to be a question, due to its high compu...
DEXA
2006
Springer
14 years 3 days ago
2006
Springer
Moving range queries over mobile objects are important in many location management applications. There have been quite a few research works in this area. However, all existing solu...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We consider the problem of self-healing in networks that are reconfigurable in the sense that they can change their topology during an attack. Our goal is to maintain connectivity...