Advanced Search
DSpace@MIT

Browsing Department of Electrical Engineering and Computer Sciences by Title

Research and Teaching Output of the MIT Community

Browsing Department of Electrical Engineering and Computer Sciences by Title

Sort by: Order: Results:

  • 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, Ph. D. 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 ...
  • Spitkovsky, Valentin I. (Valentin Ilyich), 1977- (Massachusetts Institute of Technology, 2000)
  • 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 ...
  • Mao, Yandong (Massachusetts Institute of Technology, 2014)
    This dissertation addresses two challenges relating to in-memory storage systems. The first challenge is storing and retrieving data at a rate close to the capabilities of the underlying memory system, particularly in the ...
  • 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 ...
  • Kanapka, Joseph D. (Joseph Daniel), 1972- (Massachusetts Institute of Technology, 2002)
    Substrate coupling effects have had an increasing impact on circuit performance in recent years. As a result, there is strong demand for substrate simulation tools. Past work has concentrated on fast substrate solvers that ...
  • Lee, Jung Hoon, Ph. D. Massachusetts Institute of Technology (Massachusetts Institute of Technology, 2008)
    Inverse wave scattering problems arise in many applications including computerized/diffraction tomography, seismology, diffraction/holographic grating design, object identification from radar singals, and semiconductor ...
  • 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 ...
MIT-Mirage