11784 search results - page 93 / 2357 » Interpolation for data structures |
SPAA
2010
ACM
14 years 11 months ago
2010
ACM
Given the sequential implementation of any data structure, we show how to obtain an efficient, wait-free implementation of that data structure shared by any fixed number of proces...
101
click to vote
MICRO
2009
IEEE
15 years 5 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
Our goal is to produce validation data that can be used as an efficient (pre) test set for structural stuck-at faults. In this paper, we detail an original test-oriented mutation ...
ICCNMC
2005
Springer
15 years 4 months ago
2005
Springer
With the fast growing size and complexity of core network, the hash based data structure of current AS_PATH implementation in BGP is facing challenges in performance, mainly caused...
101
click to vote
AADEBUG
1997
Springer
15 years 3 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...