11784 search results - page 147 / 2357 » Interpolation for data structures |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
This paper presents a family of programming projects appropriate to a sophomore-level data structures course, centered around the concept of a buffer pool serving as the access i...
102
click to vote
USS
2010
14 years 9 months ago
2010
In a bid to limit the harm caused by ubiquitous remotely exploitable software vulnerabilities, the computer systems security community has proposed primitives to allow execution o...
IJCSA
2006
14 years 11 months ago
2006
Approaches to indexing and searching feature vectors are an indispensable factor to support similarity search effectively and efficiently. Such feature vectors extracted from real...
96
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
158
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...