915 search results - page 84 / 183 » Robustness in the Presence of Liveness |
142
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
169
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, we suggest a neural network signal detector using radial basis function (RBF) network. We employ this RBF Neural detector to detect the presence or absence of a know...
176
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
180
click to vote
CCR
2004
15 years 6 months ago
2004
TCP congestion control has been designed to ensure Internet stability along with fair and efficient allocation of the network bandwidth. During the last decade, many congestion co...
178
click to vote
IWSEC
2010
Springer
15 years 4 months ago
2010
Springer
Multicast traffic, such as live audio/video streaming, is an important application for Mobile Ad Hoc Networks (MANETs), including those used by militaries and disaster recovery tea...