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
103 /* Single inductive button with bipolar dock/tablet-mode switch. */
473 description: Represents the inductive or capacitive button.528 2: Inductive
135 /// An inductive range check is conditional branch in a loop with231 /// Parse out a set of inductive range checks from \p BI and append them to \p234 /// NB! There may be conditions feeding into \p BI that aren't inductive range667 // this inductive range check is a range check on the "C + D * I" ("C" is1002 << " inductive range checks: \n"; in parseLoopStructure()
576 /// 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
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 …]
1763 // BB's PHIs. This gives us a poor-man's LCSSA with the inductive property in peelPrologAndEpilogs()
1517 /// If given \p PN is an inductive variable with value IVInc coming from the4279 // 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