Searched full:inductive (Results 1 – 17 of 17) sorted by relevance
9 // This file provides the interface for the Inductive Range Check Elimination
17 feature a variety of self-capacitive, mutual-inductive and Hall-effect sens-24 vs. mutual-inductive, etc.) is selected based on the device's firmware.
17 additional Hall-effect and inductive sensing capabilities.178 Specifies the inductive sensing excitation frequency as follows (paren-
14 additional Hall-effect and inductive sensing capabilities.394 Specifies the inductive sensing excitation frequency as follows
366 description: Enables the bias voltage for use during inductive sensing.376 3: Inductive
94 /* Single inductive button with bipolar dock/tablet-mode switch. */
133 /// An inductive range check is conditional branch in a loop with a condition223 /// Parse out a set of inductive range checks from \p BI and append them to \p226 /// NB! There may be conditions feeding into \p BI that aren't inductive range683 // this inductive range check is a range check on the "C + D * I" ("C" is in computeSafeIterationSpace()1026 << " inductive range checks: \n"; in run()
491 /// inductive property allows us to simply return the value number of the next
52 // One of the ways to reason about this problem is to use an inductive proof
473 description: Represents the inductive or capacitive button.528 2: Inductive
1493 Jean Vuillemin Inductive Methods for Proving Properties2002 C. William Skinner Heuristic Approach to Inductive
4249 …abstract = "An inductive method for proving things about recursively defined functions is desc…9867 …keywords = "Euclidean algorithm; greatest common divisor; inductive assertion method; integers…11151 title = "Inductive Methods for Proving Properties of Programs",11165 … properties of recursive programs. Discussed in detail are two powerful inductive methods, computa…11171 …utability and decidability; computation induction; computer metatheory; inductive methods; least f…11268 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/inductive.inferen…12133 …tures; data structures; fixpoints; flowcharts; goto statements; graphs; inductive assertion; least…12639 …ive loop predicates from boundary conditions and/or partially specified inductive assertions: (2) …12645 …ems; computer programming; extraction methods; heuristic methods; inductive; inductive assertions;…15087 title = "Heuristic Approach to Inductive Inference in Fact Retrieval Systems",[all …]
1782 // BB's PHIs. This gives us a poor-man's LCSSA with the inductive property in peelPrologAndEpilogs()
1519 /// If given \p PN is an inductive variable with value IVInc coming from the4615 // 1. ScaleReg is an inductive variable; in matchScaledValue()
1375 * Note particular storage is inductive through the end of the current site
2015 anti-inductive51981 self-inductive
93874 inductive