146 search results - page 16 / 30 » Putting Pointer Analysis to Work |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
MOBIHOC
2006
ACM
14 years 7 months ago
2006
ACM
MLS is a distributed location service to track the position of mobile nodes and to route messages between any two nodes. The lookup of nodes is achieved by searching in a hierarch...
ECOOP
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
CISIS
2010
IEEE
13 years 10 months ago
2010
IEEE
Offload C++ is an extended version of the C++ language, together with a compiler and runtime system, for automatically offloading general-purpose C++ code to run on the Synergistic...
IBPRIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Previous works on breast tissue identification and abnormalities detection notice that the feature extraction process is affected if the region processed is not well fo...