Advanced Search
DSpace@MIT

Browsing Electrical Engineering and Computer Sciences - Master's degree by Title

Research and Teaching Output of the MIT Community

Browsing Electrical Engineering and Computer Sciences - Master's degree by Title

Sort by: Order: Results:

  • Barry, Jennifer L. (Jennifer Lynn) (Massachusetts Institute of Technology, 2009)
    In this thesis, we present an efficient algorithm for creating and solving hierarchical models of large Markov decision processes (MDPs). As the size of the MDP increases, finding an exact solution becomes intractable, so ...
  • Becker, Matthew E. (Matthew Erin) (Massachusetts Institute of Technology, 1996)
  • Van den Hooff, Jelle (Jelle August) (Massachusetts Institute of Technology, 2014)
    This thesis describes CB-DPOR, an algorithm for quickly finding bugs in lock-free data structures. CB-DPOR is a combination of the CHESS and DPOR model checking algorithms. CB-DPOR performs similar to the concurrently ...
  • Hsiao, Yu-Chung, S.M. Massachusetts Institute of Technology (Massachusetts Institute of Technology, 2010)
    State-of-the-art capacitance extraction methods for Integrated Circuits (IC) involve scanning 2D cross-sections, and interpolating 2D capacitance values using a table lookup approach. This approach is fast and accurate for ...
  • Zheng, Wenting (Massachusetts Institute of Technology, 2014)
    Multicore in-memory databases for modern machines can support extraordinarily high transaction rates for online transaction processing workloads. A potential weakness of such databases, however, is recovery from crash ...
  • Simon, Thomas D. (Thomas David) (Massachusetts Institute of Technology, 1994)
  • Chen, I-An, S.M. Massachusetts Institute of Technology (Massachusetts Institute of Technology, 2012)
    This thesis provides a systematic framework for the development and analysis of distributed optimization methods for multi-agent networks with time-varying connectivity. The goal is to optimize a global objective function ...
  • Kanapka, Joseph D. (Joseph Daniel), 1972- (Massachusetts Institute of Technology, 1998)
  • Ma̧dry, Aleksander (Massachusetts Institute of Technology, 2009)
    In this thesis, we set forth a new algorithm for generating approximately uniformly random spanning trees in undirected graphs. We show how to sample from a distribution that is within a multiplicative (1+6) of uniform in ...
  • Galvin, Timothy Matthew (Massachusetts Institute of Technology, 2014)
    Low-rank matrix approximations are used in a significant number of applications. We present new algorithms for generating such approximations in a streaming fashion that expand upon recently discovered matrix sketching ...
  • Hu, Stanley, 1978- (Massachusetts Institute of Technology, 2001)
  • Basha, Elizabeth (Elizabeth Ann) (Massachusetts Institute of Technology, 2005)
    Fast Fourier Transforms perform a vital role in many applications from astronomy to cellphones. The complexity of these algorithms results from the many computational steps, including multiplications, they require and, as ...
  • Bilgic̦, Berkin (Massachusetts Institute of Technology, 2010)
    Detecting people in images is a challenging task because of the variability in clothing and illumination conditions, and the wide range of poses that people can adopt. To discriminate the human shape clearly, Dalal and ...
  • Kopinsky, Justin (Massachusetts Institute of Technology, 2014)
    The long-lived renaming problem appears in shared-memory systems where a set of threads need to register and deregister frequently from the computation, while concurrent operations scan the set of currently registered ...
  • Gagoski, Borjan Aleksandar (Massachusetts Institute of Technology, 2006)
    Conventional Magnetic Resonance Spectroscopic Imaging (MRSI) suffers from both low signal-to-noise (SNR), as well as long acquisition times. The development of high-fidelity gradient coils has opened opportunities for fast ...
  • Hsiao, Kai-yuh, 1977- (Massachusetts Institute of Technology, 2001)
  • Myers, Andrew C. (Andrew Clifford) (Massachusetts Institute of Technology, 1994)
  • Crain, Ethan A. (Ethan Alan), 1972- (Massachusetts Institute of Technology, 2004)
    A novel offset voltage compensation method is presented that significantly modifies the existing tradeoff between control loop bandwidth, and therefore total compensation time, and total output jitter. The proposed system ...
  • Hunt, Russell Thomas (Massachusetts Institute of Technology, 1997)
  • You, Shuang (Massachusetts Institute of Technology, 2006)
    This paper presents a method of real-time multi-modal pedestrian detection from a moving vehicle. The system uses both intensity and thermal images captured from cameras mounted at the front of the vehicle to train cascades ...
MIT-Mirage