Browsing Electrical Engineering and Computer Sciences - Master's degree by Title
Now showing items 766-785 of 6972
-
C-Flow : a compiler for statically scheduled message passing in parallel programs
(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
(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
(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
(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
(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
(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
(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
(Massachusetts Institute of Technology, 1999) -
Cache-oblivious dynamic search trees
(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
(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
(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
(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
(Massachusetts Institute of Technology, 1995) -
Calculation of effective electromagnetic parameters of helix loaded composites
(Massachusetts Institute of Technology, 1995) -
Calibration of a microvision system for MEMS device characterization
(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
(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
(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
(Massachusetts Institute of Technology, 1980) -
Can silhouette execution mitigate VM boot storms?
(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
(Massachusetts Institute of Technology, 1982)
