Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 5 of 5 for proof (0.01 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. 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)
  3. 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)
  4. 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)
  5. 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)
Back to top