3169 search results - page 174 / 634 » Robust Timed Automata |
176
click to vote
TMI
2011
15 years 26 days ago
2011
—This paper introduces two real-time elastography techniques based on analytic minimization (AM) of regularized cost functions. The first method (1D AM) produces axial strain an...
174
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract—Synchronization is an important issue in orthogonal frequency-division multiplexing (OFDM) systems including symbol timing and carrier frequency offset (CFO) estimation....
143
click to vote
ISCAS
2006
IEEE
16 years 13 days ago
2006
IEEE
— Violations in the timing constraints of a clocked register can cause a synchronous system to malfunction. The effects of variations in the power supply voltage (VDD) on the tim...
142
click to vote
CONCUR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
222
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...