Am 10.07.2013 um 13:54 schrieb Makarius :
> On Wed, 10 Jul 2013, Fabian Immler wrote:
>
>> For his Bachelor's thesis he needs to carry out performance measurements on
>> a machine with many cores (isabelle-server).
>
> What is this project anyway?
It is about evaluating libraries for parallelis
On Wed, 10 Jul 2013, Fabian Immler wrote:
For his Bachelor's thesis he needs to carry out performance measurements
on a machine with many cores (isabelle-server).
What is this project anyway?
Note that isabelle-server has many cores (24), but the hardware structure
is made for many independe