Now showing items 766-785 of 6972

    • C-Flow : a compiler for statically scheduled message passing in parallel programs 

      Griffin, Patrick (Patrick Robert) (Massachusetts Institute of Technology, 2005)
      Performance improvement in future microprocessors will rely more on the exploitation of parallelism than increases in clock frequency, leading to more multi-core and tiled processor architectures. Despite continuing research ...
    • A C/C++ front end for the Daikon dynamic invariant detection system 

      Morse, Benjamin, 1979- (Massachusetts Institute of Technology, 2002)
      This thesis details the implementation and performance of a Daikon front end for the C and C++ languages. The Daikon dynamic invariant detection suite is a system designed to extract formal specifications from programs, ...
    • Cabala : a speculative execution framework to make Linux services fault tolerant 

      Joshi, Kavya (Kavya U.) (Massachusetts Institute of Technology, 2013)
      Cabala is a speculative execution framework that enables server programs in Linux to be fault tolerant. The errors it targets are run-time errors that are due to program bugs, and which cause program exit; in particular, ...
    • Cache and NUMA optimizations in a domain-specific language for graph processing 

      Yang, Mengjiao (Massachusetts Institute of Technology, 2018)
      High-performance graph processing is challenging because the sizes and structures of real-world graphs can vary widely. Graph algorithms also have distinct performance characteristics that lead to different performance ...
    • Cache coherence strategies in a many-core processor 

      Celio, Christopher P (Massachusetts Institute of Technology, 2009)
      Caches are frequently employed in memory systems, exploiting memory locality to gain advantages in high-speed performance and low latency. However, as computer processor core counts increase, maintaining coherence between ...
    • Cache coherent commutative operations 

      Horn, Webb H (Massachusetts Institute of Technology, 2015)
      This thesis presents Coup, a technique that reduces the cost of updates in shared memory systems. In particular, it describes a new cache coherence protocol, MEUSI, and evaluates its performance under simulation in zsim. ...
    • Cache optimizations for stream programs 

      SermuliÅ Å¡, JÄ nis (Massachusetts Institute of Technology, 2005)
      As processor speeds continue to increase, the memory bottleneck remains a primary impediment to attaining performance. Effective use of the memory hierarchy can result in significant performance gains. This thesis focuses ...
    • Cache-oblivious algorithms 

      Prokop, Harald, 1975- (Massachusetts Institute of Technology, 1999)
    • Cache-oblivious dynamic search trees 

      Kasheff, Zardosht, 1981- (Massachusetts Institute of Technology, 2004)
      I have implemented a cache-oblivious dynamic search tree as an alternative to the ubiquitious B-tree. I use a binary tree with a "van Endcle Boas" layout whose leaves point to intervals in a "packed memory structure". We ...
    • CAD for a 3-dimensional FPGA 

      Chandrasekhar, Vikram (Massachusetts Institute of Technology, 2007)
      In this work, the benefits of using 3-D integration in the fabrication of Field Programmable Gate Arrays (FPGAs) are analyzed. A CAD tool has been developed to specify 3-dimensional FPGA architectures and map RTL descriptions ...
    • Caesar : a social code review tool for programming education 

      Tang, Mason (Massachusetts Institute of Technology, 2011)
      Caesar is a distributed, social code review tool designed for the specific constraints and goals of a programming course. Caesar is capable of scaling to a large and diverse reviewer population, provides automated tools ...
    • CafNet : a carry-and-forward delay-tolerant network 

      Chen, Kevin W. (Kevin William) (Massachusetts Institute of Technology, 2007)
      In this thesis, I designed and implemented a delay-tolerant network stack that allows applications to send messages to other network nodes when no end-to-end connectivity is present. CafNet, the Carry-and-Forward Network, ...
    • Calcium- and tyrosine phosphorylation-dependent mechanisms of amyloid precursor protein processing 

      Petryniak, Magdalena A. (Magdalena Anna) (Massachusetts Institute of Technology, 1995)
    • Calculation of effective electromagnetic parameters of helix loaded composites 

      Manolatou, Christina (Massachusetts Institute of Technology, 1995)
    • Calibration of a microvision system for MEMS device characterization 

      Bardhan, Jaydeep Porter, 1978- (Massachusetts Institute of Technology, 2001)
      With the growing use of microelectromechanical systems (MEMS), it becomes increasingly important that reliable, accurate methods for characterizing and calibrating MEMS be developed. One microsystem in need of specific ...
    • Calibration, feature extraction and classification of water contaminants using a differential mobility spectrometer 

      Ren, Bobby (Bobby B.) (Massachusetts Institute of Technology, 2006)
      High-Field Asymmetric Waveform Ion Mobility Spectrometry (FAIMS) is a chemical sensor that separates ions in the gaseous phase based on their mobility in high electric fields. A threefold approach was developed for both ...
    • Calorimetric measurements of a Yang-Koldamasov device 

      Novosad, Jennifer (Massachusetts Institute of Technology, 2007)
      Due to the finite supply of oil, energy availability and price are issues facing the world. Among the possible approaches to this problem is research of new physical effects which may produce energy in novel ways. The ...
    • Camera-microcomputer interface 

      Graham, Helen Louise (Massachusetts Institute of Technology, 1980)
    • Can silhouette execution mitigate VM boot storms? 

      Raza, Syed Aunn Hasan (Massachusetts Institute of Technology, 2011)
      Server virtualization enables data centers to run many VMs on individual hosts - this reduces costs, simplifies administration and facilitates management. Improvement in hardware and virtualization technology, coupled with ...
    • A cancer protocol writer's assistant 

      Masand, Brij, 1957- (Massachusetts Institute of Technology, 1982)