772 search results - page 49 / 155 » From Graph Transformation to Software Engineering and Back |
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
102
click to vote
AMAST
2008
Springer
15 years 4 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 ...
104
click to vote
PEPM
1991
ACM
15 years 5 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
144
Voted
IIWAS
2008
15 years 3 months ago
2008
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We investigate the s-t-connectivity problem for directed planar graphs, which is hard for L and is contained in NL but is not known to be complete. We show that this problem is log...