250 search results - page 15 / 50 » Verifying Tolerant Systems Using Polynomial Approximations |
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
Process control systems (PCSs) are instrumental to the safe, reliable and efficient operation of many critical infrastructure components. However, PCSs increasingly employ commodit...
JPDC
2008
14 years 9 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
CAD
2008
Springer
14 years 9 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
78
Voted
APLAS
2004
ACM
15 years 1 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The Macaulay2 package PHCpack.m2 provides an interface to some of the functionality of PHCpack, a general-purpose solver for polynomial systems by homotopy continuation. The main f...