CSAIL Digital Archive: Recent submissions

Now showing items 121-123 of 807

    • Alloy*: A Higher-Order Relational Constraint Solver 

      Milicevic, Aleksandar; Near, Joseph P.; Kang, Eunsuk; Jackson, Daniel (2014-09-02)
      The last decade has seen a dramatic growth in the use of constraint solvers as a computational mechanism, not only for analysis and synthesis of software, but also at runtime. Solvers are available for a variety of logics ...

    • Motion Compatibility for Indoor Localization 

      Park, Jun-geun; Teller, Seth (2014-08-26)
      Indoor localization -- a device's ability to determine its location within an extended indoor environment -- is a fundamental enabling capability for mobile context-aware applications. Many proposed applications assume ...

    • Energy-Efficient Approximate Computation in Topaz 

      Achour, Sara; Rinard, Martin (2014-08-19)
      We present Topaz, a new task-based language for computations that execute on approximate computing platforms that may occasionally produce arbitrarily inaccurate results. The Topaz implementation maps approximate tasks ...