Now showing items 149-168 of 308

    • Lazy Release Consistency for Distributed Shared Memory 

      Keleher, Peter (1995-01)
      A software distributed shared memory (DSM) system allows shared memory parallel programs to execute on networks of workstations. This thesis presents a new class of protocols that has lower communication requirements than ...
    • Leaky Buffer: A Novel Abstraction for Relieving Memory Pressure form Cluster Data Processing Frameworks 

      Liu, Zhaolei; Ng, T. S. Eugene (2016-03-25)
      The shift to the in-memory data processing paradigm has had a major influence on the development of cluster data processing frameworks. Numerous frameworks from the industry, open source community and academia are adopting ...
    • Lifetime Optimization Using Energy Allocation in Wireless Ad-hoc Networks 

      Koushanfar, Farinaz; Shamsi, Davood (2008-02-12)
      We develop energy-balancing strategies for wireless ad-hoc networks energy resource allocation and deployment. The objective is to extend the network lifetime. We find the amount of energy storage that each node requires ...
    • Linear Temporal Logic and Linear Dynamic Logic on Finite Traces 

      De Giacomo, Giuseppe; Vardi, Moshe Y. (2013)
      In this paper we look into the assumption of interpreting LTL over finite traces. In particular we show that LTLf, i.e., LTL under this assumption, is less expressive than what might appear at first sight, and that at ...
    • Maestro: A System for Scalable OpenFlow Control 

      Cai, Zheng; Cox, Alan L.; Ng, T. S. Eugene (2010-12-04)
      The fundamental feature of an OpenFlow network is that the controller is responsible for the initial establishment of every flow by contacting related switches. Thus the performance of the controller could be a bottleneck. ...
    • Maestro: Balancing Fairness, Latency and Throughput in the OpenFlow Control Plane 

      Cai, Zheng; Cox, Alan L.; Ng, T. S. Eugene (2011-12-20)
      The fundamental feature of an OpenFlow network is that the controller is responsible for the configuration of switches for every traffic flow. This feature brings programmability and flexibility, but also puts the controller ...
    • Managing Interprocedural Optimization 

      Hall, Mary Wolcott (1998-04-28)
      This dissertation addresses a number of important issues related to interprocedural optimization. Interprocedural optimization is an integral component in a compilation system for high-performance computing. The importance ...
    • Manetho: Fault Tolerance in Distributed Systems Using Rollback-Recovery and Process Replication 

      Elnozahy, Elmootazbellah (1993-10)
      This dissertation presents a new protocol that allows rollback-recovery and process replication to co-exist in a distributed system. The protocol relies on a novel data structure called the antecedence graph, which tracks ...
    • Mapping HPF onto the Grid 

      Mandal, Anirban (2003-03-12)
      For this thesis, we have developed a tool for mapping HPF applications onto the Grid using the GrADS infrastructure. To build the mapper, the tool makes use of SPMD task graph representation of the application. Using the ...
    • Mapping Network Motif Tunability and Robustness in the Design of Synthetic Signaling Circuits 

      Iadevaia, Sergio; Nakhleh, Luay K.; Azencott, Robert; Ram, Prahlad T. (2014)
      Cellular networks are highly dynamic in their function, yet evolutionarily conserved in their core network motifs or topologies. Understanding functional tunability and robustness of network motifs to small perturbations ...
    • The Mason Test: A Defense Against Sybil Attacks in Wireless Networks Without Trusted Authorities 

      Liu, Yue; Bild, David R.; Dick, Robert P.; Mao, Z. Morley; Wallach, Dan S. (2015)
      Wireless networks are vulnerable to Sybil attacks, in which a malicious node poses as many identities in order to gain disproportionate influence. Many defenses based on spatial variability of wireless channels exist, but ...
    • Mathematical Properties of Variational Subdivision Schemes 

      Warren, Joe (1998-09-24)
      Subdivision schemes for variational splines were introduced in a previous paper. This technical report focuses on discussing the mathematical properties of these subdivision schemes in more detail. Please read the original ...
    • Matrix Transposition on a Mesh with Blocking Transmissions 

      Hofri, Micha; Thomson, David L. (1997-02-07)
      A time-optimal procedure to transpose in situ a matrix stored over a distributed memory 2-dimensional mesh-connected parallel computer is shown. The matrix need not be square. Only nearest-neighbor blocking communications ...
    • Measurement-Based Analysis, Modeling, and Synthesis of the Internet Delay Space for Large Scale Simulation 

      Zhang, Bo; Ng, T. S. Eugene; Nandi, Animesh; Riedi, Rudolf H.; Druschel, Peter; Wang, Guohui (2006-10-04)
      The characteristics of packet delays among edge networks in the Internet can have a significant impact on the performance and scalability of global-scale distributed systems. Designers rely on simulation to study design ...
    • Mechanism of Graphene Oxide Formation 

      Dimiev, Ayrat M.; Tour, James M. (2014)
      Despite intensive research, the mechanism of graphene oxide (GO) formation remains unclear. The role of interfacial interactions between solid graphite and the liquid reaction medium, and transport of the oxidizing agent ...
    • Memento: A Collaborative, Semantic-Based Infrastructure for Building Assistants 

      Baker, Donald (1998-03-02)
      Memento is a software infrastructure to support the construction and evolution of assistant applications (or assistants) that act as adjuncts to the human mind. Each assistant embodies an effective understanding of some ...
    • Memory-Hierarchy Management 

      Carr, Steve (1992-09)
      The trend in high-performance microprocessor design is toward increasing computational power on the chip. Microprocessors can now process dramatically more data per machine cycle than previous models. Unfortunately, memory ...
    • Meniscus-Mask Lithography for Fabrication of Narrow Nanowires 

      Abramova, Vera; Slesarev, Alexander S.; Tour, James M. (2015)
      We demonstrate the efficiency of meniscus-mask lithography (MML) for fabrication of precisely positioned nanowires in a variety of materials. Si, SiO2, Au, Cr, W, Ti, TiO2, and Al nanowires are fabricated and characterized. ...
    • Mitosis: A High Performance, Scalable Virtual Memory System 

      Cox, Alan; Navarro, Juan (2001-05-08)
      Many modern applications use virtual memory APIs introduced in the 1980's in unforeseen ways, stressing the underlying data structures and exposing the old designs to a variety of performance and scalability problems. The ...
    • Mixing Indexed Types and Hindley-Milner Type Inference 

      Pašalić, Emir; Siek, Jeremy G.; Taha, Walid (2006-07-28)
      This paper addresses the question of how to extend OCaml’s Hindley-Milner type system with types indexed by logical propositions and proofs of the Coq theorem prover, thereby providing an expressive and extensible mechanism ...