Sciweavers

1546 search results - page 287 / 310
» Context-Aware Computing with Sound
Sort
View
HASKELL
2009
ACM
16 years 13 days ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
ICPPW
2008
IEEE
16 years 10 days ago
Energy Modeling of Processors in Wireless Sensor Networks Based on Petri Nets
Power minimization is a serious issue in wireless sensor networks to extend the lifetime and minimize costs. However, in order to gain an accurate understanding of issues regardin...
Ali Shareef, Yifeng Zhu
AINA
2007
IEEE
16 years 8 days ago
Data Stream Based Algorithms For Wireless Sensor Network Applications
Abstract— A wireless sensor network (WSN) is energy constrained, and the extension of its lifetime is one of the most important issues in its design. Usually, a WSN collects a la...
André L. L. de Aquino, Carlos Mauricio S. F...
ICC
2007
IEEE
387views Communications» more  ICC 2007»
16 years 7 days ago
LS Channel Estimation for Mobile OFDM Communications on Time-Varying Frequency-Selective Fading Channels
Abstract— A least-squares (LS) channel estimation (CE) technique for mobile OFDM communications over a rapidly timevarying frequency-selective fading channel is investigated in t...
Jia-Chin Lin
P2P
2007
IEEE
161views Communications» more  P2P 2007»
16 years 3 days ago
The BitCod Client: A BitTorrent Clone using Network Coding
Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher ...
Danny Bickson, Roy Borer