2485 search results - page 138 / 497 » Time Bounded Frequency Computations |
191
click to vote
DIALM
2003
ACM
15 years 10 months ago
2003
ACM
We propose a novel localized algorithm that constructs a bounded degree and planar spanner for wireless ad hoc networks modeled by unit disk graph (UDG). Every node only has to kn...
176
click to vote
IOLTS
2006
IEEE
15 years 11 months ago
2006
IEEE
So far, performance and reliability of circuits have been determined by worst-case characterization of silicon and environmental noise. As new deep sub-micron technologies exacerb...
159
click to vote
QUESTA
2007
15 years 4 months ago
2007
Fairness is an inherent and fundamental factor of queue service disciplines in a large variety of queueing applications, ranging from airport and supermarket waiting lines to comp...
123
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
134
Voted
CA
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe techniques used to create animations of song. Modification to a text-to-audiovisual-speech system have been made to take extra information contained the timing and fr...