4725 search results - page 418 / 945 » Dependence-Based Program Analysis |
167
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
191
click to vote
PASTE
2005
ACM
16 years 1 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
169
click to vote
LCPC
2001
Springer
15 years 12 months ago
2001
Springer
Information gathered by the existing pointer analysis techniques can be classified as must aliases or definitely-points-to relationships, which hold for all executions, and may a...
229
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
222
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...