Sciweavers

ORL
2007
47views more  ORL 2007»
13 years 3 months ago
A simpler and better derandomization of an approximation algorithm for single source rent-or-buy
We present a very simple way of derandomizing the algorithm proposed by Gupta, Kumar and Roughgarden for Single Source Rent-or-Buy by using the method of conditional expectation. ...
David P. Williamson, Anke van Zuylen
FMCO
2006
Springer
135views Formal Methods» more  FMCO 2006»
13 years 8 months ago
Links: Web Programming Without Tiers
Links is a programming language for web applications that generates code for all three tiers of a web application from a single source, compiling into JavaScript to run on the clie...
Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Ya...