16513 search results - page 170 / 3303 » Numerical Analysis Methods |
144
click to vote
ACSC
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
169
click to vote
ASWEC
2006
IEEE
16 years 14 days ago
2006
IEEE
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
162
click to vote
ISSAC
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
180
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
146
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— In this paper, the concept of the ’robust arm configuration’ (RAC) is expanded using a mode shape compensator. This compensator improves the robustness of the arm configu...