The half-adder form and early branch condition resolution | IEEE Conference Publication | IEEE Xplore