1379 search results - page 74 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
213
click to vote
JUCS
2006
15 years 3 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
155
Voted
PC
2012
13 years 11 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
127
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
Stream processing is a promising paradigm for programming multi-core systems for high-performance embedded applications. We propose flexible filters as a technique that combines...
109
click to vote
PTS
2010
15 years 2 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
165
click to vote
PPOPP
1991
ACM
15 years 7 months ago
1991
ACM
This paper presents Jade, a language which allows a programmer to easily express dynamic coarse-grain parallelism. Starting with a sequential program, a programmer augments those ...