11784 search results - page 152 / 2357 » Interpolation for data structures |
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
106
click to vote
AP2PC
2003
Springer
15 years 4 months ago
2003
Springer
Peer-to-Peer (P2P) technologies promise to provide efficient distribution, sharing and management of resources, such as storage, processing, routing and other sundry service capabi...
106
click to vote
INFOSCALE
2007
ACM
15 years 1 months ago
2007
ACM
Efficient multi-dimensional data search has received much attention in centralized systems. However, its implementation in large-scale distributed systems is not a trivial job and...
129
click to vote
ICST
2011
IEEE
14 years 3 months ago
2011
IEEE
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
CAV
2004
Springer
15 years 5 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...