173 search results - page 27 / 35 » Interprocedural analysis of asynchronous programs |
94
Voted
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
APSEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
107
click to vote
ISSTA
2000
ACM
15 years 4 months ago
2000
ACM
During the past two decades many di erent pointer analysis algorithms have been published. Although some descriptions include measurements of the e ectiveness of the algorithm, qu...
191
click to vote
CC
2011
Springer
14 years 3 months ago
2011
Springer
For decades, the design and implementation of arrays in programming languages has reflected a natural tension between productivity and performance. Recently introduced HPCS langua...
113
click to vote
HPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
good data partitioning scheme is the need of the time. However it is very diflcult to arrive at a good solution as the number of possible dutupartitionsfor a given real lifeprogra...