US5146578

Method of varying the amount of data prefetched to a cache memory in dependence on the history of data requests