1615 search results - page 91 / 323 » Distributed Forward Checking |
ICASSP
2011
IEEE
13 years 23 days ago
2011
IEEE
We study the scenario of pixel-domain distributed video coding for noisy transmission environments and propose a method to allocate the available rate between source coding and ch...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— A distributed feedback control architecture that guarantees collision avoidance and destination convergence for multiple sphere world holonomic agents is presented. The well es...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
ICFEM
2003
Springer
14 years 2 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
PTS
1998
13 years 10 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...