Symbolic

Results: 1438



#Item
1312 Satisfiability Checking and Symbolic Computation (SC

2 Satisfiability Checking and Symbolic Computation (SC

Add to Reading List

Source URL: computing.coventry.ac.uk

- Date: 2016-07-18 08:02:47
    132Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

    Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    - Date: 2014-09-13 07:14:29
      133Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

      Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

        134Automatic Software Verification Lecture 5 Symbolic vs. Concrete Testing

        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
          135SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

          SMT-based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2014-08-20 17:05:42
            136High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperial.ac.uk

            High-Coverage Symbolic Patch Testing Paul Dan Marinescu and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {p.marinescu, c.cadar}@imperial.ac.uk

            Add to Reading List

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

            - Date: 2014-09-17 17:10:55
              137Computationally Sound Symbolic Analysis of Anonymity in the Presence of Active Adversaries Yusuke Kawamoto1 and Hideki Sakurada2 1

              Computationally Sound Symbolic Analysis of Anonymity in the Presence of Active Adversaries Yusuke Kawamoto1 and Hideki Sakurada2 1

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2014-09-13 07:14:15
                138

                GUIDELINES FOR QUANTITATIVE SKILLS COURSES RATIONALE An increasingly technological society demands quantitative skills which go well beyond symbolic manipulations learned by rote. Our students should have:

                Add to Reading List

                Source URL: thecollege.syr.edu

                - Date: 2014-12-01 14:25:24
                  139SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

                  SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)

                  Add to Reading List

                  Source URL: staff.bath.ac.uk

                  - Date: 2016-08-04 10:46:26
                    140Conditional generative adversarial nets for convolutional face generation Jon Gauthier Symbolic Systems Program, Natural Language Processing Group Stanford University

                    Conditional generative adversarial nets for convolutional face generation Jon Gauthier Symbolic Systems Program, Natural Language Processing Group Stanford University

                    Add to Reading List

                    Source URL: www.foldl.me

                    - Date: 2016-11-30 18:29:59