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

Re: [tlaplus] Re: Choose and TLC

On 02.02.2016 19:15, Leslie Lamport wrote:
> I believe that the biggest gains per programming hour are now obtainable
> by optimizing parallel execution and maintenance of the fingerprint graph.

I would add a third area to the list of improvements that have a good
return on invest. A profiler reveals a clear performance bottleneck
which affects the majority of models.