Sciweavers

4255 search results - page 484 / 851
» Cover
Sort
View
INFOCOM
2009
IEEE
16 years 1 months ago
Routing Over Multi-Hop Wireless Networks with Non-Ergodic Mobility
—Routing to mobile nodes in a wireless network is conventionally performed by associating a static IP address (or a geographic location) to each node, and routing to that address...
Chris Milling, Sundar Subramanian, Sanjay Shakkott...
IPPS
2009
IEEE
16 years 1 months ago
Toward adjoinable MPI
4 Automatic differentiation is the primary means of obtaining analytic5 derivatives from a numerical model given as a computer program. There-6 fore, it is an essential productivi...
Jean Utke, Laurent Hascoët, Patrick Heimbach,...
IROS
2009
IEEE
162views Robotics» more  IROS 2009»
16 years 1 months ago
Intelligent vehicle localization using GPS, compass, and machine vision
— Intelligent vehicles require accurate localization relative to a map to ensure safe travel. GPS sensors are among the most useful sensors for outdoor localization, but they sti...
Somphop Limsoonthrakul, Matthew N. Dailey, Manukid...
ISPAN
2009
IEEE
16 years 1 months ago
Chaining Clock Synchronization: An Energy-Efficient Clock Synchronization Scheme for Wireless Sensor Networks
— Since WSNs have restricted energy sources, the energy efficiency of a synchronization scheme is as important as the accuracy of a clock. To accomplish both the energy efficienc...
Sang Hoon Lee, Lynn Choi
TPHOL
2009
IEEE
16 years 1 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow