Sciweavers

442 search results - page 42 / 89
» A Distributed Range Assignment Protocol
Sort
View
CAV
2007
Springer
122views Hardware» more  CAV 2007»
14 years 15 days ago
Parameterized Verification of Infinite-State Processes with Global Conditions
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
ICIP
2005
IEEE
14 years 10 months ago
Shape space sampling distributions and their impact on visual tracking
Object motions can be represented as a sequence of shape deformations and translations which can be interpretated as a sequence of points in N-dimensional shape space. These space...
Amit Kale, Christopher O. Jaynes
ROBOCOMM
2007
IEEE
14 years 2 months ago
Distributed control diffusion: towards a flexible programming paradigm for modular robots
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
Ulrik Pagh Schultz
JPDC
2007
96views more  JPDC 2007»
13 years 8 months ago
Optimal pipeline decomposition and adaptive network mapping to support distributed remote visualization
This paper discusses algorithmic and implementation aspects of a distributed remote visualization system that optimally decomposes and adaptively maps the visualization pipeline t...
Mengxia Zhu, Qishi Wu, Nageswara S. V. Rao, S. Sit...
SIGMETRICS
1998
ACM
14 years 22 days ago
Scheduling Policies to Support Distributed 3D Multimedia Applications
We consider the problem of scheduling tasks with unpredictable service times on distinct processing nodes so as to meet a real-time deadline, given that all communication among no...
Thu D. Nguyen, John Zahorjan