2878 search results - page 65 / 576 » Learning the Common Structure of Data |
177
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
131
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— The problem of efficient data structures for IP lookups has been well studied in literature. Techniques such as LC tries and Extensible Hashing are commonly used. In this pape...
125
Voted
HPCA
2009
IEEE
16 years 3 months ago
2009
IEEE
Linked data structure (LDS) accesses are critical to the performance of many large scale applications. Techniques have been proposed to prefetch such accesses. Unfortunately, many...
142
click to vote
PPOPP
2010
ACM
16 years 19 days ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
137
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints...