Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 6 of 6 for proof (0.05 sec)

  1. android/guava/src/com/google/common/primitives/UnsignedLongs.java

         * guaranteed to be either exact or one less than the correct value. This follows from fact that
         * floor(floor(x)/i) == floor(x/i) for any real x and integer i != 0. The proof is not quite
         * trivial.
         */
        long quotient = ((dividend >>> 1) / divisor) << 1;
        long rem = dividend - quotient * divisor;
        return quotient + (compare(rem, divisor) >= 0 ? 1 : 0);
      }
    
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Mon Aug 12 21:04:48 UTC 2024
    - 17.6K bytes
    - Viewed (0)
  2. android/guava/src/com/google/common/hash/Hashing.java

       * MD5 (128 hash bits) hash function and the given secret key.
       *
       * <p>If you are designing a new system that needs HMAC, prefer {@link #hmacSha256} or other
       * future-proof algorithms <a
       * href="https://datatracker.ietf.org/doc/html/rfc6151#section-2.3">over {@code hmacMd5}</a>.
       *
       * @param key the secret key
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Fri Jul 19 16:02:36 UTC 2024
    - 29.3K bytes
    - Viewed (0)
  3. android/guava/src/com/google/common/base/Equivalence.java

            Wrapper<?> that = (Wrapper<?>) obj; // note: not necessarily a Wrapper<T>
    
            if (this.equivalence.equals(that.equivalence)) {
              /*
               * We'll accept that as sufficient "proof" that either equivalence should be able to
               * handle either reference, so it's safe to circumvent compile-time type checking.
               */
              @SuppressWarnings("unchecked")
    Registered: Fri Nov 01 12:43:10 UTC 2024
    - Last Modified: Thu May 16 14:34:47 UTC 2024
    - 13.8K bytes
    - Viewed (0)
  4. doc/go_mem.html

    meaning it has no program executions with read-write or write-write data races,
    can only have outcomes explained by some sequentially consistent interleaving
    of the goroutine executions.
    (The proof is the same as Section 7 of Boehm and Adve's paper cited above.)
    This property is called DRF-SC.
    </p>
    
    <p>
    The intent of the formal definition is to match
    the DRF-SC guarantee provided to race-free programs
    Registered: Tue Nov 05 11:13:11 UTC 2024
    - Last Modified: Mon Mar 04 15:54:42 UTC 2024
    - 26.6K bytes
    - Viewed (0)
  5. cmd/utils.go

    		}
    	case madmin.ProfilerThreads:
    		prof.record("threadcreate", 0, "before")
    		prof.stopFn = func() ([]byte, error) {
    			var buf bytes.Buffer
    			err := pprof.Lookup("threadcreate").WriteTo(&buf, 0)
    			return buf.Bytes(), err
    		}
    	case madmin.ProfilerGoroutines:
    		prof.ext = "txt"
    		prof.record("goroutine", 1, "before")
    		prof.record("goroutine", 2, "before,debug=2")
    		prof.stopFn = func() ([]byte, error) {
    Registered: Sun Nov 03 19:28:11 UTC 2024
    - Last Modified: Tue Aug 13 22:22:04 UTC 2024
    - 31.9K bytes
    - Viewed (0)
  6. okhttp/src/main/resources/okhttp3/internal/publicsuffix/PublicSuffixDatabase.gz

    priv.instances.scw.cloud priv.me priv.no priv.pl privatelink.snowflake.app privatizehealthinsur.net pro pro.az pro.br pro.cy pro.ec pro.fj pro.ht pro.in pro.mv pro.na pro.om pro.pr pro.tt pro.typeform.com pro.vn prochowice.pl prod production.aero productions prof prof.pr profesional.bo progressive project.museum promo properties property protection protonet.io pru prudential pruszkow.pl prvcy.page przeworsk.pl ps psc.br psi.br psp.gov.pl psse.gov.pl pstmn.io pt pt.eu.org pt.it pu.it pub pub.instances.scw.cloud...
    Registered: Fri Nov 01 11:42:11 UTC 2024
    - Last Modified: Wed Dec 20 23:27:07 UTC 2023
    - 40.4K bytes
    - Viewed (1)
Back to top