Sciweavers

195 search results - page 8 / 39
» Static Analysis of Dynamic Communication Systems by Partner ...
Sort
View
GLOBECOM
2009
IEEE
15 years 1 months ago
Evolutionary Games for Hybrid Additive White Gaussian Noise Multiple Access Control
Abstract-- In this paper, we propose an evolutionary gametheoretic framework for hybrid additive white Gaussian noise multiple access channels. We consider a communication system c...
Quanyan Zhu, Hamidou Tembine, Tamer Basar
PASTE
2004
ACM
15 years 3 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
GC
2004
Springer
15 years 3 months ago
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
Johannes Borgström, Uwe Nestmann, Luc Onana A...
GLOBECOM
2007
IEEE
15 years 4 months ago
Outage Behavior of Quasi-Static Fading Channels with Partial Power Control and Noisy Feedback
Abstract— We investigate the outage behavior of multipleantenna slowly fading channels with resolution constrained feedback and partial power control. A fixed-rate communication...
Siavash Ekbatani, Farzad Etemadi, Hamid Jafarkhani
55
Voted
IROS
2007
IEEE
143views Robotics» more  IROS 2007»
15 years 4 months ago
Target tracking control with limited communication and steering dynamics
Abstract— This paper presents a study which extends previous work on collective motion control of a group of vehicles for target tracking. The approach is to drive the group cent...
Anawat Pongpunwattana, Benjamin I. Triplett, Krist...