2144 search results - page 112 / 429 » Exact Flow Analysis |
138
click to vote
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...
154
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
160
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
125
click to vote
ECSA
2010
Springer
15 years 5 months ago
2010
Springer
Architectural level analysis of a software system for its quality attributes is a proven cost-effective approach. This is particularly significant for performance, which defines m...
120
click to vote
MAS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we introduce a collection of cryptographic key constructions built from environmental data that are resistant to adversarial analysis and deceit. We expound upon the...