Sciweavers

6800 search results - page 964 / 1360
» Testing with Functions as Specifications
Sort
View
SASO
2008
IEEE
16 years 1 months ago
A Robust Audit Mechanism to Prevent Malicious Behaviors in Multi-robot Systems
Market-based mechanisms can be used to coordinate self-interested multi-robot systems in fully distributed environments, where by self-interested we mean that each robot agent att...
MyungJoo Ham, Gul A. Agha
SASP
2008
IEEE
140views Hardware» more  SASP 2008»
16 years 1 months ago
An FPGA Design Space Exploration Tool for Matrix Inversion Architectures
— Matrix inversion is a common function found in many algorithms used in wireless communication systems. As FPGAs become an increasingly attractive platform for wireless communic...
Ali Irturk, Bridget Benson, Shahnam Mirzaei, Ryan ...
CIRA
2007
IEEE
182views Robotics» more  CIRA 2007»
16 years 1 months ago
Communication-Efficient Dynamic Task Scheduling for Heterogeneous Multi-Robot Systems
— In this paper, a communication-efficient dynamic task scheduling algorithm for a heterogeneous multi-robot system is proposed. To make this task scheduling algorithm to be scal...
Kashyap Shah, Yan Meng
CSMR
2007
IEEE
16 years 1 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
191
Voted
ICC
2007
IEEE
146views Communications» more  ICC 2007»
16 years 1 months ago
Media Access Control with Spatial Correlation for MIMO Ad Hoc Networks
– MIMO (Multiple Input Multiple Output) is capable of offering several-fold increase in spectral efficiency over singleantenna systems through spatial processing. However, curren...
Bing Wen Ke, Ying Jun Zhang, Soung Chang Liew