LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 34-36 of 486

    • A New Self-Play Experiment in Computer Chess 

      Heinz, Ernst (2000-05)
      This paper presents the results of a new self-play experiment in computer chess. It is the _x000C_rst such experiment ever to feature search depths beyond 9 plies and thousands of games for every single match. Overall, we ...

    • Systematic Testing of Multithreaded Programs 

      Bruening, Derek; Chapin, John (2000-05)
      We present a practical testing algorithm called ExitBlock that systematically and deterministically finds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program ...

    • Softspec: Software-based Speculative Parallelism 

      Bruering, Derek; Devabhaktuni, Srikrishna; Amarasinghe, Saman (2000-04)
      We present Softspec, a technique for parallelizing sequential applications using only simple software mechanisms, requiring no complex program analysis or hardware support. Softspec parallelizes loops whose memory references ...