1760 search results - page 89 / 352 » Program Analysis Using Weighted Pushdown Systems |
175
Voted
POPL
2003
ACM
16 years 26 days ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
151
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
103
click to vote
SAINT
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we model DCCP congestion control mechanism and RED as independent discrete-time systems using fluid-flow approximation. By interconnecting DCCP connections and RE...
86
Voted
BIOINFORMATICS
2005
15 years 14 days ago
2005
Motivation: Genetic analysis of HIV-1 is important not only for vaccine development, but also to guide treatment strategies, track the emergence of new viral variants and ensure t...
144
click to vote
WAN
1998
Springer
15 years 4 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...