1728 search results - page 60 / 346 » The Size of Power Automata |
122
click to vote
DAC
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we investigate the problem of repeater insertion for low power under a given timing budget. We propose a novel repeater insertion algorithm to compute the optimal r...
ENTCS
2007
14 years 12 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
89
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—With the availability of cheap and robust wireless devices there is demand for new applications in Vehicular Ad-hoc Networks (VANET). The challenge in implementing applications ...
104
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— This paper investigates the joint design and optimization of the power control and beamforming codebooks for the single-user multiple-input single-output (MISO) wireles...