Floating

Results: 4929



#Item
51Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

Floating-Point Symbolic Execution: A Case Study in N-Version Programming Daniel Liew∗ , Daniel Schemmel† , Cristian Cadar∗ , Alastair F. Donaldson∗ , Rafael Z¨ahl†‡ , Klaus Wehrle† ∗ Imperial College Lo

Add to Reading List

Source URL: srg.doc.ic.ac.uk

- Date: 2017-10-17 05:46:31
    52Abstract Submitted for the MAR16 Meeting of The American Physical Society Capillary Forces between Floating Objects: Superhydrophobic Surfaces Provide Mechanistic Insight MINCHAO ZHANG, THOMAS J. MCCARTHY, ALFRED J. CROS

    Abstract Submitted for the MAR16 Meeting of The American Physical Society Capillary Forces between Floating Objects: Superhydrophobic Surfaces Provide Mechanistic Insight MINCHAO ZHANG, THOMAS J. MCCARTHY, ALFRED J. CROS

    Add to Reading List

    Source URL: absimage.aps.org

    - Date: 2015-12-16 20:26:09
      53Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke

      Floating-point Bugs in Embedded GNU C Library Soonho Kong Sicun Gao Edmund M. Clarke

      Add to Reading List

      Source URL: reports-archive.adm.cs.cmu.edu

      - Date: 2014-04-20 14:22:40
        54CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014

        CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014

        Add to Reading List

        Source URL: csapp.cs.cmu.edu

        - Date: 2014-08-05 12:50:10
          55Printing Floating-Point Numbers Quickly and Accurately with Integers Florian Loitsch Inria Sophia Antipolis 2004 Route des Lucioles - BPSophia Antipolis Cedex

          Printing Floating-Point Numbers Quickly and Accurately with Integers Florian Loitsch Inria Sophia Antipolis 2004 Route des Lucioles - BPSophia Antipolis Cedex

          Add to Reading List

          Source URL: www.cs.tufts.edu

          - Date: 2012-02-10 20:07:36
            56Omirou, T., Marzo, A., Subramanian, S., & Roudaut, AFloating Charts: Data Plotting using Free-Floating Acoustically Levitated Representations. In 2016 IEEE Symposium on 3D User Interfaces (3DUI 2016): Proceedin

            Omirou, T., Marzo, A., Subramanian, S., & Roudaut, AFloating Charts: Data Plotting using Free-Floating Acoustically Levitated Representations. In 2016 IEEE Symposium on 3D User Interfaces (3DUI 2016): Proceedin

            Add to Reading List

            Source URL: research-information.bristol.ac.uk

            - Date: 2016-05-05 05:10:08
              57Creating a PDF form using LibreOfficeTo create a PDF form start by opening a new Text Document. In View go to Toolbars and select Form Controls. A floating Tool Bar will appear. It contains the tools you will

              Creating a PDF form using LibreOfficeTo create a PDF form start by opening a new Text Document. In View go to Toolbars and select Form Controls. A floating Tool Bar will appear. It contains the tools you will

              Add to Reading List

              Source URL: www.learnquebec.ca

              - Date: 2013-09-22 16:39:45
                58A COMPRESSION METHOD FOR ARBITRARY PRECISION FLOATING-POINT IMAGES Steve Mann Corey Manders, Farzam Farbiz Dept. of Electrical and Computer Eng.

                A COMPRESSION METHOD FOR ARBITRARY PRECISION FLOATING-POINT IMAGES Steve Mann Corey Manders, Farzam Farbiz Dept. of Electrical and Computer Eng.

                Add to Reading List

                Source URL: www.eyetap.org

                - Date: 2013-11-17 00:03:48
                  59OpenCL Floating Point Software on Heterogeneous Architectures — Portable or Not? Miriam Leesera , Jaideep Ramachandranb , Thomas Wahlb , Devon Yablonskic Northeastern University, Boston, USA a

                  OpenCL Floating Point Software on Heterogeneous Architectures — Portable or Not? Miriam Leesera , Jaideep Ramachandranb , Thomas Wahlb , Devon Yablonskic Northeastern University, Boston, USA a

                  Add to Reading List

                  Source URL: www.ccs.neu.edu

                  - Date: 2012-10-30 16:12:06
                    60Toward a Standard Benchmark Format and Suite for Floating-Point Analysis Nasrine Damouche1 Matthieu Martel1 Pavel Panchekha2 Chen Qiu2 Alex Sanchez-Stern2 Zachary Tatlock2 Universit´e de Perpignan Via Domitia1

                    Toward a Standard Benchmark Format and Suite for Floating-Point Analysis Nasrine Damouche1 Matthieu Martel1 Pavel Panchekha2 Chen Qiu2 Alex Sanchez-Stern2 Zachary Tatlock2 Universit´e de Perpignan Via Domitia1

                    Add to Reading List

                    Source URL: fpbench.org

                    - Date: 2016-09-11 15:53:45