Sciweavers

6480 search results - page 376 / 1296
» Proximity Communication and Time
Sort
View
182
Voted
FDL
2007
IEEE
15 years 11 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
214
Voted
GLOBECOM
2009
IEEE
15 years 11 months ago
Distributed Averaging in Dense Wireless Networks
We consider the effect of network throughput on the convergence of a specific class of distributed averaging algorithms, called consensus algorithms. These algorithms rely on itera...
Sundaram Vanka, Martin Haenggi, Vijay Gupta
BROADCOM
2008
IEEE
15 years 9 months ago
Improving Video Streaming over IEEE 802.11 Mesh Networks through a Cross-Layer Design Technique
There has been a spate of interest in wireless mesh networks in recent years. The reason behind such an upsurge of interest is that wireless mesh networks are seen as enablers of u...
N. H. Moleme, M. O. Odhiambo, Anish M. Kurien
189
Voted
BCS
2008
15 years 9 months ago
Implications of Electronics Technology Trends to Algorithm Design
Scaling of electronics technology has brought us to a pivotal point in the design of computational devices. Technology scaling favours transistors over wires which has led us into...
Daniel Greenfield, Simon W. Moore
226
Voted
INFOCOM
2010
IEEE
15 years 6 months ago
Towards a Theory of Anonymous Networking
The problem of anonymous networking when an eavesdropper observes packet timings in a communication network is considered. The goal is to hide the identities of source-destination...
Javad Ghaderi, Rayadurgam Srikant