4722 search results - page 504 / 945 » Representation-independent program analysis |
184
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
199
click to vote
VL
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
161
click to vote
APLAS
2005
ACM
16 years 10 days ago
2005
ACM
We describe a sound method for automatically proving Hoare triples for loop-free code in Separation Logic, for certain preconditions and postconditions (symbolic heaps). The method...
182
click to vote
ICTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
190
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...