16430 search results - page 534 / 3286 » On Computable Tree Functions |
171
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based ...
165
click to vote
PG
1999
IEEE
15 years 11 months ago
1999
IEEE
Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (on...
210
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a technique for restructuring functions with low cohesion into functions with high cohesion. Such restructuring is desirable when re-architecting a legacy system into a...
173
click to vote
DAC
1994
ACM
15 years 11 months ago
1994
ACM
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
233
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...