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 ...