Now showing items 3976-3995 of 34820

    • C L I M A + : an early design natural ventilation prediction method 

      Arsano, Alpha Yacob (Massachusetts Institute of Technology, 2017)
      One of the most widely discussed passive building design strategies is using natural ventilation for cooling. In addition to providing fresh air, which enhances occupant productivity and comfort, strategic implementation ...
    • 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 ...
    • C-IMAGE : city cognitive mapping through geo-tagged photos 

      Liu, Liu, M.C.P. Massachusetts Institute of Technology (Massachusetts Institute of Technology, 2014)
      Traditional research categorizes people's perceptions towards the city environment with Kevin Lynch's five elements: node, path, edge, district, and landmark. His method has been a keystone in guiding both urban design and ...
    • C.A.S.H. - communal affordable singles housing : a platform for proactive affordability in Hong Kong 

      Wang, Yan-Ping, M. Arch. Massachusetts Institute of Technology (Massachusetts Institute of Technology, 2013)
      In Hong Kong, young singles are left out of the affordable housing equation. They require much more space per person in comparison to those living in family housing, and the government is not willing to allocate a ...
    • 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, ...
    • C@t : a language for programming massively distributed embedded systems 

      Seetharamakrishnan, Devasenapathi P., 1970- (Massachusetts Institute of Technology, 2002)
      This thesis presents c@t, a language for programming distributed embedded systems that are composed of thousands (even millions) of interacting computing devices. Due to the improvements in fabricating technologies, it is ...
    • 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, ...
    • Cable television and neighborhood health centers : promises and realities 

      Lo, Katherine Elizabeth (Massachusetts Institute of Technology, 1982)
    • Cable television and the Boston Public Schools 

      Regenstein, Marsha (Massachusetts Institute of Technology, 1982)
    • 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 as a tool in urban design : a study in reunited Germany 

      Jurkschat, Axel (Axel R. M.) (Massachusetts Institute of Technology, 1995)
      Architecture is a phenomenon of space and time. Since ancient times mankind has found its place in space and time with the help of architecture. Thus architecture refers to more than just practical requirements, science ...
    • A CAD compatible method of planning an automated assembly task 

      Peterman, Teresa Gayl (Massachusetts Institute of Technology, 1983)
    • CAD enabling smart handtools 

      Goyal, Pragun (Massachusetts Institute of Technology, 2014)
      CAD (Computer Aided Design) software allows one to describe a design in great detail and at any arbitary scale. However, our interface to CAD is still largely through traditional avenues: screen, keyboard and pointing ...
    • CAD files and the computerized design of beams and girders 

      Gasztowtt, Pierre (Massachusetts Institute of Technology, 1986)
    • 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 ...