Correctness

Results: 732



#Item
31On the correctness of a branch displacement algorithm⋆ Jaap Boender and Claudio Sacerdoti Coen arXiv:1209.5920v1 [cs.LO] 26 Sep 2012

On the correctness of a branch displacement algorithm⋆ Jaap Boender and Claudio Sacerdoti Coen arXiv:1209.5920v1 [cs.LO] 26 Sep 2012

Add to Reading List

Source URL: www.cs.unibo.it

- Date: 2016-07-28 08:12:43
    32Verified Correctness and Security of mbedTLS HMAC-DRBG Katherine Q. Ye Matthew Green Naphat Sanguansin

    Verified Correctness and Security of mbedTLS HMAC-DRBG Katherine Q. Ye Matthew Green Naphat Sanguansin

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2017-08-28 13:17:59
      33The Economics of Bitcoin Mining, or Bitcoin in the Presence of Adversaries Joshua A. Kroll, Ian C. Davey, and Edward W. Felten Princeton University Abstract The Bitcoin digital currency depends for its correctness and st

      The Economics of Bitcoin Mining, or Bitcoin in the Presence of Adversaries Joshua A. Kroll, Ian C. Davey, and Edward W. Felten Princeton University Abstract The Bitcoin digital currency depends for its correctness and st

      Add to Reading List

      Source URL: www.econinfosec.org

      - Date: 2013-07-10 18:15:54
        34The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing Tyler Akidau, Robert Bradshaw, Craig Chambers, Slava Chernyak, Rafael J. Fern

        The Dataflow Model: A Practical Approach to Balancing Correctness, Latency, and Cost in Massive-Scale, Unbounded, Out-of-Order Data Processing Tyler Akidau, Robert Bradshaw, Craig Chambers, Slava Chernyak, Rafael J. Fern

        Add to Reading List

        Source URL: cs.stanford.edu

        - Date: 2018-03-20 01:55:53
          35Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles

          Proving correctness of a dynamic atomicity analysis in Coq Caitlin Sadowski Jaeheon Yi Kenneth Knowles

          Add to Reading List

          Source URL: kennknowles.com

          - Date: 2014-03-19 14:17:46
            36Empir Software Eng https://doi.orgs10664On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files

            Empir Software Eng https://doi.orgs10664On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files

            Add to Reading List

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

            - Date: 2018-03-13 06:21:03
              37White Noise: The Attack on Political Correctness and the Struggle for the Western Canon

              White Noise: The Attack on Political Correctness and the Struggle for the Western Canon

              Add to Reading List

              Source URL: newlearningonline.com

              - Date: 2013-11-11 14:49:29
                38On Statistically Secure Obfuscation with Approximate Correctness Zvika Brakerski∗1 , Christina Brzuska†‡2 , and Nils Fleischhacker§‡3 1 2

                On Statistically Secure Obfuscation with Approximate Correctness Zvika Brakerski∗1 , Christina Brzuska†‡2 , and Nils Fleischhacker§‡3 1 2

                Add to Reading List

                Source URL: eprint.iacr.org

                - Date: 2016-06-09 08:18:35
                  39On Statistically Secure Obfuscation with Approximate Correctness Zvika Brakerski∗1 , Christina Brzuska†‡2 , and Nils Fleischhacker§‡3 1 2

                  On Statistically Secure Obfuscation with Approximate Correctness Zvika Brakerski∗1 , Christina Brzuska†‡2 , and Nils Fleischhacker§‡3 1 2

                  Add to Reading List

                  Source URL: eprint.iacr.org

                  - Date: 2016-06-09 08:18:35
                    40Focus On 1 인텔 패러럴 스튜디오 2011 속으로! 패러럴 어드바이저의 정확성 분석 (Correctness analysis)

                    Focus On 1 인텔 패러럴 스튜디오 2011 속으로! 패러럴 어드바이저의 정확성 분석 (Correctness analysis)

                    Add to Reading List

                    Source URL: pds20.egloos.com

                    - Date: 2010-12-28 23:07:55