'Callbacks' presentation slideshows

Fun With Thread Local Storage (part 2)

318 views • 20 slides

Fun With Thread Local Storage (part 1)

269 views • 14 slides

Provable APIs

Q.E.D. Hour 2. Provable APIs. Homework. Let M be a movement with 1 degree of freedom. Let g(M) be the number of gears in M. Let c(M) be the number of connections in M. Prove c(M) = g(M)-1. Start with one gear. Let M 0 be the movement having one gear. g(M 0 ) = 1. c(M 0 ) = 0.

202 views • 12 slides

E mergency C ontext R esolution with I nternet T echnologies Marc Linsner Roger Marshall

E mergency C ontext R esolution with I nternet T echnologies Marc Linsner Roger Marshall. IETF 84 Vancouver July 31, 2012. Note Well.

140 views • 5 slides