Sciweavers

3793 search results - page 563 / 759
» The wireless synchronization problem
Sort
View
EMSOFT
2010
Springer
15 years 1 months ago
Reducing stack with intra-task threshold priorities in real-time systems
In the design of hard real-time systems, the feasibility of the task set is one of the primary concerns. However, in embedded systems with scarce resources, optimizing resource us...
Gang Yao, Giorgio C. Buttazzo
GLOBECOM
2010
IEEE
15 years 1 months ago
Distributed Transmit Beamforming with Autonomous and Self-Organizing Mobile Antennas
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
Jian Hou, Zhiyun Lin, Wenyuan Xu, Gangfeng Yan
GLOBECOM
2010
IEEE
15 years 1 months ago
Differential Cooperative Communications with Space-Time Network Coding
Abstract--In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimation...
Zhenzhen Gao, Hung-Quoc Lai, K. J. Ray Liu
PRIS
2010
15 years 1 months ago
Towards a Multi-camera Mouse-replacement Interface
We present our efforts towards a multi-camera mouse-replacement system for computer users with severe motion impairments. We have worked with individuals with cerebral palsy or mul...
John J. Magee, Zheng Wu, Harshith Chennamaneni, Sa...
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
15 years 1 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...