46 search results - page 9 / 10 » Symbolic Pointer Analysis for Detecting Memory Leaks |
122
click to vote
ENTCS
2002
15 years 29 days ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
141
click to vote
STACS
1992
Springer
15 years 5 months ago
1992
Springer
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...
WCNC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Using cooperative transmission, two or more singleantenna users can share their antennas to achieve spatial diversity in a slow fading channel. One relaying protocol tha...
108
click to vote
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
123
click to vote
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...