3771 search results - page 148 / 755 » Subobject Transformation Systems |
178
click to vote
DATE
2006
IEEE
16 years 10 days 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...
154
click to vote
ENTCS
2008
15 years 6 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...
148
click to vote
TECS
2008
15 years 6 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...
120
click to vote
IFIP
1992
Springer
15 years 10 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...
194
click to vote
PDS
1996
15 years 7 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...