An experimental comparison of time sharing and batch processing