Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 10 of 23 for proof (0.15 sec)

  1. .github/ISSUE_TEMPLATE/02-pkgsite-removal.yml

          description: |
            Only the package owners can request to have their packages removed from pkg.go.dev.
            If the package path doesn't include your github username, please provide some other form of proof of ownership.
        validations:
          required: true
      - type: textarea
        id: retraction-reason
        attributes:
          label: "What is the reason that you could not retract this package instead?"
          description: |
    Others
    - Registered: Tue Apr 30 11:13:12 GMT 2024
    - Last Modified: Thu Jan 04 23:31:17 GMT 2024
    - 1.9K bytes
    - Viewed (0)
  2. 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);
      }
    
    Java
    - Registered: Fri Apr 26 12:43:10 GMT 2024
    - Last Modified: Thu Feb 15 16:12:13 GMT 2024
    - 17.6K bytes
    - Viewed (0)
  3. 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
    Java
    - Registered: Fri Apr 26 12:43:10 GMT 2024
    - Last Modified: Tue Apr 09 00:37:15 GMT 2024
    - 29.2K bytes
    - Viewed (0)
  4. 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")
    Java
    - Registered: Fri Apr 05 12:43:09 GMT 2024
    - Last Modified: Mon Apr 01 16:15:01 GMT 2024
    - 14.1K bytes
    - Viewed (0)
  5. 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")
    Java
    - Registered: Fri Apr 26 12:43:10 GMT 2024
    - Last Modified: Wed Apr 24 01:41:50 GMT 2024
    - 14.1K bytes
    - Viewed (0)
  6. 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
    HTML
    - Registered: Tue Apr 30 11:13:12 GMT 2024
    - Last Modified: Mon Mar 04 15:54:42 GMT 2024
    - 26.6K bytes
    - Viewed (0)
  7. 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) {
    Go
    - Registered: Sun Apr 28 19:28:10 GMT 2024
    - Last Modified: Wed Apr 24 04:08:47 GMT 2024
    - 31.3K bytes
    - Viewed (0)
  8. okhttp-android/src/main/baseline-prof.txt

    Yuri Schimke <******@****.***> 1647861720 +0000
    Plain Text
    - Registered: Fri Apr 26 11:42:10 GMT 2024
    - Last Modified: Mon Mar 21 11:22:00 GMT 2022
    - 127.9K bytes
    - Viewed (0)
  9. maven-api-impl/src/test/java/org/apache/maven/internal/impl/DefaultSettingsValidatorTest.java

            assertTrue(msg.contains(substring), "\"" + substring + "\" was not found in: " + msg);
        }
    
        @Test
        void testValidate() {
            Profile prof = Profile.newBuilder().id("xxx").build();
            Settings model = Settings.newBuilder().profiles(List.of(prof)).build();
            List<BuilderProblem> problems = validator.validate(model);
            assertEquals(0, problems.size());
    
    Java
    - Registered: Sun Apr 28 03:35:10 GMT 2024
    - Last Modified: Mon Mar 25 10:50:01 GMT 2024
    - 8.6K bytes
    - Viewed (0)
  10. operator/cmd/mesh/profile-list_test.go

    	}
    	output := out.String()
    	expectedProfiles := []string{"default", "demo", "empty", "minimal", "openshift", "preview", "remote", "external"}
    	for _, prof := range expectedProfiles {
    		g.Expect(output).To(ContainSubstring(prof))
    	}
    Go
    - Registered: Wed Mar 20 22:53:08 GMT 2024
    - Last Modified: Tue Oct 31 14:48:28 GMT 2023
    - 1.5K bytes
    - Viewed (0)
Back to top