Sciweavers

5707 search results - page 772 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
ATAL
2011
Springer
14 years 7 months ago
Exploration strategies based on multi-criteria decision making for search and rescue autonomous robots
Autonomous mobile robots are considered a valuable technology for search and rescue applications, where an initially unknown environment has to be explored to locate human victims...
Nicola Basilico, Francesco Amigoni
CODES
2011
IEEE
14 years 7 months ago
Dynamic, multi-core cache coherence architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, memory-intensive applications that were originally designed and coded for general-purpose processors. Ho...
Garo Bournoutian, Alex Orailoglu
DCOSS
2011
Springer
14 years 7 months ago
Group monitoring in mobile wireless sensor networks
—The need to monitor groups of mobile entities arises in many application contexts. Examples include the study of the social behavior of humans and wildlife, the shepherding of l...
Marco Cattani, Stefan Guna, Gian Pietro Picco
INFOCOM
2012
IEEE
13 years 10 months ago
On the construction of data aggregation tree with minimum energy cost in wireless sensor networks: NP-completeness and approxima
—In many applications, it is a basic operation for the sink to periodically collect reports from all sensors. Since the data gathering process usually proceeds for many rounds, i...
Tung-Wei Kuo, Ming-Jer Tsai
INFOCOM
2012
IEEE
13 years 10 months ago
Origin-destination flow measurement in high-speed networks
—An origin-destination (OD) flow between two routers is the set of packets that pass both routers in a network. Measuring the sizes of OD flows is important to many network man...
Tao Li, Shigang Chen, Yan Qiao