Checking

Results: 4283



#Item
551Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute

Add to Reading List

Source URL: www.cs.rpi.edu

Language: English - Date: 2012-04-20 15:22:35
    552GAIN: GPU-based Constraint Checking for Context Consistency Jun Sui† , Chang Xu∗‡ , Wang Xi, Yanyan Jiang, Chun Cao‡ , Xiaoxin Ma‡ , Jian Lu‡ State Key Laboratory for Novel Software Technology, Nanjing Univer

    GAIN: GPU-based Constraint Checking for Context Consistency Jun Sui† , Chang Xu∗‡ , Wang Xi, Yanyan Jiang, Chun Cao‡ , Xiaoxin Ma‡ , Jian Lu‡ State Key Laboratory for Novel Software Technology, Nanjing Univer

    Add to Reading List

    Source URL: cs.nju.edu.cn

    Language: English - Date: 2016-05-06 10:15:53
      553Digital Spell-Checking May Be Killing Off Words | Dyingof 8 Follow Us:

      Digital Spell-Checking May Be Killing Off Words | Dyingof 8 Follow Us:

      Add to Reading List

      Source URL: havlin.biu.ac.il

      Language: English - Date: 2012-10-19 02:53:54
        554Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

        Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

        Add to Reading List

        Source URL: se.inf.ethz.ch

        Language: English - Date: 2014-09-01 11:29:33
        555Instructions To receive your revenue/royalty payments directly into your checking or savings account:  Complete and sign this application  Enclose an original voided check from your account or an original document

        Instructions To receive your revenue/royalty payments directly into your checking or savings account:  Complete and sign this application  Enclose an original voided check from your account or an original document

        Add to Reading List

        Source URL: secure.pds-austin.com

        Language: English - Date: 2013-03-12 12:03:59
          556Fast and Flexible Proof Checking for SMT Duckki Oe Andrew Reynolds Aaron Stump Computer Science, The University of Iowa, USA

          Fast and Flexible Proof Checking for SMT Duckki Oe Andrew Reynolds Aaron Stump Computer Science, The University of Iowa, USA

          Add to Reading List

          Source URL: lara.epfl.ch

          Language: English - Date: 2012-05-01 17:48:58
            557Authorization Agreement for Preauthorized Electronic Payments I hereby authorize the City of Salida to initiate debit entries to my Checking/Savings account indicated below at the depository (Bank or Credit Union) named

            Authorization Agreement for Preauthorized Electronic Payments I hereby authorize the City of Salida to initiate debit entries to my Checking/Savings account indicated below at the depository (Bank or Credit Union) named

            Add to Reading List

            Source URL: cityofsalida.com

            Language: English - Date: 2014-12-12 18:53:47
            558MediaConch Implementation and policy checking on FFV1, Matroska, LPCM, and more Jérôme Martinez MediaArea.net SARL

            MediaConch Implementation and policy checking on FFV1, Matroska, LPCM, and more Jérôme Martinez MediaArea.net SARL

            Add to Reading List

            Source URL: opensourceworkshop.preforma-project.eu

            - Date: 2016-04-15 02:56:28
              559ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

              ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova

              Add to Reading List

              Source URL: www.cs.rpi.edu

              Language: English - Date: 2012-09-30 23:03:06
                560Linkurious Starter End User License Agreement GENERAL TERMS BY CHECKING THE ACCEPTANCE BOX OR INSTALLING OR USING ALL OR ANY PORTION OF THE SOFTWARE, YOU ARE ACCEPTING ALL OF THE TERMS AND CONDITIONS OF THIS AGREEMENT AN

                Linkurious Starter End User License Agreement GENERAL TERMS BY CHECKING THE ACCEPTANCE BOX OR INSTALLING OR USING ALL OR ANY PORTION OF THE SOFTWARE, YOU ARE ACCEPTING ALL OF THE TERMS AND CONDITIONS OF THIS AGREEMENT AN

                Add to Reading List

                Source URL: linkurio.us

                Language: English - Date: 2015-04-30 12:23:43