In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
—The modeling of energy components in Wireless Sensor Network (WSN) simulation is important for obtaining realistic lifetime predictions and ensuring the faithful operation of en...
Geoff V. Merrett, Alex S. Weddell, A. P. Lewis, Ni...
Abstract—Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses s...
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...