250 search results - page 11 / 50 » Static Probabilistic Timing Analysis for Multi-path Programs |
ESOP
2008
Springer
15 years 10 days ago
2008
Springer
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
101
click to vote
PLDI
1993
ACM
15 years 2 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
186
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
103
click to vote
SP
2006
IEEE
15 years 4 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...