1246 search results - page 117 / 250 » Online testing with model programs |
236
Voted
POPL
2007
ACM
16 years 1 months ago
2007
ACM
A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...
202
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Multiprocessors are now dominant, but real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, t...
107
Voted
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
106
Voted
IJFCS
2006
15 years 1 months ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
123
Voted
TPDS
1998
15 years 24 days ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...