We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyclic doubly-linked lists of acyclic singly-linked lists”, “singly-linked lists of cyclic doublylinked lists with back-pointers to head nodes”, etc. The analysis introduces the use of generic higher-order inductive predic...

FireWire audio devices are flooding the (semi-)pro audio interface market. At LAC2005, the FreeBoB project has been presented, aiming to implement support for devices built on top of the BridgeCo BeBoB platform. This paper discusses the evolution of the FreeBoB project towards a framework generic enough to support a virtually any FireWire based audio device, BeBoB based or not, conforming to th...

This paper summarizes the current status of regulations, standardization efforts and trials around the world regarding white space (WS) communications, especially television band WS (TVWS). After defining WS communication systems configurations and function and the categories of white space database, the TVWS regulations in United States, United Kingdom, and Japan are summarized. Then regarding...

This research statement describes the author’s PhD project, which targets the evaluation of sensor network designs in realistic environments. Network emulation includes a variety of methods and strategies for the evaluation of system designs for networked systems in safe testing environments. The author’s interest is to bridge the gap between generic simulation environments and real sensor netw...

Published by the IEEE CS n 1536-1268/17/$33.00 © 2017 IEEE T amount of business travel I have been doing has greatly increased in the past year—so much so that I have achieved “status” on one of the airlines, which makes the travel a bit more bearable. However, all of this travel has really hammered home the power issues of pervasive computing and the Internet of Things. When I travel, I bring ...

This paper presents a new energy-efficient MAC design to improve the performance of IEEE 802.15.4-based wireless sensor networks. Our proposed mechanism adaptively determines the sleeping schedules of sensor nodes based on the network traffic load to achieve the balance of throughput and energy consumption. This mechanism consists of two phases: schedule exchange phase and schedule generation p...

This work investigates the impact of windfarm on the distribution network power quality. The quality of wind power is decided by IEEE Standard 519-1992 and IEEE Standard 1547. The experiments were carried out at the Vankuswade wind power project, Satara, (M.S.), India. The results are then compared by MATLAB simulation software (Version R2008a). The system is also simulated for system stability...

ADC data sheets and test methods are not yet standardized. A new attempt to create a common platform for these is the draft standard IEEE-STD-1241. However, the methods described in this standard need an extra effort from the user to exactly understand and implement them. It is therefore very reasonable to provide programs which implement these methods, and allow manufacturers and users to use ...

-It is well-known that the computational performance of sequential decoding deteriorates drastically when channel errors occur in clusters. Hagenauer suggested a feasible modification of sequential decoding which uses a burst-tracking method for better performance. At each step he considers the channel to be memoryless, but with varying probability of error. A different way of using sequential ...