315 search results - page 8 / 63 » Loop Termination Prediction |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
DEXA
2003
Springer
14 years 25 days ago
2003
Springer
The importance of location prediction is rapidly increasing with the current trend of database applications in mobile computing environment. However, current personal communicatio...
GLOBECOM
2010
IEEE
13 years 5 months ago
2010
IEEE
We use Delay-Tolerant Networking (DTN) to break control loops between space-ground communication links and ground-ground communication links to increase overall file delivery effic...
AUTOMATICA
2005
13 years 7 months ago
2005
This paper presents a method for enlarging the domain of attraction of nonlinear model predictive control (MPC). The usual way of guaranteeing stability of nonlinear MPC is to add...