Execution

Results: 6779



#Item
121

209 ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements Adrian Paschke1, Martin Bichler1, and Jens Dietrich2 1

Add to Reading List

Source URL: rbsla.ruleml.org

- Date: 2013-12-20 11:58:09
    122

    Accelerating Array Constraints in Symbolic Execution David M. Perry∗ Andrea Mattavelli Xiangyu Zhang

    Add to Reading List

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

    - Date: 2017-05-19 12:23:50
      123

      Pioneer Asset Management, a.s. VNITŘNÍ PŘEDPIS UPRAVUJÍCÍ POLITIKU PROVÁDĚNÍ POKYNŮ (BEST EXECUTION) Konečná verze účinná odPOLITIKA PROVÁDĚNÍ POKYNŮ (best execution)

      Add to Reading List

      Source URL: www.pioneer.cz

      - Date: 2010-02-05 08:28:24
        124

        Symbolic Types for Lenient Symbolic Execution

        Add to Reading List

        Source URL: www.ccs.neu.edu

        - Date: 2017-12-12 10:22:57
          125

          Directives (continued) The critical construct restricts execution of the associated structured block to a single thread at a time. Details Operators legally allowed in a reduction

          Add to Reading List

          Source URL: www.openmp.org

          - Date: 2016-10-28 11:59:56
            126

            Microsoft PowerPoint - IDS-1573_Microwave Device Reliability Characterization-The Mechanics of Life Test Execution and Analysis

            Add to Reading List

            Source URL: ewh.ieee.org

            - Date: 2009-08-29 18:28:42
              127

              Mixing Type Checking and Symbolic Execution Khoo Yit Phang Bor-Yuh Evan Chang Jeffrey S. Foster

              Add to Reading List

              Source URL: www.cs.colorado.edu

              - Date: 2017-05-01 12:25:34
                128

                Speculative Execution Side Channel Mitigations Revision 1.0 JanuaryDocument Number:

                Add to Reading List

                Source URL: software.intel.com

                - Date: 2018-01-12 17:39:35
                  129

                  each execution class is executed is inserted at the beginning of the first basic block in the execution class. At the end of the execution of the program, the number of times that each execution class is executed is writ

                  Add to Reading List

                  Source URL: www.cs.fsu.edu

                  - Date: 2016-05-21 11:29:41
                    UPDATE