Compute!

Results: 1494



#Item
71A Design Environment for Addressing Architecture and Compiler Interactions JACK W. DAVIDSON Department of Computer Science, University of Virginia, Charlottesville, VA 22903, U.S.A. DAVID B. WHALLEY Department of Compute

A Design Environment for Addressing Architecture and Compiler Interactions JACK W. DAVIDSON Department of Computer Science, University of Virginia, Charlottesville, VA 22903, U.S.A. DAVID B. WHALLEY Department of Compute

Add to Reading List

Source URL: www.cs.fsu.edu

- Date: 2016-05-22 06:56:48
    72Page 1 Vulkan 1.0 Quick Reference Vulkan® is a graphics and compute API consisting of procedures and functions to specify shader programs, compute kernels, objects,

    Page 1 Vulkan 1.0 Quick Reference Vulkan® is a graphics and compute API consisting of procedures and functions to specify shader programs, compute kernels, objects,

    Add to Reading List

    Source URL: www.khronos.org

    - Date: 2016-12-22 16:55:58
      73A fast polygon inflation algorithm to compute the area of feasible solutions for three-component systems. II: Theoretical foundation, inverse polygon inflation and FAC-PACK implementation Mathias Sawalla , Klaus Neymeyra

      A fast polygon inflation algorithm to compute the area of feasible solutions for three-component systems. II: Theoretical foundation, inverse polygon inflation and FAC-PACK implementation Mathias Sawalla , Klaus Neymeyra

      Add to Reading List

      Source URL: alf.math.uni-rostock.de

      - Date: 2016-12-06 11:03:08
        746 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

        6 June 2016, 16:50 : Submitted to Formal Aspects of Computing From Domain Descriptions to Requirements Prescriptions: A Different Initial Approach to Requirements Engineering Dines Bjørner

        Add to Reading List

        Source URL: www2.compute.dtu.dk

        - Date: 2016-06-07 01:25:17
          75CMS BYOD Guidelines and Procedures for Staff In accordance with our mission, we at the Cooperative Middle School are pleased to be able to offer  our students, staff, and guests access to compute

          CMS BYOD Guidelines and Procedures for Staff In accordance with our mission, we at the Cooperative Middle School are pleased to be able to offer  our students, staff, and guests access to compute

          Add to Reading List

          Source URL: savvy.sau16.org

          - Date: 2015-06-12 10:08:06
            761 1. Introduction How to compute the Area of Feasible Solutions A practical case study and users’ guide to FAC-PACK

            1 1. Introduction How to compute the Area of Feasible Solutions A practical case study and users’ guide to FAC-PACK

            Add to Reading List

            Source URL: alf.math.uni-rostock.de

            - Date: 2016-12-06 11:03:08
              7711 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1

              11 June 2016: 19:02 : to be submitted to Formal Aspects of Computing Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner1

              Add to Reading List

              Source URL: www2.compute.dtu.dk

              - Date: 2016-06-11 13:03:25
                78To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.

                To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs.

                Add to Reading List

                Source URL: www2.compute.dtu.dk

                - Date: 2016-12-09 10:06:07
                  79Compute Some exercises on Multi-layer perceptrons Abstract In this exercise we will study:

                  Compute Some exercises on Multi-layer perceptrons Abstract In this exercise we will study:

                  Add to Reading List

                  Source URL: www.ctr.maths.lu.se

                  - Date: 2013-12-10 12:12:46
                    80Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

                    Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods

                    Add to Reading List

                    Source URL: www2.compute.dtu.dk

                    - Date: 2016-09-28 03:17:34