Searched refs:In (Results 126 - 150 of 214) sorted by relevance

123456789

/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembjava.tex67 QuickTest.java} works. In the other sections of the document you will
221 There are a number of classes which implement these interfaces. In the case
224 classes varies from class to class. In the case of {\it EmbeddedEclipse}
233 interface} or {\it EclipseEngine} \index{EclipseEngine interface}. In the
239 In order to clean up, after the Java program has finished interacting
243 interfaces. In the case of {\tt QuickTest.java}, termination is done
337 In this example we use an {\it CompoundTermImpl} constructor whose
466 \ref{sec:ji-atoms-and-terms}). In this case the term becomes the
509 In the returned {\it CompoundTerm} instantiated variables are replaced
620 In th
[all...]
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex70 \item In FD, numeric domains are more or less limited to
73 integer overflow problems). In IC there is no limit as such, and
146 In contrast, RIA will fail with a type error if bounded reals are used in
181 which overlap each other. In such a case, one cannot know whether the true
197 In order to ensure the soundness of the results it produces, the IC
464 In order to get the desired functionality, one must wrap the variable
666 %In any event, the default can be overridden on any given call by explicitly
771 \paragraph{Reified variable is bound to 0} In the event that the reified
775 \paragraph{Reified variable is bound to 1} In the event that the reified
936 propagation for efficiency reasons. In I
[all...]
H A Dextconjunto.tex292 In the second example an additional constraint restricts the cardinality of
508 \item Constraining the variables. In the above example the constraint
512 In the set case it would not be very efficient to select one value for
523 either the goal succeeds or it fails. In case of failure the labeling
526 element to its lower bound. In the \verb/subset-sum/ example the
726 elements) the transformation to a list is convenient. In fact
835 In the same way, the upper bound of the first set might not be
/barrelfish-master/usr/skb/programs/
H A Dirq_routing_new.pl159 (for(I,1,Len), fromto(0,In,Out,NumT), param(W) do
160 Out = W[I] * 2^(I-1) + In),
230 % In systems without an IOMMU, the translation from memory
319 % Constraint In and OutRange.
1004 findall( controller(CtrlLbl, CtrlClass, In, Out), controller(CtrlLbl, CtrlClass, In, Out), CtrlLi),
1006 % In Connections
H A Ddevice_db.pl248 % TODO: In future use ApicId to select cpu driver that has listed the correct
/barrelfish-master/doc/017-arm/
H A DARM.tex178 GEM5 is a large system and may take some time to build. In addition,
257 space for mapping kernel devices. In practice, the CPU does not need
267 In particular, the CPU driver assumes that all physical RAM is mapped
410 the processor was in \mode{User} or not when the trap happened. In most
664 ARM. In the following we will list some features of GEM5.
667 In-Order and O3. The first two are simple one-cycle-per-instruction
700 kernel on ARMv7-a. In subsequent sections we will go more into details
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumscompiler.tex49 predicate. In practice it is best to compile modules as a whole, since
55 In addition, compiled code can be output to a file ({\eclipse}
166 at which clauses can be typed in. In this case, input must be
355 In the absence of module-directives
376 module name. In rare cases, it may make sense to have an auxiliary
487 In rare cases it can make sense to split a single module into several
606 In earlier releases of {\eclipse} this was done using the
612 from source. In {\eclipse} 6.0, {\eclipse} object files are text files
1182 In fact, the compiler normalises multiple clause predicates into
H A Dextmeta.tex35 In the literature, attributed variables are sometimes referred to as
45 In particular, it allows the system's behaviour
47 In most situations an attributed variable behaves like a normal
281 In case of success, suspension lists inside the attributes may need to
583 In this case, we form the intersection between the two lists
H A Dumsarith.tex149 wherever possible. In particular, dividing two integers then yields a precise
210 In this case, the arithmetic comparisons leave a (ground) delayed goal
337 Caution: In {\eclipse} versions up to 5.8, \notation{mod} was the
393 In fact it works for all atoms and compound terms.
439 In order to enable efficient compilation of arithmetic expressions,
H A Dumsintro.tex58 In terms of implementation technology, {\eclipse} is built around an
279 %%In addition to the usual {\it negation by failure},
393 In order to make {\eclipse} as useful and reliable as possible,
H A Dumsio.tex107 In a stand-alone {\eclipse} stdin, stdout and stderr are connected
109 In an embedded {\eclipse}, the meaning of stdin, stdout and
317 %open a UNIX pipe, i.e., two streams, {\it In} for reading and {\it Out}
523 In particular, one line of input can be read as follows:
786 \section{In-memory Streams}
797 In {\eclipse} it is possible to associate a stream with a Prolog string
819 In particular the predicates
885 In the example we have chosen the same name for the stream and for the
H A Dextsuspend.tex124 In this case, it is not necessary to attach the suspension
282 In this way, we scan only the part of the terms which is absolutely
304 In this way, \predspec{equal_args} returns a list of pairs
339 \item In the following program,
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dknowbase-sec.tex38 In the previous chapter we used the DB version of the \eclipse database.
84 described for the DB version of the database. In many cases they only differ
301 a body that unifies with {\bf Body}. In most cases {\bf Body} will
383 becomes {\em transparent}. In other words there is no difference
546 the contents of a relation. In the same way that {\bf expand/1}
H A Dintro-sec.tex84 Knowledge Base Built-In Specification Manual (or Knowledge Base BIP Book),
/barrelfish-master/doc/012-services/
H A DServices.tex49 In Barrelfish, a service can be implemented as a single-dispatcher
53 In this document we review the services that will make up the base
719 In Barrelfish the principals service will make use of capabilities to
745 In order to manage resource usage the resource management service may
868 In many cases the implementation has been a simple prototype
874 In this section we provide an overview of the current status of each
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dqueues.pl63 In this package, a queue is represented as a term Front-Back, where
H A Dremote_tools.pl190 seconds for the remote tools to connect. In these cases, the server
H A Dkernel.pl40 % In this file, the difference between :- (directive) and
328 % symbols may not be visible (loaded without RTLD_GLOBAL). In this case,
433 concat_atom([Base, '_in'], In),
435 ec_rpc_in_handler1(In, Out).
437 ec_rpc_in_handler1(In, Out) :-
438 ( at_eof(In) ->
442 catch((read_exdr_last(In, Goal),execute_rpc(Out, Goal, true)),
444 ec_rpc_in_handler1(In, Out)
783 % In the following, Goal is negated to make sure we always fail and
4327 trprotect(In, Ou
[all...]
H A Dcprolog.pl76 In this case, Eclipse-specific language constructs will not be available.
114 <DD>In C-Prolog there is a bug regarding the operator not -- it
H A Dkernel_bips.pl188 % In addition it must be split so that 'Before' is the length
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dchangeset.pl79 the priority of the propagation constraints. In that case, the lists
/barrelfish-master/doc/022-armv8/
H A Dreport.tex204 In total there are 31+1 general purpose registers (\texttt{r0-r30}) of size
299 significantly reduce the complexity of the CPU driver. In this section we
304 In the interest of clarity, in the discussion that follows, we use a few terms
355 Barrelfish/x86. In particular, it \textbf{should} be possible to implement
407 In the initial ARMv8 specification, this split address space was not
465 In addition to the \texttt{ContextID} register, used to tag TLB entries, ARMv8
583 driver. In practice, its design will be closely tied to the context switch and
637 CPU driver by moving the once-only initialisation into the bootloader. In
661 In detail, Hagfish currently boots as follows:
953 user-level execution address. In ARMv
[all...]
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex121 a pointer on that machine). In more detail, the layout of a pword is:
202 In the boxed case, the TDBL tag may have the PERSISTENT\index{PERSISTENT} bit set (see
299 In the reference (non-self-reference) case the rest of the tag is
300 irrelevant. In the self-reference case, the rest of the tag indicates
338 In case of the types that don't
451 In the following, `volatile' means that the register contents is short-lived
576 As a result, failure can occur. In case of success, the MU\index{MU} register may
1030 In addition, there are simple inter-procedural control transfer instructions.
1298 also discard the choicepoint). In addition, untrailing is performed, i.e.\
1476 architectures. In thes
[all...]
H A Druntime.tex43 Different types do not unify. In arithmetic comparisons however, the types
97 between 0.9 and 1.1, but not necessarily both the same. In order not to break
217 In the next pass, the unmarked dictionary entries are moved out of their
441 In addition, every module has a local syntax\index{syntax} descriptor which controls
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dumsusing.tex182 tells {\eclipse} to try to find another solution. In all cases it
419 In particular, a file can contain a directive to the system to compile
440 which contains only commands to compile all the subfiles. In
471 This will load the library file unless it has been already loaded. In

Completed in 107 milliseconds

123456789