5235 search results - page 124 / 1047 » Analysis of Multithreaded Programs |
109
click to vote
FPCA
1995
15 years 5 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
131
click to vote
CC
2012
Springer
13 years 9 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
103
click to vote
IPPS
2008
IEEE
15 years 8 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...
118
Voted
ICSE
1999
IEEE-ACM
15 years 5 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...
132
click to vote
ECOOPW
2006
Springer
15 years 5 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...