14809 search results - page 2 / 2962 » Model transformation by demonstration |
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
IFM
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
CCECE
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper proposes a reference frame transformation method which applies appropriate rotational operators to the block diagram representation of a converter space vector model to...
ICASSP
2009
IEEE
14 years 8 days ago
2009
IEEE
For effective training of acoustic and language models for spontaneous speech such as meetings, it is significant to exploit the texts available in a large scale, which may not b...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...