8056 search results - page 393 / 1612 » Object Behavior Analysis |
150
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a systematic approach to designing summarizing abstract numeric domains from existing numeric domains. Summarizing domains use summary dimensions to represent potentia...
191
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
Processing spatial joins efficiently is crucial to rendering the spatial data analysis process feasible. As pointed out in many works, the exact intersection test of two spatial ob...
174
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
192
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The analysis of the worst-case execution time (WCET) requires detailed knowledge of the program behavior. In practice it is still not possible to obtain all needed information aut...
230
click to vote
SOSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Static code analysis is the analysis of software that is performed to acquire information concerning the dynamic behavior of programs built from that software, without actually ex...