HomeSearchLibrary
Analysis of parallel algorithms | OmniWiki