250 search results - page 2 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
CORR
2007
Springer
14 years 10 months ago
2007
Springer
105
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
JPDC
2008
14 years 10 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...