932 search results - page 56 / 187 » Verifying Progress in Timed Systems |
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
JFR
2010
14 years 10 months ago
2010
Robotic Sensor Networks (RSNs) find increasing use in environmental monitoring as RSNs can collect data from obscure, hard-to-reach places over long periods of time. This work rep...
137
click to vote
AMC
2007
15 years 3 months ago
2007
In this paper we present the method of lines for the numerical solution of a mathematical model for capillary formation in two space dimensions x,y. We study the tumor angiogenic ...
128
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper considers the application of the neural networks for the guaranteed cost control problem of discrete– time uncertain systems that have in both state and input dela...
108
click to vote
AAAI
2004
15 years 5 months ago
2004
Computer systems are rapidly becoming so complex that maintaining them with human support staffs will be prohibitively expensive and inefficient. In response, visionaries have beg...