Symbolic

Results: 1438



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

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
    92Supplementary Material for Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis 1 Pankajan Chanthirasegaran 2 Pushmeet Kohli 3 Charles SuttonSynthetic Expression Datasets

    Supplementary Material for Learning Continuous Semantic Representations of Symbolic Expressions Miltiadis Allamanis 1 Pankajan Chanthirasegaran 2 Pushmeet Kohli 3 Charles SuttonSynthetic Expression Datasets

    Add to Reading List

    Source URL: proceedings.mlr.press

    - Date: 2018-02-06 15:06:57
      93PARALLEL SYMBOLIC FACTORIZATION FOR SPARSE LU WITH STATIC PIVOTING L. GRIGORI1 1 J.W. DEMMEL2

      PARALLEL SYMBOLIC FACTORIZATION FOR SPARSE LU WITH STATIC PIVOTING L. GRIGORI1 1 J.W. DEMMEL2

      Add to Reading List

      Source URL: crd-legacy.lbl.gov

      - Date: 2007-08-17 21:51:18
        94Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing Timotej Kapus Cristian Cadar

        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
          951 First Steps This introductory chapter presents the way the Sage mathematical system thinks. The next chapters of this first part develop the basic notions: how to make symbolic or numerical computations in analysis, h

          1 First Steps This introductory chapter presents the way the Sage mathematical system thinks. The next chapters of this first part develop the basic notions: how to make symbolic or numerical computations in analysis, h

          Add to Reading List

          Source URL: members.loria.fr

          - Date: 2018-03-13 12:27:01
            96Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

            Toward a High-performance System for Symbolic and Statistical Modeling Neng-Fa Zhou Department of Computer Science Brooklyn College & Graduate Center The City University of New York

            Add to Reading List

            Source URL: www.sci.brooklyn.cuny.edu

            - Date: 2003-04-29 19:30:12
              97Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

              Contraction-Free Sequent Calculi for Intuitionistic Logic Author(s): Roy Dyckhoff Source: The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), ppPublished by: Association for Symbolic Logic Stable URL:

              Add to Reading List

              Source URL: rd.host.cs.st-andrews.ac.uk

              - Date: 2008-04-13 07:08:42
                98AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

                AEIcs.SCA field-theory motivated approach to symbolic computer algebra Kasper Peeters

                Add to Reading List

                Source URL: cadabra.science

                - Date: 2017-03-01 04:56:20
                  99Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                  Chopped Symbolic Execution David Trabish Andrea Mattavelli Noam Rinetzky

                  Add to Reading List

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

                  - Date: 2018-02-19 14:22:13
                    100CGO: G: Decoupling Symbolic from Numeric in Sparse Matrix Computations Kazem Cheshmi PhD Student, Rutgers University

                    CGO: G: Decoupling Symbolic from Numeric in Sparse Matrix Computations Kazem Cheshmi PhD Student, Rutgers University

                    Add to Reading List

                    Source URL: src.acm.org

                    - Date: 2017-05-25 14:09:20