250 search results - page 1 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
RTSS
2009
IEEE
13 years 11 months ago
2009
IEEE
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
GLOBECOM
2009
IEEE
13 years 8 months ago
2009
IEEE
—Fault tolerance techniques have been widely used in wireless sensor networks. Base station placement to maximize the network lifetime has also been well studied. However, limite...
ADCM
2008
13 years 4 months ago
2008
In this paper we analyse a hybrid approximation of functions on the sphere S2 R3 by radial basis functions combined with polynomials, with the radial basis functions assumed to be...
SAS
2005
Springer
13 years 10 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...