589 search results - page 23 / 118 » Toward General Analysis of Recursive Probability Models |
108
click to vote
PDPTA
2000
15 years 3 months ago
2000
When evaluating quantitative aspects of communication networks using simulation, one of the main difficulties to face is the often considerable computing power required. In some s...
124
Voted
DAC
2005
ACM
15 years 3 months ago
2005
ACM
A physical yet compact gate delay model is developed integrating short-channel effects and the Alpha-power law based timing model. This analytical approach accurately predicts bot...
110
click to vote
DOLAP
2006
ACM
15 years 7 months ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
123
Voted
CSL
2009
Springer
15 years 8 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
119
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...