1411 search results - page 172 / 283 » A Value Analysis for C Programs |
144
Voted
JCS
2006
15 years 4 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
153
click to vote
NAR
2006
15 years 4 months ago
2006
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
119
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
134
click to vote
TOCS
2012
13 years 7 months ago
2012
We analyze the I/O behavior of iBench, a new collection of productivity and multimedia application workloads. Our analysis reveals a number of differences between iBench and typic...
156
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...