Symbolic

Results: 1438



#Item
51

Symbolic Unfoldings For Networks of Timed Automata Franck Cassez1⋆ , Thomas Chatain2 and Claude Jard3 1 2 3

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2013-07-03 04:01:35
    52

    Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder

    Add to Reading List

    Source URL: dslab.epfl.ch

    Language: English - Date: 2018-08-14 09:29:24
      53

      Motivation A Domain to Infer Symbolic Ranges over Nonnegative Parameters Application to Infer Symbolic Ranges of List Segment Sizes Implementation and Experiments An Abstract Domain to Infer Symbolic Ranges

      Add to Reading List

      Source URL: lqchen.github.io

      Language: English - Date: 2018-08-14 11:59:25
        54

        RECONSTRUCTION OF CONTINUOUS-TIME CHAOTIC TRAJECTORY FROM SYMBOLIC SEQUENCE Alexander S. Dmitriev, Gennady A. Kassian, Lev V. Kuzmin Institute of RadioEngineering and Electronics, Russian Academy of Sciences, Mokhovaya S

        Add to Reading List

        Source URL: www.cplire.ru

        Language: English - Date: 2016-03-21 00:02:44
          55

          Theoretical Computer Science–534 www.elsevier.com/locate/tcs On the robustness of interconnections in random graphs: a symbolic approach 

          Add to Reading List

          Source URL: algo.inria.fr

          Language: English - Date: 2007-05-05 13:16:03
            56

            Representing Europeans In a symbolic gesture toward creating an ever-closer union, the European Union conferred citizenship on everyone who is also a subject of one of its member states. However, the rights of European

            Add to Reading List

            Source URL: www.cspp.strath.ac.uk

            Language: English - Date: 2016-03-10 07:11:18
              57

              Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche

              Add to Reading List

              Source URL: dslab.epfl.ch

              Language: English - Date: 2018-08-14 09:29:24
                58

                Verifying Relative Error Bounds using Symbolic Simulation Jesse Bingham and Joe Leslie-Hurd Intel Corporation, Hillsboro, U.S.A

                Add to Reading List

                Source URL: www.gilith.com

                Language: English - Date: 2017-11-12 23:23:30
                  59

                  The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

                  Add to Reading List

                  Source URL: people.cs.uchicago.edu

                  Language: English - Date: 2009-03-27 12:21:11
                    UPDATE