352 search results - page 31 / 71 » Evaluating the imprecision of static analysis |
136
click to vote
IEEEVAST
2010
14 years 8 months ago
2010
Finding patterns in temporal data is an important data analysis task in many domains. Static visualizations can help users easily see certain instances of patterns, but are not sp...
104
click to vote
TVCG
2008
15 years 1 months ago
2008
Animation has been used to show trends in multi-dimensional data. This technique has recently gained new prominence for presentations, most notably with Gapminder Trendalyzer. In T...
119
click to vote
SC
2009
ACM
15 years 8 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
117
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
140
click to vote
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...