2227 search results - page 334 / 446 » Reversibility and Models for Concurrency |
132
click to vote
ECEASST
2008
15 years 6 months ago
2008
: We study directed bigraph with negative ports, a bigraphical framework for representing models for distributed, concurrent and ubiquitous computing. With respect to previous vers...
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...
156
click to vote
IJCV
2006
15 years 6 months ago
2006
Standard approaches to stereo correspondence have difficulty when scene structure does not lie in or near the frontal parallel plane, in part because an orientation disparity as we...
161
click to vote
JSA
2007
15 years 6 months ago
2007
This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results using VHDL. T...
150
Voted
AUTOMATICA
2002
15 years 6 months ago
2002
In this paper, the problem concerning how to coordinate the contributions from concurrent controllers, when controlling mobile robots, is investigated. It is shown how a behavior ...