[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Optimal RAM for PVS

I am getting a new computer and have the option of 128, 256 or 
384 Megabytes RAM. PVS is the most memory intensive application I
run (under Linux) - all the rest are really fine with my current
80M. My question: can / does PVS use all the RAM available, and 
can I expect a performance improvement for ever increasing RAM
sizes, or is there a size above which improvement is likely to be