Execution

Results: 6779



#Item
141

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
    142

    Symbolic Types for Lenient Symbolic Execution

    Add to Reading List

    Source URL: homes.cs.washington.edu

    - Date: 2017-12-12 13:01:34
      143

      Redundant State Detection for Dynamic Symbolic Execution Suhabe Bugrara Stanford University Dawson Engler Stanford University

      Add to Reading List

      Source URL: nsl.cs.columbia.edu

      - Date: 2014-12-07 19:02:19
        144

        SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation Implementations Sze Yiu Chau∗ Omar Chowdhury† Endadul Hoque∗ Huangyi Ge∗ Aniket Kate∗ Cristina Nita-Rotaru‡ Ni

        Add to Reading List

        Source URL: www.ieee-security.org

        - Date: 2017-04-03 16:02:16
          145

          LOOM: Bypassing Races in Live Applications with Execution Filters Jingyue Wu, Heming Cui, Junfeng Yang Columbia University 1

          Add to Reading List

          Source URL: static.usenix.org

          - Date: 2010-10-14 13:40:31
            146

            From a Calculus to an Execution Environment for Stream Processing Robert Soul´e Martin Hirzel

            Add to Reading List

            Source URL: www.cs.cornell.edu

            - Date: 2012-05-30 21:42:49
              147

              Storage Systems for Storage-Class Memory Haris Volos, Michael Swift Execution time (s) Computer Sciences Department, University of Wisconsin–Madison

              Add to Reading List

              Source URL: pages.cs.wisc.edu

              - Date: 2015-07-23 11:03:47
                148

                120 M AY 2014 | MISSOURI IS BACK IN THE EXECUTION BUSINESS, DRAWING NATIONAL ATTENTION TO THE STATE’S HISTORY OF SECRECY AND INCOMPETENCE. WITNESS ONE KILLER’S FINAL DAY.

                Add to Reading List

                Source URL: www.spjnetwork.org

                - Date: 2016-03-24 17:41:26
                  149

                  Projecte de Final de Carrera Enginyeria Informàtica Agent­based execution of medical  guidelines represented in the SDA*  formalism

                  Add to Reading List

                  Source URL: deim.urv.cat

                  - Date: 2016-12-05 10:56:20
                    150

                    Terms of Business 1. Introduction 1.1. The Terms of Business govern all actions with regard to the processing and execution of Customer’s Requests.

                    Add to Reading List

                    Source URL: www.bfsforex.com

                    - Date: 2015-11-10 09:20:27
                      UPDATE