Now showing items 153-172 of 308

    • 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 ...
    • MMS: An Autonomic Network-Layer Foundation for Network Management 

      Gogineni, Hemant; Greenberg, Albert; Maltz, David A.; Ng, T. S. Eugene; Yan, Hong; Zhang, Hui (2008-12-03)
      Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an autonomic mechanism that enables such communications, and ...
    • Modeling 3D Minimal-Energy Curves of Given Length 

      Kavraki, Lydia E.; Moll, Mark (2005-01-04)
      We present a subdivision scheme for the construction of 3D minimal-energy curves of given length that satisfy endpoint constraints. When given desired positions and tangents for the endpoints, and the length of the curve, ...
    • Modeling Integrated Cellular Machinery Using Hybrid Petri-Boolean Networks 

      Berestovsky, Natalie; Zhou, Wanding; Nagrath, Deepak; Nakhleh, Luay (2013)
      The behavior and phenotypic changes of cells are governed by a cellular circuitry that represents a set of biochemical reactions. Based on biological functions, this circuitry is divided into three types of networks, each ...
    • Models of Control and Their Implications for Programming Language Design 

      Sitaram, Dorai (1994-04)
      This work uses denotational models to understand and improve the part of a programming language concerned with non-local control operators. These operators let the programmer identify and restore arbitrary control contexts ...