4716 search results - page 31 / 944 » Iterative-free program analysis |
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
We present a novel dynamic analysis technique that finds real deadlocks in multi-threaded programs. Our technique runs in two stages. In the first stage, we use an imprecise dyn...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
Given the complexity of parallel programs, developers often must rely on performance analysis tools to help them improve the performance of their code. While many tools support th...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
ECOOPW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
WORDS
2005
IEEE
14 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...