Searched refs:up (Results 76 - 100 of 199) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembsumcxx.tex41 looks up or enters the given string into the {\eclipse}
48 looks up or enters the given string with arity into the {\eclipse}
192 set up, the reference disappears and is also reset to its earlier value.
H A Dembfunc.tex83 The next example uses an input list of integers and sums up the numbers.
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsparallel.tex65 This option pops up an interactive worker manager window which allows
68 \item[--wv] Be verbose while starting up the workers.
296 supported. For example, it is currently up to the user to guarantee
/barrelfish-2018-10-04/doc/009-notifications/
H A DNotify.tex58 it takes up to 10000 cycles to notice a message, and obviously the
146 This looks up the PCN page of the destination core in the kernel globals page.
148 It looks up the FIFO head pointer using the dest$\_$core id.
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dqueues.pl135 will also show up in NewQ2. Note that
H A Dremote_tools.pl137 spy-point on a predicate will cause the tracer tool to pop-up when
H A Dmenu.tcl329 msg "Waking up $num on $selhost ..."
367 button .workers.up -width 2 -text + -command "tc_inc 1"
372 pack .workers.up -in .workers.middle -side left -padx .25c
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dio.tex68 in the buffer, so the input can be backed up as much.
91 The lexical analyser (lex.c) breaks up input from I/O streams into
H A Dbuiltins.tex80 Built-ins for creation of handling of executable code (up to {\eclipse} 5.X).
H A Dkernel.tex137 The conceptual tag is made up of the REF-bit and the 8-bit-tag TXXX
176 this content size rounded up to a multiple of a pword.
179 Signed two's complement integers\index{integers} up to the machine's wordsize are an
188 up list operations by having only to deal with TLIST and TNIL tags.
280 value. The arity\index{arity} can be looked up from the dident dictionary entry.
713 when switching level up or down. Both these information bits are held in
1066 stack up to a previously stored position. Note that {\eclipse} does not
1067 clean up the trail stack on this occasion (although removing choice points
1743 possibly goto read mode up (restore S)
1744 up (restor
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dcolgen.tex230 where we first create a {\tt colgen} instance {\tt cut\_stock}, set up the variable domains of the subproblem and the demand constraints of the master problem, set up the initial master problem bound constraints and subproblem knapsack constraint, then solve and return the variables with non-zero values in the optimal solution. The definition of cutting cost as waste has been combined with the knapsack constraint, while the bounds placed on this cost exclude cuttings with sufficient waste to produce further boards, thus limiting the amount of search in subproblem solution. The chosen method of subproblem solution is:
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/
H A Dchangeset.pl78 The priority of the monitor should be set up such that is is lower than
H A Dic_probe_support.pl181 my_tent_call sets up two demons, one to perform propagation whenever the
H A Dprobe_support.pl180 my_tent_call sets up two demons, one to perform propagation whenever the
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ech/
H A Dpuzzle_bool.pl56 SICStus Prolog can solve this puzzle up to N = 9 on my machine; it then
/barrelfish-2018-10-04/lib/openssl-1.0.0d/apps/
H A Dmakeapps.com38 $! P4, if defined, sets a compiler thread NOT needed on OpenVMS 7.1 (and up)
828 $! Set up default defines
959 $! Finish up the definition of CC.
1035 $! Set up the logical name OPENSSL to point at the include directory
/barrelfish-2018-10-04/lib/openssl-1.0.0d/
H A Dmakevms.com68 $! P6, if defined, sets a compiler thread NOT needed on OpenVMS 7.1 (and up)
233 $! For that reason, the list will also always end up in alphabetical order
/barrelfish-2018-10-04/doc/026-device-queues/
H A Ddevif.tex250 enqueueing the buffer has given up ownership on the buffer. Eventually the ownership
519 The transition system that we defined up to now can be seen in the picture below.
722 channel to the driver is set up and the information to set up the queue on the card is
778 up such a channel, one of the endpoints exports the interface while the other simply connects
812 connects to a remote endpoint, the local endpoint sets up memory for the receive/send
822 In a single domain the control plane, i.e. setting up the queue and registering memory
861 is set up and buffers can be transferred.
/barrelfish-2018-10-04/usr/eclipseclp/Opium/demo/
H A Dbasic.pl195 % readln reads all the characters up to a LF
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Dicsymbolic.tex148 Internally, symbolic domains are mapped to integer ranges from 1 up to
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dintro-sec.tex161 may themselves be broken up into several modules.
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/
H A De_padlock.c373 /* Fill up some flags */
614 up: lodsd
617 loop up
/barrelfish-2018-10-04/usr/drivers/solarflair/sfxge/common/
H A Dsiena_phy.c74 boolean_t up = !!(link_flags & local
79 if (!up)
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/
H A Dassoc.pl144 test(_) :- % Test(T) will build up a small tree
H A Dstruct.pl96 % pretence of being logical (though at the next level up). The next one

Completed in 735 milliseconds

12345678