Symbolic

Results: 1438



#Item
71Looking from the library toward the sea. Faculty residential area to the right. In center, the forested area, Cuckoo’s Hill, is where the 1993 murder victim was buried. The symbolic footprint on the Three Selves wall S

Looking from the library toward the sea. Faculty residential area to the right. In center, the forested area, Cuckoo’s Hill, is where the 1993 murder victim was buried. The symbolic footprint on the Three Selves wall S

Add to Reading List

Source URL: www.agelastos.com

- Date: 2007-10-04 08:50:33
    72The European Union: Too much democracy, too little or both? Veröffentlicht am 30. November 2015 von Abteilung By Richard Rose In a symbolic gesture toward creating an ever closer Union, the European Union

    The European Union: Too much democracy, too little or both? Veröffentlicht am 30. November 2015 von Abteilung By Richard Rose In a symbolic gesture toward creating an ever closer Union, the European Union

    Add to Reading List

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

    Language: English - Date: 2015-12-02 06:41:36
      73Phil 315: Applied Symbolic LogicInstructor: Ben Levinstein Email:

      Phil 315: Applied Symbolic LogicInstructor: Ben Levinstein Email:

      Add to Reading List

      Source URL: www.levinstein.org

      Language: English - Date: 2012-11-08 12:09:39
        74SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

        SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2013-12-12 08:42:01
          75Valerie Elverton Dixon June 26, 2009 Demigods When individual lives become symbolic, when they absorb into themselves human meaning that helps us see, feel know ourselves more deeply, those lives are heroic. These people

          Valerie Elverton Dixon June 26, 2009 Demigods When individual lives become symbolic, when they absorb into themselves human meaning that helps us see, feel know ourselves more deeply, those lives are heroic. These people

          Add to Reading List

          Source URL: justpeacetheory.com

          Language: English - Date: 2009-06-26 23:50:03
            76A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

            A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

            Add to Reading List

            Source URL: webblaze.cs.berkeley.edu

            Language: English - Date: 2014-11-17 18:57:29
              77Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

              Form Methods Syst Des DOIs10703y Computable fixpoints in well-structured symbolic model checking N. Bertrand · P. Schnoebelen

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2013-09-13 06:05:42
                78Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bod´ık Computer Science and Engineering, University of Washington, Seattle, Washington, USA We present S

                Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bod´ık Computer Science and Engineering, University of Washington, Seattle, Washington, USA We present S

                Add to Reading List

                Source URL: formal.epfl.ch

                Language: English - Date: 2016-07-13 09:43:24
                  79High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                  High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                  Add to Reading List

                  Source URL: cs.uwaterloo.ca

                  Language: English - Date: 2015-10-14 23:46:34
                    80SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania

                    SymNet: scalable symbolic execution for modern networks Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest Splaiul Independentei 313, Bucharest, Romania

                    Add to Reading List

                    Source URL: nets.cs.pub.ro

                    Language: English - Date: 2016-07-20 11:18:40