Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 8 of 8 for proof (0.02 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 Sep 05 12:43:10 UTC 2025
    - Last Modified: Mon Aug 11 19:31:30 UTC 2025
    - 17.8K 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 Sep 05 12:43:10 UTC 2025
    - Last Modified: Thu Jul 17 15:26:41 UTC 2025
    - 29.8K bytes
    - Viewed (0)
  3. 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 Sep 05 12:43:10 UTC 2025
    - Last Modified: Mon Aug 11 22:06:57 UTC 2025
    - 31.1K bytes
    - Viewed (0)
  4. 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 Sep 05 12:43:10 UTC 2025
    - Last Modified: Thu Jul 10 01:47:55 UTC 2025
    - 14.5K bytes
    - Viewed (0)
  5. 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 Sep 09 11:13:09 UTC 2025
    - Last Modified: Tue Aug 05 15:41:37 UTC 2025
    - 26.6K bytes
    - Viewed (0)
  6. cmd/utils.go

    	}
    
    	dst := make(map[string][]byte, len(globalProfiler))
    	for typ, prof := range globalProfiler {
    		// Stop the profiler
    		var err error
    		buf, err := prof.Stop()
    		delete(globalProfiler, typ)
    		if err == nil {
    			dst[typ+"."+prof.Extension()] = buf
    		}
    		for name, buf := range prof.Records() {
    			if len(buf) > 0 {
    				dst[typ+"-"+name+"."+prof.Extension()] = buf
    			}
    		}
    	}
    	return dst, nil
    }
    
    Registered: Sun Sep 07 19:28:11 UTC 2025
    - Last Modified: Fri Aug 29 02:39:48 UTC 2025
    - 33K bytes
    - Viewed (0)
  7. cmd/admin-handlers.go

    		// Start profiling locally as well.
    		prof, err := startProfiler(profiler)
    		if err != nil {
    			hostErrs = append(hostErrs, NotificationPeerErr{
    				Host: *thisAddr,
    				Err:  err,
    			})
    		} else {
    			globalProfiler[profiler] = prof
    			hostErrs = append(hostErrs, NotificationPeerErr{
    				Host: *thisAddr,
    			})
    		}
    	}
    
    Registered: Sun Sep 07 19:28:11 UTC 2025
    - Last Modified: Fri Aug 29 02:39:48 UTC 2025
    - 99.6K bytes
    - Viewed (0)
  8. okhttp/src/jvmMain/resources/okhttp3/internal/publicsuffix/PublicSuffixDatabase.list

    pro.br
    pro.cy
    pro.ec
    pro.fj
    pro.ht
    pro.in
    pro.mv
    pro.om
    pro.pr
    pro.tt
    pro.typeform.com
    pro.vn
    prochowice.pl
    prod
    production.aero
    productions
    prof
    prof.pr
    profesional.bo
    progressive
    project.space
    promo
    properties
    property
    protection
    protonet.io
    pru
    prudential
    pruszkow.pl
    prvcy.page
    przeworsk.pl
    ps
    Registered: Fri Sep 05 11:42:10 UTC 2025
    - Last Modified: Tue May 27 22:00:49 UTC 2025
    - 129.6K bytes
    - Viewed (3)
Back to top