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:

  • Ong, Chen Hui; Kasim, Nelly; Jayasena, Sajindra Kolitha Bandara; Rudolph, Larry; Cham, Tat Jen (2005-01)
    This paper describes the successful implementation of a prototype software application that independently and proactively detects whether a mobile phone is lost or misused. When the mobile phone is detected as being lost ...
  • Danaher, John S.; Lee, I-Ting Angelina; Leiserson, Charles E. (2006-01)
    JCilk extends the Java language to provide call-return semantics for multithreading, much as Cilk does for C. Java's built-in thread model does not support the passing of exceptions or return values from one thread back ...
  • Hong, Eun-Jong; Lozano-Pérez, Tomás (2004-01)
    The prediction of energetically favorable side-chain conformations is a fundamental element in homology modeling of proteins and the design of novel protein sequences. The space of side-chain conformations can be approximated ...
  • 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 ...
  • Klechenov, Anton; Gupta, Aditya Kumar; Wong, Weng Fai; Ng, Teck Khim; Leow, Wee Kheng (2003-01)
    This paper describes a system for high resolution video conferencing. A number of camcorders are used to capture the video, which are then mosaiced to generate a wide angle panoramic view. Furthermore this system is made ...
  • Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2005-01)
    The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext ...
  • Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2005-01)
    The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext ...
  • Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2005-01)
    The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext ...
  • Zhu, Hongwei; Madnick, Stuart E.; Siegel, Michael D. (2005-01)
    The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext ...
  • Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2004-01)
    Region-based memory management offers several important advantages over garbage-collected heap, including real-time performance, better data locality and efficient use of limited memory. The concept of regions was first ...
  • Fang, Hui; Hsu, Wen Jing; Rudolph, Larry (2006-01)
    In dynamic P2P networks, nodes join and depart from the system frequently, which partially damages the predefined P2P structure, and impairs the system performance such as basic lookup functionality. Therefore stabilization ...
  • 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 ...
MIT-Mirage