Searched refs:differs (Results 1 - 19 of 19) sorted by relevance

/barrelfish-master/lib/libc/posix1e/
H A Dacl_strip.c170 int differs; local
204 differs = _acl_differs(aclp, tmpacl);
207 if (differs == 0) {
219 differs = _acl_differs(aclp, tmpacl);
222 if (differs)
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Ddfid.pl67 * (or rules which have only simple subgoals). This differs slightly
H A Delipsys.pl978 % differs from the commonly accepted definition of maplist/3.
H A Dquintus.pl93 differs substantially. The meta-predicates very likely have
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dmakerefs.pl44 % txtbip* and biptxt* differs in what gets put into the index:
H A Dumscompiler.tex499 construct when used as a directive (include semantics) differs slightly
H A Dexthsusp.tex1259 A demon goal differs from a normal goal only in its behaviour on
/barrelfish-master/doc/015-disk-driver-arch/
H A Dflounder-ahci.tex18 i.e. marshalling, packaging and transmission. Our backend differs in that it
/barrelfish-master/doc/019-device-drivers/
H A DDeviceDriver.tex334 This means that right now, the way Kaluga finds the available devices differs
363 provide this permissions currently differs between x86 and ARM. Unifying this
462 On ARM the situation differs compared to x86. There is currently no
464 integrate ARM differs from platform to platform. We also have no support for
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dknowbase-sec.tex547 differs from {\bf isdr/1} by expanding deductive clauses
550 the {\bf expand/2} differs from {\bf isdr/2} by
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic_probing_for_scheduling.pl298 Probing for scheduling differs radically from the cumulative constraint
H A Dprobing_for_scheduling.pl298 Probing for scheduling differs radically from the cumulative constraint
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dconstimpl.tex603 A demon goal differs from a normal goal only in its behaviour on
H A Dhybrid.tex499 pair of values differs by at least $2$.
/barrelfish-master/doc/022-armv8/
H A Dreport.tex944 This differs from the behaviour of a system such as UNIX, which only ever
963 is problematic. ARMv8 differs from ARMv7, in that the program counter can no
/barrelfish-master/doc/017-arm/
H A DARM.tex730 The boot up protocol for the multi-core port differs in various ways
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dgfd.tex861 predicate differs in the way the allowable values are specified.
/barrelfish-master/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex2417 choosing a value for a variable that differs from its tentative value.
/barrelfish-master/lib/tommath/
H A Dtommath.tex2175 This algorithm multiplies an mp\_int by the $b$'th power of $x$. This is equivalent to multiplying by $\beta^b$. The algorithm differs
2559 Algorithm s\_mp\_mul\_digs differs from these cited references since it can produce a variable output precision regardless of the precision of the
5491 The implementation of this algorithm differs slightly from the pseudo code presented previously. In this algorithm either of the quotient $c$ or

Completed in 205 milliseconds