4722 search results - page 251 / 945 » Encoding Program Executions |
158
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
148
Voted
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we report on features added to a parallel debugger to simplify the debugging of message passing programs. These features include replay, setting consistent breakpoin...
173
click to vote
ICLP
1998
Springer
15 years 10 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
172
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
A message passing program composition methodology, called Ensemble, applied for Parix is presented. Ensemble overcomes the implementation problems and complexities in developing a...
175
click to vote
TACAS
1997
Springer
15 years 10 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...