1760 search results - page 258 / 352 » Program Analysis Using Weighted Pushdown Systems |
140
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Recent progresses in genotyping technologies allow the generation high-density genetic maps using hundreds of thousands of genetic markers for each DNA sample. The ava...
108
click to vote
EUROSYS
2009
ACM
15 years 11 months ago
2009
ACM
Program source is an intermediate representation of software; it lies between a developer’s intention and the hardware’s execution. Despite advances in languages and developme...
109
click to vote
IISWC
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...
108
click to vote
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Debugging concurrent programs is difficult. This is primarily because the inherent non-determinism that arises because of scheduler interleavings makes it hard to easily reproduc...
164
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...