1550 search results - page 163 / 310 » Benchmarking for Graph Transformation |
121
Voted
SP
2008
IEEE
15 years 7 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
91
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The impact of process variations increases as technology scales to nanometer region. Under large process variations, the path and arc/node criticality [18] provide effe...
116
Voted
ICDCS
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
116
click to vote
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
128
Voted
OOPSLA
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...