9702 search results - page 142 / 1941 » Communicating Mobile Processes |
131
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Polar modulation techniques offer the capability of multimode wireless system and the potential for the high efficiency Power Amplifier (PA). This paper describes a new design of D...
109
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
— This paper describes a cooperative method for relative localization of mobile robot teams; that is, it describes a method whereby every robot in the team can estimate the pose ...
138
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—Controlled mobile helper nodes called data ferries have recently been proposed to bridge communications between disconnected nodes in a delay-tolerant manner. While existing wor...
124
click to vote
PERCOM
2011
ACM
14 years 8 months ago
2011
ACM
—We present a visualization framework integrated in a context-aware system that uses a common underlying stream processing middleware for tight integration of data accessing, pro...
132
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...