Sciweavers

2930 search results - page 128 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
RTSS
2008
IEEE
15 years 10 months ago
Merge-by-Wire: Algorithms and System Support
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, P...
DAC
2006
ACM
16 years 4 months ago
Fast analysis of structured power grid by triangularization based structure preserving model order reduction
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
Hao Yu, Yiyu Shi, Lei He
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 9 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
IV
2002
IEEE
129views Visualization» more  IV 2002»
15 years 8 months ago
Design and Implementation of a Visual Query Language for Large Spatial Databases
In this paper a visual approach to querying in large spatial databases is presented. A diagrammatic technique utilising a data flow metaphor is used to express different kinds of...
Andrew J. Morris, Alia I. Abdelmoty, Douglas Tudho...
HYBRID
2009
Springer
15 years 7 months ago
Distributed Wombling by Robotic Sensor Networks
This paper proposes a distributed coordination algorithm for robotic sensor networks to detect boundaries that separate areas of abrupt change of spatial phenomena. We consider an ...
Jorge Cortés