5055 search results - page 245 / 1011 » Relative Timing |
164
click to vote
DLT
2003
15 years 8 months ago
2003
We present different techniques for reducing the number of states and transitions in nondeterministic automata. These techniques are based on the two preorders over the set of st...
182
click to vote
ALGOSENSORS
2010
Springer
15 years 5 months ago
2010
Springer
We present an approach for the localization of passive nodes in a communication network using ambient radio or sound signals. In our settings the communication nodes have unknown p...
190
click to vote
OPODIS
2010
15 years 4 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
177
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—This paper studies the coexistence of several independent and dynamic wireless networks using the frequency hopping technique in the unlicensed radio band. We propose a ...
194
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...