Correctness

Results: 732



#Item
31

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
    32

    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
      33

      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
        34

        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
          35

          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
            36

            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
              37

              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
                38

                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
                  39

                  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
                    40

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

                    Add to Reading List

                    Source URL: pds20.egloos.com

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