Now showing items 391-410 of 763

    • LIBPMK: A Pyramid Match Toolkit 

      Lee, John J. (2008-04-07)
      LIBPMK is a C++ implementation of Grauman and Darrell's pyramid match algorithm. This toolkit provides a flexible framework with which developers can quickly match sets of image features and run experiments. LIBPMK provides ...
    • Library Cache Coherence 

      Shim, Keun Sup; Cho, Myong Hyon; Lis, Mieszko; Khan, Omer; Devadas, Srinivas (2011-05-02)
      Directory-based cache coherence is a popular mechanism for chip multiprocessors and multicores. The directory protocol, however, requires multicast for invalidation messages and the collection of acknowledgement messages, ...
    • Light-Weight Leases for Storage-Centric Coordination 

      Chockler, Gregory; Malkhi, Dahlia (2004-04-22)
      We propose light-weight lease primitives to leverage fault-tolerant coordination among clients accessing a shared storage infrastructure (such as network attached disks or storage servers). In our approach, leases are ...
    • Lightweight Communications and Marshalling for Low-Latency Interprocess Communication 

      Moore, David; Olson, Edwin; Huang, Albert (2009-09-02)
      We describe the Lightweight Communications and Marshalling (LCM) library for message passing and data marshalling. The primary goal of LCM is to simplify the development of low-latency message passing systems, targeted at ...
    • Local Geometry of Multiattribute Tradeoff Preferences 

      McGeachie, Michael (2007-02-01)
      Existing preference reasoning systems have been successful insimple domains. Broader success requires more natural and moreexpressive preference representations. This thesis develops arepresentation of logical preferences ...
    • Long-Lived Rambo: Trading Knowledge for Communication 

      Georgiou, Chryssis; Musial, Peter M.; Shvartsman, Alexander A. (2004-04-12)
      Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributedsystems easier. However, combining linearizability with efficiency in practical algorithms is difficult. ...
    • A Lossy, Synchronization-Free, Race-Full, But Still Acceptably Accurate Parallel Space-Subdivision Tree Construction Algorithm 

      Rinard, Martin (2012-02-23)
      We present a new synchronization-free space-subdivision tree construction algorithm. Despite data races, this algorithm produces trees that are consistent enough for the client Barnes-Hut center of mass and force computation ...
    • M&M: A Passive Toolkit for Measuring, Correlating, and Tracking Path Characteristics 

      Katti, Sachin; Katabi, Dina; Kohler, Eddie; Strauss, Jacob (2004-04-14)
      This paper presents M&M, a passive measurement toolkitsuitable for large-scale studies of Internet path characteristics.The multiQ tool uses equally-spaced mode gaps in TCP flowsÂ’packet interarrival time distributions to ...
    • MAC Design for Analog Network Coding 

      Khabbazian, Majid; Kuhn, Fabian; Lynch, Nancy; Medard, Muriel; ParandehGheibi, Ali (2010-08-02)
      Most medium access control mechanisms discard collided packets and consider interference harmful. Recent work on Analog Network Coding (ANC) suggests a different approach, in which multiple interfering transmissions are ...
    • Machine-Checkable Correctness Proofs forIntra-procedural Dataflow Analyses 

      Salcianu, Alexandru; Arkoudas, Konstantine (2004-12-16)
      This technical report describes our experience using the interactive theorem proverAthena for proving the correctness of abstract interpretation-based dataflow analyses.For each analysis, our methodology requires the ...
    • Making Medical Records More Resilient 

      Rudin, Robert (2008-02-17)
      Hurricane Katrina showed that the current methods for handling medicalrecords are minimally resilient to large scale disasters. This research presents a preliminary model for measuring the resilience of medical records ...
    • Managing the 802.11 Energy/Performance Tradeoff with Machine Learning 

      Monteleoni, Claire; Balakrishnan, Hari; Feamster, Nick; Jaakkola, Tommi (2004-10-27)
      This paper addresses the problem of managing the tradeoff betweenenergy consumption and performance in wireless devices implementingthe IEEE 802.11 standard. To save energy, the 802.11 specificationproposes a power-saving ...
    • Mapping Stream Programs into the Compressed Domain 

      Thies, William; Hall, Steven; Amarasinghe, Saman (2007-11-30)
      Due to the high data rates involved in audio, video, and signalprocessing applications, it is imperative to compress the data todecrease the amount of storage used. Unfortunately, this implies thatany program operating on ...
    • Markov Chain Hallway and Poisson Forest Environment Generating Distributions 

      Richter, Charles; Vega-Brown, William; Roy, Nicholas (2015-04-27)
      We document two environment-generating distributions used for sampling random 2D maps. The first generates random hallway environments based on a Markov chain and the second generates random forest environments based on ...
    • Marriage, Honesty, and Stability 

      Immorlica, Nicole; Mahdian, Mohammad (2003-07-28)
      Many centralized two-sided markets form a matching between participantsby running a stable marriage algorithm. It is a well-knownfact that no matching mechanism based on a stable marriage algorithmcan guarantee truthfulness ...
    • Matching Sets of Features for Efficient Retrieval and Recognition 

      Grauman, Kristen Lorraine (2006-08-11)
      In numerous domains it is useful to represent a single example by the collection of local features or parts that comprise it. In computer vision in particular, local image features are a powerful way to describe images of ...
    • Materialization Strategies in a Column-Oriented DBMS 

      Abadi, Daniel J.; Myers, Daniel S.; DeWitt, David J.; Madden, Samuel R. (2006-11-27)
      There has been renewed interest in column-oriented database architectures in recent years. For read-mostly query workloads such as those found in data warehouse and decision support applications, ``column-stores'' have ...
    • Mathematics of the Neural Response 

      Caponnetto, Andrea; Poggio, Tomaso; Bouvrie, Jake; Rosasco, Lorenzo; Smale, Steve (2008-11-26)
      We propose a natural image representation, the neural response, motivated by the neuroscience of the visual cortex. The inner product defined by the neural response leads to a similarity measure between functions which we ...
    • Matrix Approximation and Projective Clustering via Iterative Sampling 

      Rademacher, Luis; Vempala, Santosh; Wang, Grant (2005-03-29)
      We present two new results for the problem of approximating a given real m by n matrix A by a rank-k matrix D, where k < min{m, n}, so as to minimize ||A-D||_F^2. It is known that bysampling O(k/eps) rows of the matrix, ...
    • Maximum Entropy Correlated Equilibria 

      Ortiz, Luis E.; Schapire, Robert E.; Kakade, Sham M. (2006-03-20)
      We study maximum entropy correlated equilibria in (multi-player)games and provide two gradient-based algorithms that are guaranteedto converge to such equilibria. Although we do not provideconvergence rates for these ...