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:

  • Huang, Kai; Leiserson, Charles E.; Sarmenta, Luis F.G. (2004-01)
    We have developed a media player for use in distance education. The player can incorporate several time-indexed sources, including video, audio, PowerPoint, and text index. We have converted all the SMA 5503 Introduction ...
  • Ge, Zhiguo; Lim, H. B.; Wong, Weng Fai (2005-01)
    The memory hierarchy is the main bottleneck in modern computer systems as the gap between the speed of the processor and the memory continues to grow larger. The situation in embedded systems is even worse. The memory ...
  • Nguyen, Huu Hai; Chin, Wei Ngan; Qin, Shengchao; Rinard, Martin C. (2005-01)
    We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias ...
  • Seet, Boon-Chong (2005-01)
    Recently, researchers have introduced the notion of super-peers to improve signaling efficiency as well as lookup performance of peer-to-peer (P2P) systems. In a separate development, recent works on applications of mobile ...
  • Rudolph, Larry; Zhenghao, Chen (2006-01)
    Social networks have been used to understand how information flows through an organization as well as identifying individuals that appear to have control over this information flow. Such individuals are identified as being ...
  • Drake, Matthew; Hoffmann, Hank; Rabbah, Rodric; Amarasinghe, Saman P. (2006-01)
    Image and video codecs are prevalent in multimedia applications, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncommon however for developers create (from ...
  • Andrei, Åžtefan; Chin, Wei Ngan (2004-01)
    Constructive methods for obtaining the regular grammar counterparts for some sub-classes of the context free grammars (cfg) have been investigated by many researchers. An important class of grammars for which this is always ...
  • Jones, Thouis R.; Durand, Frédo; Desbrun, Mathieu (2004-01)
    With the increasing use of geometry scanners to create 3D models, there is a rising need for fast and robust mesh smoothing to remove inevitable noise in the measurements. While most previous work has favored diffusion-based ...
  • Tucker-Kellogg, Lisa; Lozano-Pérez, Tomás (2003-01)
    OmniMerge performs a systematic search to enumerate all conformations of a molecule (at a given level of torsion-angle resolution) that satisfy a set of local geometric constraints. Constraints would typically come from ...
  • Fang, Bin; Hsu, Wynne; Lee, Mong Li (2003-01)
    Ocular fundus image can provide information on pathological changes caused by local ocular diseases and early signs of certain systemic diseases. Automated analysis and interpretation of fundus images has become a necessary ...
  • Bender, Michael A.; Fineman, Jeremy T.; Gilbert, Seth; Leiserson, Charles E. (2005-01)
    A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one ...
  • He, Yuxiong; Wang, Junqing (2004-01)
    Detecting data race is very important for debugging shared-memory parallel programs, because data races result in unintended nondeterministic execution of the program. We propose a dynamic on-the-fly race detection mechanism ...
  • Zhang, Dell; Lee, Wee Sun (2004-01)
    We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only pervasive on the nowadays web, but also important to the emerging semantic web. A straightforward approach ...
  • Ooi, Beng Chin; Tan, Kian Lee (2003-01)
    In this talk, we will present the design and evaluation of PeerDB, a peer-to-peer (P2P) distributed data sharing system. PeerDB distinguishes itself from existing P2P systems in several ways. First, it is a full-fledge ...
  • Chang, Yu-Han; Kaelbling, Leslie P. (2003-01)
    We propose a new classification for multi-agent learning algorithms, with each league of players characterized by both their possible strategies and possible beliefs. Using this classification, we review the optimality of ...
  • Huang, Albert; Rudolph, Larry (2005-01)
    We present a low cost and easily deployed infrastructure for location aware computing that is built using standard Bluetooth® technologies and personal computers. Mobile devices are able to determine their location to ...
  • 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 ...
MIT-Mirage