Efficient

Results: 18776



#Item
561

Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

Add to Reading List

Source URL: research.microsoft.com

- Date: 2009-09-21 16:41:38
    562

    Woodburning, Multi-Fuel and Boiler Stoves A heritage of heating... Practical and Efficient... and Ireland for many decades. Today, that tradition continues

    Add to Reading List

    Source URL: brochures.stovax.com

    - Date: 2015-03-06 04:31:54
      563

      The Role of District Heating in Danish Sustainable Energy Supply 11 June 2013 Sustainable Cities event, Danish-French sharing on high quality & efficient city solutions Organized by The Danish Embassy in Paris and DI La

      Add to Reading List

      Source URL: www.energy-cities.eu

      - Date: 2013-06-12 10:31:50
        564

        Prototyping Efficient Natural Language Parsers Carlos G´omez-Rodr´ıguez, Jes´ us Vilares and Miguel A. Alonso Universidade da Coru˜ na Campus de Elvi˜

        Add to Reading List

        Source URL: coleweb.dc.fi.udc.es

        - Date: 2007-06-22 05:44:38
          565

          Efficient Secure and Verifiable Outsourcing of Matrix Multiplications Yihua Zhang and Marina Blanton Department of Computer Science and Engineering, University of Notre Dame ,

          Add to Reading List

          Source URL: www3.nd.edu

          - Date: 2014-08-14 20:09:45
            566

            BULK DISPENSE STATION EFFICIENT PRESSURE TRANSFER OF LIQUID The Bulk Dispense Station supports the transfer of liquid from a bulk storage tank to a use point such as an Orca, without the use of a pump. Drawing low pressu

            Add to Reading List

            Source URL: files.chartindustries.com

            - Date: 2015-01-19 15:11:49
              567

              1 Table of Contents Executive Summary Introduction: Digitizing Real Estate 1. Validating X-Listing PriceTM as an Efficient Pricing Mechanism

              Add to Reading List

              Source URL: s3-ap-southeast-1.amazonaws.com

              - Date: 2016-04-07 02:42:07
                568

                Efficient Per Query Information Extraction from a Hamming Oracle

                Add to Reading List

                Source URL: robertmarks.org

                  569

                  discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code Sebastian Eschweiler∗† , Khaled Yakdan∗† , Elmar Gerhards-Padilla† , ∗ University of Bonn, Germany

                  Add to Reading List

                  Source URL: www.internetsociety.org

                  - Date: 2016-02-22 10:49:29
                    570

                    Generation of indexes for compiling efficient parsers from formal specifications Carlos G´ omez-Rodr´ıguez1 , Miguel A. Alonso1 , and Manuel Vilares2 1

                    Add to Reading List

                    Source URL: coleweb.dc.fi.udc.es

                    - Date: 2007-04-18 05:41:20
                      UPDATE