Transformations

Results: 1247



#Item
71

VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Add to Reading List

Source URL: www.sci.unich.it

- Date: 2014-01-22 12:57:06
    72

    Synthesizing Data Structure Transformations from Input-Output Examples ∗ John Feser Swarat Chaudhuri

    Add to Reading List

    Source URL: www.cs.utexas.edu

    - Date: 2015-04-23 11:27:37
      73

      A visual token-based formalization of BPMN 2.0 based on in-place transformations Pieter Van Gorp∗, Remco Dijkman Eindhoven University of Technology, PO Box 513, 5600 MB Eindhoven, The Netherlands Abstract

      Add to Reading List

      Source URL: is.ieis.tue.nl

      - Date: 2012-09-04 03:49:14
        74

        APR-JUNQuarterly The Proofpoint Quarterly Threat Summary captures threats, trends and transformations we see within our customer base and in the

        Add to Reading List

        Source URL: www.proofpoint.com

        - Date: 2016-07-22 17:31:05
          75

          Effect-Dependent Transformations for Concurrent Programs Abstract free variables. The possible interaction points between e and its environment are restricted to initial states and parameter values,

          Add to Reading List

          Source URL: nigam.info

          - Date: 2016-05-07 12:11:53
            76

            Kuta Software - Infinite Geometry Name___________________________________ All Transformations

            Add to Reading List

            Source URL: cdn.kutasoftware.com

            - Date: 2014-05-02 15:43:06
              77

              Verified Integrity Properties for Safe Approximate Program Transformations Michael Carbin Deokhwan Kim

              Add to Reading List

              Source URL: people.csail.mit.edu

              - Date: 2013-03-12 19:15:48
                78

                Weakly-supervised Disentangling with Recurrent Transformations for 3D View Synthesis Jimei Yang1,3 Scott Reed2

                Add to Reading List

                Source URL: arxiv.org

                - Date: 2016-01-05 20:33:46
                  79

                  Generic Representations of Tree Transformations Jeroen Bransen Jos´e Pedro Magalh˜aes Department of Information and Computing Sciences,

                  Add to Reading List

                  Source URL: dreixel.net

                  - Date: 2015-07-26 08:12:25
                    80

                    Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements Transformations to Analysis Models — Companion Document

                    Add to Reading List

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

                    - Date: 2016-07-29 07:43:56
                      UPDATE