Low-latency interaction through choice-points, buffering, and cuts in Tactus | IEEE Conference Publication | IEEE Xplore