480 search results - page 46 / 96 » Understanding the Behavior of Java Programs |
123
click to vote
CSMR
2007
IEEE
15 years 7 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
185
Voted
POPL
2007
ACM
16 years 26 days ago
2007
ACM
We describe a framework for better understanding scheduling policies for fine-grained parallel computations and their effect on space usage. We define a profiling semantics that c...
101
Voted
SCAM
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper, we introduce 13 program slicing metrics for C language programs. These metrics use program slice information to measure the size, complexity, coupling, and cohesion...
96
Voted
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...