Advanced Search
DSpace@MIT

Browsing Computer Science (CS) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science (CS) by Title

Sort by: Order: Results:

  • Qin, Shengchao; He, Jifeng; Chin, Wei Ngan (2003-01)
    We propose in this paper an algebraic approach to hard-ware/software partitioning in Verilog Hardware Description Language (HDL). We explore a collection of algebraic laws for Verilog programs, from which we design a set ...
  • Xie, Yong; Teo, Yong Meng; Cai, W.; Turner, S. J. (2005-01)
    Modeling and simulation permeate all areas of business, science and engineering. With the increase in the scale and complexity of simulations, large amounts of computational resources are required, and collaborative model ...
  • Kuszmaul, Bradley C.; Leiserson, Charles E. (2003-01)
    Arguably, one of the biggest deterrants for software developers who might otherwise choose to write parallel code is that parallelism makes their lives more complicated. Perhaps the most basic problem inherent in the ...
  • Nguyen, Huu Hai; Rinard, Martin C. (2006-01)
    We present and evaluate a new memory management technique for eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program on a sequence of training inputs to ...
  • Zhang, Dell; Lee, Wee Sun (2005-01)
    Co-training is a semi-supervised learning method that is designed to take advantage of the redundancy that is present when the object to be identified has multiple descriptions. Co-training is known to work well when the ...
  • Zhang, Dell; Lee, Wee Sun (2003-01)
    The Web is apparently an ideal source of answers to a large variety of questions, due to the tremendous amount of information available online. This paper describes a Web-based question answering system LAMP, which is ...
  • Leong, Tze Yun (2003-01)
    How do we make the best decisions in face of voluminous, complex, changing, and uncertain information? We describe a multi-disciplinary effort in developing the next generation decision analytic and engineering technologies. ...
MIT-Mirage