Compute!

Results: 1494



#Item
71

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
    72

    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
      73

      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
        74

        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
          75

          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
            76

            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
              77

              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
                78

                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
                  79

                  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
                    80

                    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
                      UPDATE