Sciweavers

2500 search results - page 153 / 500
» Specifying Behavior in C
Sort
View
CONEXT
2006
ACM
15 years 9 months ago
Investigating the user mobility in wireless mobile networks through real measurements
In this paper is proposed a real mobility characterization study for wireless devices. For this, we use mobility metrics and statistic analysis to evaluate the behavior of device ...
Carlos Alberto V. Campos, Luís Felipe M. de...
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 8 months ago
Robust extended Kalman filter based nonlinear model predictive control formulation
— The analysis of the EKF error sequence in [1] is expanded to the case with non-vanishing perturbations. The robust stability of NMPC and EKF pair is established. In addition, w...
Rui Huang, Sachin C. Patwardhan, Lorenz T. Biegler
DSOM
2000
Springer
15 years 7 months ago
The Doctor Is In: Helping End Users Understand the Health of Distributed Systems
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
Paul Dourish, Daniel C. Swinehart, Marvin Theimer
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 7 months ago
Problems of computing Lyapunov exponents in power electronics
Ideal power converters are governed by differential equations with discontinuous right-hand sides. General-purpose algorithms to compute their Lyapunov exponents assume smooth equ...
Y. H. Lim, D. C. Hamill
101
Voted
APPML
2007
101views more  APPML 2007»
15 years 3 months ago
Analysis on the critical speed of traveling waves
The note is concerned with a time-delayed reaction–diffusion equation with nonlocality for the population dynamics of single species. For the critical speed of traveling waves, ...
Jiaoyu Wu, Di Wei, Ming Mei