2673 search results - page 249 / 535 » Guided Static Analysis |
130
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
We introduce a novel behavioral test synthesis methodology that attempts to increase module reachability, driven by powerful global design path analysis. Based on the notion of tr...
170
click to vote
EPEW
2008
Springer
15 years 7 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
158
click to vote
TROB
2008
15 years 5 months ago
2008
In this paper we show that for haptic rendering using position feedback, the structure of the feedback loop imposes a fundamental tradeoff between accurate rendering of virtual env...
171
click to vote
EDM
2009
15 years 3 months ago
2009
This paper presents an agent-based educational environment to teach argument analysis (ALES). The idea is based on the Argumentation Interchange Format Ontology (AIF) using "W...
169
click to vote
EUROPAR
2009
Springer
15 years 3 months ago
2009
Springer
Profiling tools relate measurements to code context such as function names in order to guide code optimization. For a more detailed analysis, call path or phase-based profiling enh...