1411 search results - page 88 / 283 » A Value Analysis for C Programs |
130
click to vote
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
Program slice is a set of statements that affect the value of variable v in a statement s. In order to calculate a program slice, we must know the dependence relations between sta...
118
Voted
EOR
2008
15 years 4 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
133
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Microscopists are familiar with many blemishes that fluorescence images can have due to dust and debris, glass flaws, uneven distribution of fluids or surface coatings...
111
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
140
Voted
WSC
2000
15 years 5 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...