Searched refs:up (Results 101 - 125 of 199) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dtidy.pl34 of evaluation. Expressions are scanned bottom-up, and are worked hard.
76 up as "(1+x) + -1" rather than as "x". There appears to be no easy
H A Dcardinal_comments.pl618 args: ["UpDown": "Atom ('up' or 'down').",
623 If heuristic UpDown is 'up' then inclusion is tried first; otherwise (down)
630 ?- S `:: [a]+[b,c], refine(up,S), glb_poss(S,G,P).
646 args: ["UpDown": "Atom: 'up' or 'down'.",
651 If heuristic UpDown is 'up' then, for each set variable, for each element
657 ?- S `:: [a] + [b, c], T `:: [1] + [2], set_labeling(up, [S, T]).
1127 ?- sets([X,Y], [],[7,8,9], []), complement(X,Y), X `>= Y, set_labeling(up,[Y]).
1131 ?- sets([X,Y], [],[7,8,9], [minimum:Min]), complement(X,Y), refine(up,X).
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Dintro.tex50 \ac{hba} and registers for up to 32 ports. A port can be attached to either a
H A Dusage.tex162 To return ownership of the port and clean up resources, a simple call to
H A Dflounder-ahci.tex201 To issue a command over \ac{ahci}, the \acs{ahci} backend must first set up a
/barrelfish-2018-10-04/doc/018-Practical-guide/
H A Dreadme.tex192 also works. Instructions for setting up GRUB to do this are beyond the scope of
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dsuspend.pl69 have been instantiated, then they wake up and test the condition,
1557 a corresponding reified constraint is set up, and the expression is
1596 a corresponding reified constraint is set up, and the expression is
1650 a corresponding reified constraint is set up, and the expression is
1688 a corresponding reified constraint is set up, and the expression is
/barrelfish-2018-10-04/doc/014-bulk-transfer/
H A Dbulk-transfer.tex150 end up writing at same physical location, leading to data corruption.
187 different core. But there are cases like SCC where you may end up
559 when it is not useful to consumer is because it speeds up the
643 producer should send this notification to consumer to wake it up.
667 to the consumer that either it takes some action to free up more
895 free up the slots which don't hold useful data quickly and release
939 \subsection{Freeing up the slots}
976 slots, we will fill up the entries quickly.
1013 producer. For example, when any consumer tries to free up the slot,
/barrelfish-2018-10-04/usr/eclipseclp/Mercury/
H A Dm_map.pl14 % of (Key,Data) pairs which allows you to look up any Data item given the
93 key/value pairs which allows you to look up any data item given its
848 which corresponding value will end up associated with that key
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembjava.tex96 your classpath correctly set up.
149 running the Java program {\tt QuickTest.java}. This starts up an
239 In order to clean up, after the Java program has finished interacting
801 // Set up the two formatting streams
888 After the queues streams are set up on both sides, the Java program
1013 typically set up an event handler. The handler will be invoked whenever
1127 The options can be specified by either looking them up in a {\it
1237 a parameter. The method uses this to configure and set up {\eclipse}
1240 embedded {\eclipse} has already been set up or if it has been set up
[all...]
H A Dembvb.tex207 A prompt string. This appears in an input box that pops up
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dmultiuser-sec.tex49 The standard \eclipse configuration allows up to 32 concurrent user
214 A transaction is restarted up to 10 times. If it is chosen as victim
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dreal.tex242 (in particular the set up of any delayed goals) are backtracked, regardless
459 below. The \texttt{farm/4} predicate sets up the constraints between the
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsopsys.tex281 The \predspec{exec} group makes it possible to set up communication links
395 Note that some signals can be set up to be raised automatically,
/barrelfish-2018-10-04/lib/cxx/unwind/
H A DUnwindRegistersRestore.S28 # set up eax and ret on new stack location
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dic_probe.pl220 summary : "Sets up a linear probe for a set of constraints",
238 <B>lp_demon_setup</B> is then invoked to set up the linear solver, with the
H A Dprobe.pl219 summary : "Sets up a linear probe for a set of constraints",
237 <B>lp_demon_setup</B> is then invoked to set up the linear solver, with the
H A Drepair.pl33 % because intially when the problem is being set up we don't want to
159 To do so, set up a viewable using viewable:viewable_create/3,4 and specify
396 % fails because A #= B is also set up as a normal constraint
414 constraint will show up in the ConflictSet, from where it can be
418 Note that setting up a repair constraint does <EM>not</EM> propagate the
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dglobalstate.tex137 will use up exactly 8k of memory and no more.
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dfdglobal.tex47 at once, without breaking up the constraint into more primitive constraints.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/
H A Dcrypto-lib.com44 $! P5, if defined, sets a compiler thread NOT needed on OpenVMS 7.1 (and up)
1175 $! Set up default defines
1179 $! Finish up the definition of CC.
1374 $! Set up the logical name OPENSSL to point at the include directory
/barrelfish-2018-10-04/lib/openssl-1.0.0d/util/
H A Dpod2man.pl35 dash, fixing up "paired quotes", putting a little space after the
113 up into subsections using the C<=head2> directives, like
382 # Lose everything up to the first of
472 ''' Set up \\*(-- to give an unbreakable dash;
956 # fix up quotes; this is somewhat tricky
/barrelfish-2018-10-04/doc/003-hake/
H A DHake.tex136 programming language built in, one ends up implementing a bad one
267 \chapter{Hake from the bottom up}
290 intermediate and final results of the compilation end up. This is
616 of which will be picked up from \texttt{Config.hs}).
/barrelfish-2018-10-04/doc/012-services/
H A DServices.tex53 In this document we review the services that will make up the base
251 process creation and management involves setting up and managing
588 Finally, the implmentation of the binding service needs to set up
775 the principals service to determine and set up access control for the
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex550 \item[Any copy deleted] Look up any \emph{Mapping} capabilities associated
592 \item[Any copy deleted] Look up any \emph{Mapping} capabilities associated
794 One example of such a dispatcher is the dispatcher that brings up new cores.
892 \item \verb|KernelCmd_Setup_trace|: Set up trace buffer

Completed in 283 milliseconds

12345678