828 search results - page 82 / 166 » A New Model of Program Dependences for Reverse Engineering |
180
click to vote
SMI
2005
IEEE
15 years 11 months ago
2005
IEEE
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
149
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
154
click to vote
EMSOFT
2009
Springer
16 years 21 days ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
158
click to vote
CACM
2010
15 years 3 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
166
click to vote
SIAMJO
2002
15 years 5 months ago
2002
In this paper we propose a novel finite-horizon, discrete-time, time-varying filtering method based on the robust semidefinite programming (SDP) technique. The proposed method prov...