661 search results - page 86 / 133 » Concurrency, objects and visualisation |
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
Typical mobile robots can be customized to perform a variety of different tasks by combining in different ways a set of basic control modules, or behaviors. By contrast, most cu...
FM
1999
Springer
15 years 4 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
117
click to vote
PODC
1997
ACM
15 years 4 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...
MSCS
1998
14 years 11 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
SSS
2010
Springer
14 years 10 months ago
2010
Springer
We present a distributed transactional memory (TM) scheduler called Bi-interval that optimizes the execution order of transactional operations to minimize conflicts. Bi-interval c...