Building a distributed robot garden

by Correll, Nikolaus, Arechiga, Nikos, Bolger, Adrienne M., Bollini, Mario A., Charrow, Ben, Clayton, Adam, Dominguez, Felipe A., Donahue, Kenneth M., Dyar, Samuel S., Johnson, Luke B., Liu, Huan, Patrikalakis, Alexander, Robertson, Timothy, Smith, Jeremy, Soltero, Daniel Eduardo, Tanner, Melissa, White, Lauren L., Rus, Daniela L.
Published 2010

Vision: a Lightweight Computing Model for Fine-Grained Cloud Computing

by Paluska, Justin Mazzola, Pham, Hubert, Schiele, Gregor, Becker, Christian, Ward, Stephen A.
Published 2012

Census: Location-Aware Membership Management for Large-Scale Distributed Systems

by Cowling, James Alexander, Ports, Dan R. K., Liskov, Barbara H., Popa, Raluca Ada, Gaikwad, Abhijeet
Published 2011

Demonstration of Qurk: A Query Processor for Human Operators

by Marcus, Adam, Wu, Eugene, Karger, David R., Madden, Samuel R., Miller, Robert C.
Published 2012

Integrated reasoning and proof choice point selection in the jahob system (Mechanisms for program survival)

by Rinard, Martin C.
Published 2010

TurKit: Tools for iterative tasks on mechanical Turk

by Little, Danny Greg, Chilton, Lydia B., Goldman, Max, Miller, Robert C.
Published 2012