Browsing CAS: Computer Science: Technical Reports by Author "Parkes, David"

OpenBU

Browsing CAS: Computer Science: Technical Reports by Author "Parkes, David"

Sort by: Order: Results:

  • Lapets, Andrei; Levin, Alex; Parkes, David (Boston University Computer Science Department, 2008-10-09)
    We first introduce a very simple typed language for expressing allocation algorithms that allows automatic verification that an algorithm is monotonic and therefore truthful. The analysis of truthfulness is accomplished ...

Search OpenBU


Advanced Search

Browse

Deposit Materials