1333 search results - page 4 / 267 » Termination Detection of Local Computations |
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
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...
ENTCS
2006
13 years 7 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
JSS
1998
13 years 7 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...