4722 search results - page 426 / 945 » Representation-independent program analysis |
180
click to vote
ECLIPSE
2006
ACM
16 years 22 days ago
2006
ACM
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
169
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
143
click to vote
SCAM
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
182
click to vote
IPPS
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
155
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: Flux variability analysis is often used to determine robustness of metabolic models in various simulation conditions. However, its use has been somehow limited by the ...