/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 67 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 D | ic.tex | 70 \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 D | extconjunto.tex | 292 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 D | irq_routing_new.pl | 159 (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 D | device_db.pl | 248 % TODO: In future use ApicId to select cpu driver that has listed the correct
|
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 178 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 D | umscompiler.tex | 49 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 D | extmeta.tex | 35 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 D | umsarith.tex | 149 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 D | umsintro.tex | 58 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 D | umsio.tex | 107 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 D | extsuspend.tex | 124 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 D | knowbase-sec.tex | 38 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 D | intro-sec.tex | 84 Knowledge Base Built-In Specification Manual (or Knowledge Base BIP Book),
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 49 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 D | queues.pl | 63 In this package, a queue is represented as a term Front-Back, where
|
H A D | remote_tools.pl | 190 seconds for the remote tools to connect. In these cases, the server
|
H A D | kernel.pl | 40 % 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 D | cprolog.pl | 76 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 D | kernel_bips.pl | 188 % In addition it must be split so that 'Before' is the length
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | changeset.pl | 79 the priority of the propagation constraints. In that case, the lists
|
/barrelfish-master/doc/022-armv8/ |
H A D | report.tex | 204 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 D | kernel.tex | 121 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 D | runtime.tex | 43 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 D | umsusing.tex | 182 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
|