García

Results: 5221



#Item
141

Skadu: Efficient Vector Shadow Memories for Poly-Scopic Program Analysis Donghwan Jeon*, Saturnino Garcia+, and Michael Bedford Taylor

Add to Reading List

Source URL: cseweb.ucsd.edu

- Date: 2013-03-01 00:11:03
    142

    On Hopefully Intelligible Contributions to Seminar Series and Related Events (aka. This Talk on Kurt Gödel is not a Pearl of Computation) Álvaro García-Pérez

    Add to Reading List

    Source URL: babel.ls.fi.upm.es

    - Date: 2016-05-31 09:35:40
      143

      College of Engineering Administration Dean: Morteza M. Mehrabadi Associate Dean for Graduate Studies and Research: Eugene A. Olevsky Assistant Dean for Student Affairs: Theresa M. Garcia

      Add to Reading List

      Source URL: arweb.sdsu.edu

      - Date: 2017-06-28 18:08:46
        144

        Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira

        Add to Reading List

        Source URL: babel.ls.fi.upm.es

        - Date: 2016-05-31 08:00:52
          145

          FOR IMMEDIATE RELEASE Media Contact: Kari Garcia Public Relations Manager Trojan Battery Company

          Add to Reading List

          Source URL: www.trojanbattery.com

          - Date: 2018-01-22 18:42:57
            146

            Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2016-05-31 08:08:10
              147

              FOR IMMEDIATE RELEASE Media Contact: Kari Garcia Public Relations Manager Trojan Battery Company

              Add to Reading List

              Source URL: www.trojanbattery.com

              - Date: 2017-09-12 12:45:00
                148

                1 Revisiting Online Autotuning for Sparse-Matrix Vector Multiplication Kernels on Next-Generation Architectures Simon Garcia De Gonzalo, Simon D. Hammond, Christian R. Trott, and Wen-Mei Hwu

                Add to Reading List

                Source URL: impact.crhc.illinois.edu

                - Date: 2017-12-15 20:53:35
                  149

                  Kismet: Parallel Speedup Estimates for Serial Programs Donghwan Jeon Saturnino Garcia Chris Louie

                  Add to Reading List

                  Source URL: cseweb.ucsd.edu

                  - Date: 2011-08-22 19:45:52
                    150

                    Deriving Interpretations of the Gradually-Typed Lambda Calculus Álvaro García-Pérez Pablo Nogueira

                    Add to Reading List

                    Source URL: babel.ls.fi.upm.es

                    - Date: 2016-05-31 08:02:48
                      UPDATE