DCS

Results: 1966



#Item
111Clock-directed Modular Code Generation from Synchronous Block Diagrams Dariusz Biernacki Jean-Louis Colaco ∗

Clock-directed Modular Code Generation from Synchronous Block Diagrams Dariusz Biernacki Jean-Louis Colaco ∗

Add to Reading List

Source URL: www-fp.dcs.st-and.ac.uk

- Date: 2007-12-19 12:10:37
    112Copyright is held by the author/owner(s). CHI 2006, April 22–27, 2006, Montréal, Québec, Canada. ACMwww.tactons.org

    Copyright is held by the author/owner(s). CHI 2006, April 22–27, 2006, Montréal, Québec, Canada. ACMwww.tactons.org

    Add to Reading List

    Source URL: www.dcs.gla.ac.uk

    - Date: 2006-03-09 09:06:41
      113A SAT based algorithm for the matching problem in bigraphs with sharing Michele Sevegnani, Chris Unsworth, and Muffy Calder Department of Computing Science, University of Glasgow, UK {michele,chrisu,muffy}@dcs.gla.ac.uk

      A SAT based algorithm for the matching problem in bigraphs with sharing Michele Sevegnani, Chris Unsworth, and Muffy Calder Department of Computing Science, University of Glasgow, UK {michele,chrisu,muffy}@dcs.gla.ac.uk

      Add to Reading List

      Source URL: www.dcs.gla.ac.uk

      - Date: 2010-05-25 10:29:13
        114Typechecking a Multithreaded Functional Language with Session Types ? Vasco T. Vasconcelos Departamento de Inform´ atica, Faculdade de Ciˆencias, Universidade de Lisboa, Lisboa, Portugal

        Typechecking a Multithreaded Functional Language with Session Types ? Vasco T. Vasconcelos Departamento de Inform´ atica, Faculdade de Ciˆencias, Universidade de Lisboa, Lisboa, Portugal

        Add to Reading List

        Source URL: www.dcs.gla.ac.uk

        - Date: 2006-11-13 04:46:43
          115Mobile Crossmodal Auditory and Tactile Displays Eve Hoggan and Stephen Brewster Abstract

          Mobile Crossmodal Auditory and Tactile Displays Eve Hoggan and Stephen Brewster Abstract

          Add to Reading List

          Source URL: www.dcs.gla.ac.uk

          - Date: 2006-10-05 04:50:39
            116Handbuch Digitrax DCS 50 ’Zephyr’ Version

            Handbuch Digitrax DCS 50 ’Zephyr’ Version

            Add to Reading List

            Source URL: zephyr.thwoditsch.de

            - Date: 2006-11-07 17:59:17
              117AIMS Born-Digital Collections: An Inter-Institutional Model for Stewardship January 2012 University of Hull Stanford University

              AIMS Born-Digital Collections: An Inter-Institutional Model for Stewardship January 2012 University of Hull Stanford University

              Add to Reading List

              Source URL: dcs.library.virginia.edu

              - Date: 2015-02-16 14:11:40
                118Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

                Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

                Add to Reading List

                Source URL: www.cs.bham.ac.uk

                - Date: 2002-08-05 10:38:10
                  119Typechecking Protocols with Mungo and StMungo Dimitrios Kouzapas Ornela Dardha Roly Perera

                  Typechecking Protocols with Mungo and StMungo Dimitrios Kouzapas Ornela Dardha Roly Perera

                  Add to Reading List

                  Source URL: www.dcs.gla.ac.uk

                  - Date: 2016-07-19 08:44:23
                    120Mapping Information to Audio and Tactile Icons Eve Hoggan1,2, Roope Raisamo2 and Stephen Brewster1 1 Glasgow Interactive Systems Group

                    Mapping Information to Audio and Tactile Icons Eve Hoggan1,2, Roope Raisamo2 and Stephen Brewster1 1 Glasgow Interactive Systems Group

                    Add to Reading List

                    Source URL: www.dcs.gla.ac.uk

                    - Date: 2009-08-25 07:34:13