Sciweavers

1690 search results - page 61 / 338
» Algorithmic Properties of Millstream Systems
Sort
View
TPDS
2010
176views more  TPDS 2010»
15 years 2 months ago
Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems
This paper studies the problem of realizing a common software clock among a large set of nodes without an external time reference (i.e., internal clock synchronization), any centr...
Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni...
ALGOSENSORS
2006
Springer
15 years 7 months ago
Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks
Ad hoc sensor networks consist of large number of wireless sensors that communicate with each other in the absence of a xed infrastructure. Fast self-recon guration and power eci...
Colette Johnen, Le Huy Nguyen
TACAS
2005
Springer
115views Algorithms» more  TACAS 2005»
15 years 9 months ago
On-the-Fly Reachability and Cycle Detection for Recursive State Machines
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P....
CCECE
2009
IEEE
15 years 10 months ago
Downlink transmitter adaptation based on greedy SINR maximization
In this paper we present algorithms for transmitter adaptation in downlink wireless systems based on maximization of the Signal-to-Interference plus Noise-Ratio (SINR). We investi...
Dimitrie C. Popescu, Shiny Abraham, Otilia Popescu
DAC
2005
ACM
16 years 4 months ago
MP core: algorithm and design techniques for efficient channel estimation in wireless applications
Channel estimation and multiuser detection are enabling technologies for future generations of wireless applications. However, sophisticated algorithms are required for accurate c...
Yan Meng, Andrew P. Brown, Ronald A. Iltis, Timoth...