1379 search results - page 88 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
131
click to vote
FPLAY
2008
15 years 5 months ago
2008
Based on research that studied the challenges and difficulties faced by students taking games studies and game design courses, we propose that, while many students enrolled in gam...
144
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
128
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
146
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
141
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...