Sciweavers

1278 search results - page 9 / 256
» Programming Sensor Networks Using Abstract Regions
Sort
View
134
Voted
DASFAA
2006
IEEE
145views Database» more  DASFAA 2006»
15 years 9 months ago
Processing Multiple Aggregation Queries in Geo-Sensor Networks
Abstract. To process aggregation queries issued through different sensors as access points in sensor networks, existing algorithms handle queries independently and perform in-netw...
Ken C. K. Lee, Wang-Chien Lee, Baihua Zheng, Julia...
114
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
Topological Data Processing for Distributed Sensor Networks with Morse-Smale Decomposition
Abstract—We are interested in topological analysis and processing of the large-scale distributed data generated by sensor networks. Naturally a large-scale sensor network is depl...
Xianjin Zhu, Rik Sarkar, Jie Gao
118
Voted
FAC
2010
93views more  FAC 2010»
15 years 1 months ago
Verification and falsification of programs with loops using predicate abstraction
Daniel Kroening, Georg Weissenbacher
127
Voted
ICRA
2007
IEEE
203views Robotics» more  ICRA 2007»
15 years 10 months ago
Energy Saving Target Tracking Using Mobile Sensor Networks
Abstract Minimizing the energy consumption of target tracking using a mobile sensor network is proved to be NPcomplete. Based on proximity graph, an approximately optimal solution ...
Yingying Li, Yun-Hui Liu
126
Voted
ICLP
2007
Springer
15 years 9 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens