Abstract: In this paper, we prove Contra Harmonic Mean Labeling for some star related graphs such as $\mathrm{K}_{1, \mathrm{n}}, S(\mathrm{K}_{1, \mathrm{n ...
Abstract: This paper proposes an automatic framework for controlled data flow graph (CDFG) generation from verilog designs, where the generated CDFGs can be applied to visualization, formal ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results