Theory and Practice of Time-Space Trade-Offs in Memory Limited Search