IRE transactions on electronic computers.