Arrays

Results: 1400



#Item
41Generalized, 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

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
    42Automated Scour Detection Arrays using Bio-Inspired Magnetostrictive Flow Sensors Deliverable 6A Report: Embedded System Design March 12, 2015

    Automated Scour Detection Arrays using Bio-Inspired Magnetostrictive Flow Sensors Deliverable 6A Report: Embedded System Design March 12, 2015

    Add to Reading List

    Source URL: mtri.org

    - Date: 2015-04-15 15:30:27
      43IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 53, NO. 2, FEBRUARYAuxiliary Antenna-Assisted Interference Mitigation for Radio Astronomy Arrays

      IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 53, NO. 2, FEBRUARYAuxiliary Antenna-Assisted Interference Mitigation for Radio Astronomy Arrays

      Add to Reading List

      Source URL: www.et.byu.edu

      - Date: 2009-10-14 12:22:21
        441178 IEEE TRANSACTIONS ON ANTENNAS AND PROPAGATION, VOL. 39, NO. 8, AUGUST 1991 On the Design of Maximally Sparse Beamforming Arrays

        1178 IEEE TRANSACTIONS ON ANTENNAS AND PROPAGATION, VOL. 39, NO. 8, AUGUST 1991 On the Design of Maximally Sparse Beamforming Arrays

        Add to Reading List

        Source URL: www.et.byu.edu

        - Date: 2009-10-14 12:22:25
          45A WIRELESS MIMO CHANNEL PROBING APPROACH FOR ARBITRARY ANTENNA ARRAYS Brian D.Jefls, Edward Pypeqand Brandon Hunter Brigham Young University, Department of Electrical and Computer Engineering 459 CB, Provo, UT 84602, ema

          A WIRELESS MIMO CHANNEL PROBING APPROACH FOR ARBITRARY ANTENNA ARRAYS Brian D.Jefls, Edward Pypeqand Brandon Hunter Brigham Young University, Department of Electrical and Computer Engineering 459 CB, Provo, UT 84602, ema

          Add to Reading List

          Source URL: www.et.byu.edu

          - Date: 2009-10-14 12:22:25
            46Automated Scour Detection Arrays using Bio-Inspired Magnetostrictive Flow Sensors Deliverable 8A Report: Signal Processing for Scour Detection March 12, 2015

            Automated Scour Detection Arrays using Bio-Inspired Magnetostrictive Flow Sensors Deliverable 8A Report: Signal Processing for Scour Detection March 12, 2015

            Add to Reading List

            Source URL: mtri.org

            - Date: 2015-04-15 15:30:30
              47DIRECTION DEPENDENT SELF CALIBRATION OF LARGE DISTRIBUTED SENSOR ARRAYS Brian D. Jeffs† , Sebastiaan van der Tol‡ , and Alle-Jan van der Veen‡ † ‡

              DIRECTION DEPENDENT SELF CALIBRATION OF LARGE DISTRIBUTED SENSOR ARRAYS Brian D. Jeffs† , Sebastiaan van der Tol‡ , and Alle-Jan van der Veen‡ † ‡

              Add to Reading List

              Source URL: www.et.byu.edu

              - Date: 2009-10-14 12:22:26
                48Suffix arrays – a contest approach

                Suffix arrays – a contest approach

                Add to Reading List

                Source URL: web.stanford.edu

                - Date: 2014-02-04 00:58:14
                  49CUSTOMER CASE STUDY Adaptec RAID Adapters Take Center Stage in CacheIO Flash Arrays for Media and Entertainment Solutions Introduction New Hampshire-based CacheIO develops all-flash storage systems, including all-flash

                  CUSTOMER CASE STUDY Adaptec RAID Adapters Take Center Stage in CacheIO Flash Arrays for Media and Entertainment Solutions Introduction New Hampshire-based CacheIO develops all-flash storage systems, including all-flash

                  Add to Reading List

                  Source URL: adaptec.pmcs.com

                  - Date: 2014-11-06 15:06:23
                    50Reconfigurable Supercomputing aktuelles Schlagwort Reiner Hartenstein Die vor etwa 20 Jahren aufgekommenen FPGAs (Field-Programmable Gate Arrays) galten zunächst als alternative Plattformen für den Logik-Entwurf. Als n

                    Reconfigurable Supercomputing aktuelles Schlagwort Reiner Hartenstein Die vor etwa 20 Jahren aufgekommenen FPGAs (Field-Programmable Gate Arrays) galten zunächst als alternative Plattformen für den Logik-Entwurf. Als n

                    Add to Reading List

                    Source URL: helios.informatik.uni-kl.de

                    - Date: 2006-11-07 06:26:01