5470 search results - page 73 / 1094 » Distributed Control Lab |
121
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
165
click to vote
GLOBECOM
2010
IEEE
15 years 13 days ago
2010
IEEE
In this paper we analyze the performance of a distributed queuing medium access control (MAC) protocol designed to execute cooperative ARQ (C-ARQ) schemes at the MAC layer. Due to ...
155
click to vote
ECRTS
2006
IEEE
15 years 8 months ago
2006
IEEE
There is an increasing demand to introduce adaptive capabilities in distributed real-time and embedded (DRE) systems that execute in open environments where system operational con...
135
Voted
TKDE
1998
15 years 2 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
118
click to vote
ISER
1993
Springer
15 years 6 months ago
1993
Springer
This paper describes a complete system architecture integrating planning into a two-armed robotic workcell. The system is comprised of four major components: user interface, plann...