Semantics

Results: 7371



#Item
301

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels? Peter Collingbourne1?? Alastair F. Donaldson1 Jeroen Ketema1 Shaz Qadeer2 1 Imperial College London

Add to Reading List

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

- Date: 2013-01-20 10:20:30
    302

    Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

    Add to Reading List

    Source URL: www2.tcs.ifi.lmu.de

    - Date: 2011-09-19 12:59:27
      303

      Delft University of Technology Software Engineering Research Group Technical Report Series DynSem: A DSL for Dynamic Semantics Specification

      Add to Reading List

      Source URL: swerl.tudelft.nl

      - Date: 2015-05-01 11:23:13
        304

        The Integrated PSOA RuleML for Interoperating SQL Relations and SPARQL Graphs Harold Boley, Faculty of Computer Science, University of New Brunswick, Canada The 6th Atlantic Workshop on Semantics and Services (AWoSS 2015

        Add to Reading List

        Source URL: www.cs.unb.ca

        - Date: 2015-12-08 22:25:52
          305

          The semantics of the canonical commutation relation B. Zilber March 15,

          Add to Reading List

          Source URL: people.maths.ox.ac.uk

          - Date: 2016-03-15 07:50:33
            306

            The Power Of Semantics | Personal Protection Systems

            Add to Reading List

            Source URL: www.noquarterjkd.com

            - Date: 2010-06-02 14:33:42
              307

              Refining the Semantics of Lexical Rules David Lahm, University of FrankfurtIntroduction

              Add to Reading List

              Source URL: nlp.ipipan.waw.pl

              - Date: 2016-06-22 13:49:30
                308

                Formalizing An Extensional Semantics for Units-of-Measure

                Add to Reading List

                Source URL: www.cis.upenn.edu

                - Date: 2008-10-15 15:02:54
                  309

                  2nd Call for Papers MTSR 2015: 9th Metadata and Semantics Research Conference September 9-11, 2015 Manchester Metropolitan University, Manchester, United Kingdom http://www.mtsr-conf.org/ Dear Colleagues,

                  Add to Reading List

                  Source URL: www.mtsr-conf.org

                  - Date: 2015-04-26 09:40:17
                    310

                    Alignment-Based Compositional Semantics for Instruction Following Jacob Andreas and Dan Klein Computer Science Division University of California, Berkeley {jda,klein}@cs.berkeley.edu

                    Add to Reading List

                    Source URL: nlp.cs.berkeley.edu

                    - Date: 2016-06-23 03:25:05
                      UPDATE