1379 search results - page 133 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
118
Voted
ICTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
126
click to vote
MICRO
2006
IEEE
15 years 9 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
208
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
159
Voted
HOTSWUP
2009
ACM
15 years 7 months ago
2009
ACM
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
167
click to vote
PPOPP
2009
ACM
16 years 4 months ago
2009
ACM
Recent advances in polyhedral compilation technology have made it feasible to automatically transform affine sequential loop nests for tiled parallel execution on multi-core proce...