4722 search results - page 171 / 945 » Encoding Program Executions |
202
click to vote
ICPADS
1996
IEEE
15 years 10 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
156
click to vote
PLDI
1990
ACM
15 years 10 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
214
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
156
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Detecting races is important for debugging shared-memory parallel programs, because the races result in unintended nondeterministic executions of the programs. Previous on-the- y t...
172
click to vote
PTS
2008
15 years 8 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...