171 search results - page 5 / 35 » Techniques for Scaling Up Analyses Based on Pre-interpretati... |
101
Voted
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
110
Voted
CCGRID
2008
IEEE
15 years 3 months ago
2008
IEEE
Prefetching is an effective technique for improving file access performance, which can reduce access latency for I/O systems. In distributed storage system, prefetching for metadat...
115
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
126
click to vote
IPPS
2006
IEEE
15 years 7 months ago
2006
IEEE
Sampling is a widely used technique to increase efficiency in database and data mining applications operating on large dataset. In this paper we present a scalable sampling imple...
125
click to vote
MSS
1999
IEEE
15 years 5 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...