Parallel program design and generalized weakest preconditions

In dit proefschrift worden zogenoemde "parallelle algoritmen" bestudeerd. Dit zijn algoritmen die kunnen worden uitgevoerd door een verzameling processoren en die een grote mate van
gelijktijdigheid toestaan. Een belangrijke motivatie voor het bestuderen van dit soort algoritmen is de gedachte dat, door een verzameling processoren te gebruiken, een belangrijke tijdwinst kan worden geboekt. Deze tijdwinst wordt precies gemaakt. Voor een aantal problemen worden parallelle algoritmen gegeven en er worden analyses gegeven van de tijdwinst die uitvoering van deze algoritmen op een verzameling processoren oplevert, in vergelijking met de situatie waarin slechts één processor beschikbaar is. ...

Zie: Samenvatting

Samenvatting

Meer informatie in de catalogus
Meer informatie in Picarta