/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | tidy.pl | 34 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 D | cardinal_comments.pl | 618 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 D | intro.tex | 50 \ac{hba} and registers for up to 32 ports. A port can be attached to either a
|
H A D | usage.tex | 162 To return ownership of the port and clean up resources, a simple call to
|
H A D | flounder-ahci.tex | 201 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 D | readme.tex | 192 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 D | suspend.pl | 69 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 D | bulk-transfer.tex | 150 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 D | m_map.pl | 14 % 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 D | embjava.tex | 96 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 D | embvb.tex | 207 A prompt string. This appears in an input box that pops up
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | multiuser-sec.tex | 49 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 D | real.tex | 242 (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 D | umsopsys.tex | 281 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 D | UnwindRegistersRestore.S | 28 # set up eax and ret on new stack location
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe.pl | 220 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 D | probe.pl | 219 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 D | repair.pl | 33 % 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 D | globalstate.tex | 137 will use up exactly 8k of memory and no more.
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | fdglobal.tex | 47 at once, without breaking up the constraint into more primitive constraints.
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/ |
H A D | crypto-lib.com | 44 $! 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 D | pod2man.pl | 35 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 D | Hake.tex | 136 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 D | Services.tex | 53 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 D | type_system.tex | 550 \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
|