Symbolic

Results: 1438



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

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
    52Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder

    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
      53Motivation 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

      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
        54RECONSTRUCTION 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

        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
          55Theoretical Computer Science–534 www.elsevier.com/locate/tcs On the robustness of interconnections in random graphs: a symbolic approach 

          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
            56Representing 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

            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
              57Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche

              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
                58Verifying Relative Error Bounds using Symbolic Simulation Jesse Bingham and Joe Leslie-Hurd Intel Corporation, Hillsboro, U.S.A

                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
                  59The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

                  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