874 search results - page 85 / 175 » Graph Transformation in a Nutshell |
152
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
157
Voted
TII
2010
14 years 10 months ago
2010
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
123
click to vote
ICCV
1998
IEEE
16 years 5 months ago
1998
IEEE
W e introduce a novel view-based object representation, called the saliency map graph (SMG), which captures the salient regions of an object view at multiple scales using a wavele...
129
Voted
SOFTVIS
2006
ACM
15 years 9 months ago
2006
ACM
It is vital for any developer to keep track of changes during his project. Thus, it is common practice to take static snapshots of single class diagrams. But to preserve the menta...
116
click to vote
ARITH
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a radix-2 online computational scheme for evaluating multinomials in a fixed-point number representation system. Its main advantage is that it can adapt to any evaluat...