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:

  • Xiong, Xuejian; Tan, Kian Lee (2004-01)
    In this paper, a similarity-driven cluster merging method is proposed for unsupervised fuzzy clustering. The cluster merging method is used to resolve the problem of cluster validation. Starting with an overspecified number ...
  • Wang, Xianbing; Teo, Yong Meng; Cao, Jiannong (2004-01)
    A fundamental problem of fault-tolerant distributed computing is for the reliable processes to reach a consensus. For a synchronous distributed system of n processes with up to t crash failures and f failures actually ...
  • Andrei, Åžtefan; Chin, Wei Ngan (2003-01)
    In recent years, symbolic and constraint-solving techniques have been making major advances and are continually being deployed in new business and engineering applications. A major push behind this trend has been the ...
  • Choy, Ron; Edelman, Alan (2004-01)
    MATLAB [7] is one of the most widely used mathematical computing environments in technical computing. It is an interactive environment that provides high performance computational routines and an easy-to-use, C-like scripting ...
  • Thies, William; Gordon, Michael I.; Karczmarek, Michal; Maze, David; Amarasinghe, Saman P. (2003-01)
    With the increasing miniaturization of transistors, wire delays are becoming a dominant factor in microprocessor performance. To address this issue, a number of emerging architectures contain replicated processing units ...
  • Rinard, Martin C. (2006-01)
    Programs developed with standard techniques often fail when they encounter any of a variety of internal errors. We present a set of techniques that prevent programs from failing and instead enable them to continue to ...
  • 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