11231 search results - page 1880 / 2247 » Digging for Data Structures |
140
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
154
click to vote
DAMON
2009
Springer
15 years 11 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
149
click to vote
ECOWS
2009
Springer
15 years 11 months ago
2009
Springer
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
127
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
NANDFS is a flash file system that exposes a memory-performance tradeoff to system integrators. The file system can be configured to use a large amount of RAM, in which case i...
118
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a genetic programming-based symbolic regression approach to the construction of relational features in link analysis applications. Specifically, we consider t...