Symbolic

Results: 1438



#Item
131

2 Satisfiability Checking and Symbolic Computation (SC

Add to Reading List

Source URL: computing.coventry.ac.uk

- Date: 2016-07-18 08:02:47
    132

    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
      133

      Symbolic Performance Adaptation Emilio Incerto Mirco Tribastone Catia Trubiani

      Add to Reading List

      Source URL: dl.dropboxusercontent.com

        134

        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
          135

          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
            136

            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
              137

              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
                  139

                  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
                    140

                    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
                      UPDATE