4722 search results - page 843 / 945 » Encoding Program Executions |
181
click to vote
CONCUR
1993
Springer
15 years 6 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...
110
click to vote
ICS
1993
Tsinghua U.
15 years 6 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
124
click to vote
SAC
1994
ACM
15 years 6 months ago
1994
ACM
An extension of Me parallel constraint logic programming language ElipSys is presented. This extension is directed towards the development of multi-agent systems which have to dea...
111
click to vote
SIGGRAPH
1990
ACM
15 years 6 months ago
1990
ACM
We presenta real-time robot motion plannerthatis fastandcomplete to a resolution. The technique is guaranteed to find a path if one exists at the resolution, and all paths returne...
149
click to vote
AMOST
2007
ACM
15 years 6 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...