Sciweavers

1357 search results - page 108 / 272
» Compositionality in Graph Transformation
Sort
View
ICMT
2009
Springer
15 years 10 months ago
Automatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
157
Voted
CORR
2010
Springer
209views Education» more  CORR 2010»
15 years 6 days ago
Generalized Tree-Based Wavelet Transform
In this paper we propose a new wavelet transform applicable to functions defined on graphs, high dimensional data and networks. The proposed method generalizes the Haar-like transf...
Idan Ram, Michael Elad, Israel Cohen
GPCE
2008
Springer
15 years 4 months ago
Program refactoring using functional aspects
A functional aspect is an aspect that has the semantics of a transformation; it is a function that maps a program to an advised program. Functional aspects are composed by functio...
Sven Apel, Christian Kästner, Don S. Batory
144
Voted
DAC
2001
ACM
16 years 4 months ago
Transformations for the Synthesis and Optimization of Asynchronous Distributed Control
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
Michael Theobald, Steven M. Nowick
117
Voted
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
15 years 8 months ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu