Abstract: Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise ...
Abstract: This paper aims to construct optimal Z-complementary code set (ZCCS) with non-power-of-two (NPT) lengths to enable interference-free multicarrier code-division multiple access (MC-CDMA) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results