2652 search results - page 71 / 531 » Path Differentials and Applications |
126
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
107
click to vote
EUROPAR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Embedded Runge-Kutta methods are among the most popular methods for the solution of non-stiff initial value problems of ordinary differential equations (ODEs). We investi...
138
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
108
click to vote
TIM
2010
14 years 10 months ago
2010
New digital subscriber line (DSL) technologies are being developed to meet the ever-increasing bandwidth demand of the user. One very promising approach injects "common-mode&q...
142
click to vote
IACR
2011
14 years 3 months ago
2011
—This paper proposes a novel fault-propagation pattern based differential fault analysis method - FPP-DFA, and proves its feasibility on SPN structure block ciphers using bitwise...