1379 search results - page 61 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
117
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
124
Voted
EGH
2005
Springer
15 years 8 months ago
2005
Springer
Complex shaders must be partitioned into multiple passes to execute on GPUs with limited hardware resources. Automatic partitioning gives rise to an NP-hard scheduling problem tha...
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...
104
Voted
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
195
Voted
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
The emergence of heterogeneous many core architectures presents a unique opportunity for delivering order of magnitude performance increases to high performance applications by ma...