IRE transactions on electronic computers