Bede Liu, a digital signal processing pioneer, has died