3169 search results - page 174 / 634 » Robust Timed Automata |
136
Voted
TMI
2011
14 years 10 months 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...
138
Voted
ICC
2007
IEEE
15 years 10 months 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....
119
Voted
ISCAS
2006
IEEE
15 years 9 months 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...
112
Voted
CONCUR
2005
Springer
15 years 9 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 ...
178
click to vote
BIRTHDAY
2012
Springer
13 years 11 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...