Automatic

Results: 19792



#Item
441

Automatic Software Verification April 28, 2015 Lecture 7: Introduction to Abstract Interpretation Lecturer: Mooly Sagiv, TA: Oded Padon

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-05-26 12:25:53
    442

    Kernels for Automatic Pattern Discovery and Extrapolation Andrew Gordon Wilson mlg.eng.cam.ac.uk/andrew University of Cambridge

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2014-09-11 09:47:09
      443

      Automatic Abstraction in SMT-Based Unbounded Software Model Checking ⋆ Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PA, USA Abstract. Software model che

      Add to Reading List

      Source URL: www.cs.cmu.edu

      - Date: 2013-06-08 14:51:39
        444

        Automatic Parallelization for GPUs Thomas B. Jablin A Dissertation Presented to the Faculty

        Add to Reading List

        Source URL: liberty.princeton.edu

        - Date: 2013-01-22 17:32:47
          445

          Automatic Test Packet Generation Hongyi Zeng , Peyman Kazemian , Nick McKeown University, Stanford, CA, USA George Varghese UCSD, La Jolla

          Add to Reading List

          Source URL: www.cs.tau.ac.il

          - Date: 2014-01-20 04:57:33
            446

            FRIEDRICH-ALEXANDER-UNIVERSITÄT ERLANGEN-NÜRNBERG TECHNISCHE FAKULTÄT • DEPARTMENT INFORMATIK Lehrstuhl für Informatik 10 (Systemsimulation) Automatic Performance Measurements

            Add to Reading List

            Source URL: www.infosun.fim.uni-passau.de

            - Date: 2016-04-02 04:23:21
              447

              Automatic Software Verification April 28, 2015 Lecture 6: Bounded Model Checking Lecturer: Mooly Sagiv

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-05-27 01:40:48
                448

                Automatic Software Verification Lecture 5 Symbolic vs. Concrete Testing

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-05-25 11:10:35
                  449

                  Chapter 1 Warped Mixture Models “What, exactly, is a cluster?” - Bernhard Schölkopf, personal communication Previous chapters showed how the probabilistic nature of GPs sometimes allows the automatic determination o

                  Add to Reading List

                  Source URL: raw.githubusercontent.com

                    UPDATE