3575 search results - page 130 / 715 » Modeling Concurrency with Geometry |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study the kinematic geometry of general 3-RPR planar parallel robots with actuated base joints. These robots, while largely overlooked, have simple direct kinematics and large ...
117
click to vote
JOC
2008
15 years 1 months ago
2008
In the setting of concurrent self composition, a single protocol is executed many times concurrently by a single set of parties. In this paper, we prove lower bounds and impossibi...
115
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
121
click to vote
CONCURRENCY
2000
15 years 1 months ago
2000
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
119
click to vote
PPOPP
1990
ACM
15 years 5 months ago
1990
ACM
Toprogrammassivelyconcurrent MIMDmachines, programmersneed tools for managingcomplexity. One important tool that has been used in the sequential programmingworld is hierarchies of...