6960 search results - page 555 / 1392 » Continuity Analysis of Programs |
235
click to vote
WOMPAT
2004
Springer
16 years 16 days ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
152
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
190
click to vote
JSW
2008
15 years 7 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...
190
click to vote
CC
2007
Springer
16 years 1 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
233
click to vote
CODES
2002
IEEE
16 years 5 days ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...