3771 search results - page 148 / 755 » Subobject Transformation Systems |
137
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
A new approach for automated synthesis of analog and mixed-signal systems is presented. The heterogeneous genetic optimization strategy starts from a functional description and ev...
122
Voted
ENTCS
2008
15 years 3 months ago
2008
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
110
click to vote
TECS
2008
15 years 3 months ago
2008
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
88
Voted
IFIP
1992
Springer
15 years 7 months ago
1992
Springer
In microarchitecure synthesis, early algorithms considered only a single implementation technique for IF -statements. Focus was on scheduling and on maximum hardware sharing. In t...
163
Voted
PDS
1996
15 years 4 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...