The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

Computer Science (CS): Recent submissions

Now showing items 1-3 of 104

    • Finite Energy Survey Propagation for Constraint Satisfaction Problems 

      Chieu, Hai Leong (2007-01)
      The Survey Propagation (SP) algorithm [1] has recently been shown to work well in the hard region for random K-SAT problems. SP has its origins in sophisticated arguments in statistical physics, and can be derived from an ...

    • Provably Efficient Adaptive Scheduling for Parallel Jobs 

      He, Yuxiong; Hsu, Wen Jing; Leiserson, Charles E. (2007-01)
      Scheduling competing jobs on multiprocessors has always been an important issue for parallel and distributed systems. The challenge is to ensure global, system-wide efficiency while offering a level of fairness to user ...

    • How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation 

      Zhao, Qin; Amarasinghe, Saman P.; Rabbah, Rodric M.; Rudolph, Larry; Wong, Weng Fai (2007-01)
      Application debugging is a tedious but inevitable chore in any software development project. An effective debugger can make programmers more productive by allowing them to pause execution and inspect the state of the ...