CSAIL Technical Reports (July 1, 2003 - present): Recent submissions

Now showing items 103-105 of 776

    • Network Infusion to Infer Information Sources in Networks 

      Feizi, Soheil; Duffy, Ken; Kellis, Manolis; Medard, Muriel (MIT CSAIL, 2014-12-02)
      Several models exist for diffusion of signals across biological, social, or engineered networks. However, the inverse problem of identifying the source of such propagated information appears more difficult even in the ...

    • tBurton: A Divide and Conquer Temporal Planner 

      Wang, David; Williams, Brian C. (2014-10-24)
      Planning for and controlling a network of interacting devices requires a planner that accounts for the automatic timed transitions of devices while meeting deadlines and achieving durative goals. For example, a planner for ...

    • Automatic Error Elimination by Multi-Application Code Transfer 

      Sidiroglou-Douskos, Stelios; Lahtinen, Eric; Rinard, Martin (2014-10-02)
      We present pDNA, a system for automatically transfer- ring correct code from donor applications into recipient applications to successfully eliminate errors in the recipient. Experimental results using six donor applications ...