2299 search results - page 435 / 460 » Logical Data Expiration |
185
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
186
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
160
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
185
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
Abstract. In this paper we present new concurrent and recoverable B-link-tree algorithms. Unlike previous algorithms, ours maintain the balance of the B-link tree at all times, so ...
171
click to vote
SIGMOD
2009
ACM
15 years 11 months ago
2009
ACM
A multi-tenant database system for Software as a Service (SaaS) should offer schemas that are flexible in that they can be extended for different versions of the application and d...