81 search results - page 9 / 17 » Scalable Shape Analysis for Systems Code |
MOBIHOC
2010
ACM
14 years 7 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
CC
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
GRID
2004
Springer
15 years 3 months ago
2004
Springer
A comprehensive study of the whole petabyte-scale archival data of astronomical observatories has a possibility of new science and new knowledge in the field, while it was not fe...
ICAPR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
SIGMETRICS
2000
ACM
15 years 2 months ago
2000
ACM
The Lightweight Directory Access Protocol (LDAP) is being used for an increasing number of distributed directory applications. We describe a tool to analyze the performance of LDA...