43 search results - page 7 / 9 » A Scalable Segmented Decision Tree Abstract Domain |
EJC
2003
15 years 1 months ago
2003
Abstract. A faceted taxonomy is a set of taxonomies, each describing a given domain from a different aspect, or facet. The indexing of domain objects is done through conjunctive c...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper proposes the ASIMcast (Any-Source Implicit Multicast) protocol which builds a bidirectional tree for routing of multicast traffic. ASIMcast includes feature...
200
click to vote
POPL
2008
ACM
16 years 2 days ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
135
click to vote
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...