3688 search results - page 223 / 738 » Static analysis of aspects |
165
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
In many systems, items of information have owners associated with them. An owner of an item of information may want the system to enforce a policy that restricts use of that infor...
163
Voted
SC
1995
ACM
15 years 10 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...
154
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...
151
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
220
click to vote
CGO
2011
IEEE
14 years 10 months ago
2011
IEEE
—Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, whic...