36320 search results - page 18 / 7264 » From Code to Models |
133
click to vote
ECBS
2004
IEEE
15 years 6 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
108
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
IVC
2002
15 years 2 months ago
2002
When attempting to code faces for modeling or recognition, estimates of dimensions are typically obtained from an ensemble. These tend to be significantly sub-optimal. Firstly, en...
131
click to vote
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
132
click to vote
ICIAP
2001
Springer
16 years 2 months ago
2001
Springer
An algorithm for automatic modelling of wavelet coefficients from context properties is presented. The algorithm is used to implement an image coder, in order to demonstrate its i...