28 search results - page 2 / 6 » agtive 2007 |
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
We present a compiler internal program optimization that uses graph rewriting. This optimization enables the compiler to automatically use rich instructions (such as SIMD instructi...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
We present Tiger, a visual environment to design visual language (VL) specifications based on meta models, graph grammars and layout definitions. A VL specification serves as ba...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...