1392 search results - page 64 / 279 » Dynamic Data Structure Analysis for Java Programs |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Web-based communities have become important places for people to seek and share expertise. We find that networks in these communities typically differ in their topology from other...
BMCBI
2010
14 years 9 months ago
2010
Background: To understand an RNA sequence's mechanism of action, the structure must be known. Furthermore, target RNA structure is an important consideration in the design of...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
101
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...