Automatic

Results: 19792



#Item
331

ECI®, PCCW Global, Sparkle and Tata Communications Demonstrate Automatic Service Fulfillment and Activation Across Multiple Service Provider Domains Thereby advancing MEF 3.0 vision of supporting capabilities for fulfil

Add to Reading List

Source URL: www.ecitele.com

- Date: 2017-11-14 02:12:44
    332

    Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

    Add to Reading List

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

    - Date: 2017-10-24 05:39:23
      333

      Programming a Dataflow Analysis in Flix [Tools for Automatic Program Analysis (TAPAS), 2016] Magnus Madsen Ming-Ho Yee

      Add to Reading List

      Source URL: staticanalysis.org

      - Date: 2018-03-29 12:35:32
        334

        Automatic Formal Verification for EPICS Automatic Formal Verification for EPICS

        Add to Reading List

        Source URL: homes.cs.washington.edu

        - Date: 2018-03-30 11:37:33
          335

          Automatic Inversion Generates Divide-and-Conquer Parallel Programs Kazutaka Morita Akimasa Morihata

          Add to Reading List

          Source URL: research.nii.ac.jp

          - Date: 2012-04-25 02:47:45
            336

            Constrained Parametric Min-Cuts for Automatic Object Segmentation Joao Carreira and Cristian Sminchisescu Computer Vision and Machine Learning Group, Institute for Numerical Simulation, Faculty of Mathematics and Natural

            Add to Reading List

            Source URL: www.maths.lth.se

            - Date: 2013-02-05 06:53:46
              337

              Amendment of Previous Instructions Regarding Automatic Renewal of Time Deposit upon Maturity Date： To：THE SHANGHAI COMMERCIAL & SAVINGS BANK, LTD., SINGAPORE BRANCH. (the “Bank”)

              Add to Reading List

              Source URL: www.scsbsg.com

              - Date: 2017-08-14 02:01:47
                338

                Automatic Detection and Exploitation of Branch Constraints for Timing Analysis* Christopher A. Healy Computer Science Dept., Furman University Greenville, SCe-mail: , phone: (

                Add to Reading List

                Source URL: www.cs.fsu.edu

                - Date: 2016-05-22 07:00:12
                  339

                  HF TRANSCEIVER AUTOMATIC TUNING ANTENNAS Wide frequency type Compact type

                  Add to Reading List

                  Source URL: hflink.com

                  - Date: 2014-12-31 02:44:11
                    340

                    ORIGINAL RESEARCH published: 13 June 2016 doi: fnsysNo Evidence for Automatic Remapping of Stimulus Features

                    Add to Reading List

                    Source URL: www.marklescroart.com

                    - Date: 2016-11-29 16:45:32
                      UPDATE