Searched refs:up (Results 51 - 75 of 199) sorted by relevance

12345678

/barrelfish-2018-10-04/usr/eclipseclp/documents/visualisation/
H A Dclients.tex183 up to 1.0 indicating full usage (thick black line) and any number
312 mouse button in order to bring up the context sensitive actions menu.
366 View bounds in detail & Pops up a window detailing the original bounds and the current bounds for the single selected \viewlet{}. & bound \\
406 selection dialog will pop up, from which any combination of dimension
449 \textbf{Insert} menu. This brings up a file selection dialog from
536 This will bring up the print dialog as shown in
550 To make the process of setting up the visualisation environment and
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dgc.tex197 We end up with 4 possible bit combinations, having the following meaning:
225 and a bottom-up pass through the collection segment.
227 bottom-up pass through the collection segment.
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dmodelling.tex146 When modelling problems with constraints, the basic idea is to set up
159 \item can serve as a program to set up the constraint network
386 in a hexagonal shape such that every diagonal sums up to 38:
H A Deplex.tex240 % d. set up the external solver with the objective function
266 Next, we set up the MP constraints for the
289 Having set up the problem, we can solve it
329 .... % same as previous example up to line e
529 % set up variables and constraints, but no integers/1 constraints
600 powerful version of \verb'eplex_solver_setup/1' for setting up a
646 % k. this is a more flexible method for setting up a solver.
734 set up an external solver state for instance Instance. Trigs specifies a
H A Dumsusing.tex87 the program menu on Windows. This will bring up the {\tkeclipse}
137 This will bring up a file selection dialogue. Select the file you wish
172 to the right of the \guitext{Query Entry} field, or by using the up
200 does not yet exist). This will bring up a file selection dialogue.
402 include parameters for how {\tkeclipse} will start up, e.g. the amount
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/
H A Dembtclmulti.tex64 (i.e. it has already been set up using ec_init (embedded) or ec_remote_init (remote)).
73 give up control, so that the control can be passed to the next multitasking
85 The registration can set up three user-defined handlers: the {\bf
212 % invoked when control is being handed to the peer (as set up in {\bf
H A Dembremote.tex78 disconnection will terminate and clean-up the links between the two
150 occurs, then the connection is established and the interface is set up.
294 Queues should be used to set up long-term I/O links between {\eclipse} and
350 being empty. Generally, it is up to the programmer to co-ordinate the
494 Pops up a window displaying the {\it label_text},
653 Pops up a window displaying the label_text, an input field
689 invoked. This pops up a Tcl window, with the label ``Input for myqueue:''
1171 up various data queues between the two sides, and defining the actions to
1185 may be initiated from either side. In addition to cleaning up and closing
1241 set up command
[all...]
H A Dembremoteproto.tex195 unchanged up to this point at least, to ensure the proper handshaking and
339 % clean up
800 (typically this involves setting up book-keeping information for the queue
826 then the {\eclipse} side will clean up the preparation for the peer queue.
841 fail was received, then the remote side should clean up the attempted queue
903 queues) to the remote side, and clean up the information associated with the
936 connections and clean up. After the clean up, abort is called. This is
1134 where Len is the atom `unknown'. It is up to the user-defined event handler
1180 It is up t
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/
H A Dbackwards-sec.tex120 More details can be looked up in the source file of module
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/
H A Ds_lists.pl174 /* computes the weight of a ground set by summing up its elements
/barrelfish-2018-10-04/lib/openssl-1.0.0d/Netware/
H A Dset_env.bat4 rem Batch file to assist in setting up the necessary enviroment for
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/
H A Dsparccpuid.S35 call .PIC.zero.up
132 .PIC.zero.up:
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Dlibahci.tex36 rounded up to 512 bytes, and the latter aligns the base address such that {\tt
111 requested initial pool size rounded up to \lstinline+BASE_PAGE_SIZE+.
201 On the first call to \ahciinit, the bind callback sets up the function table
214 area and the command list are set up, a copy of the \texttt{IDENTIFY} data is
/barrelfish-2018-10-04/doc/023-coreboot/
H A Dcoreboot.tex105 start-up. On boot-up, the kernel checks if the KCB it received is initialized.
261 to be received on that core etc. which can cause the whole system to lock-up. It
288 timers and scheduling state, check for registered interrupts and up-call drivers
/barrelfish-2018-10-04/usr/eclipseclp/lib_tcl/
H A Dtkeclipse.tcl272 # together with the next call-command (which is set up below).
312 ;# need to clean up any existing query before command
367 if [string match up $dir] {
368 ;# directions can only be up or down
594 # pop up a menu called $y.popup over the text widget $t
755 ec_rpcq [list erase_module $tkecl(new_module_name)] (()) ;# clean up
788 {initquery "" string tkeclipserc "Initial query called by TkECLiPSe on start-up"} \
940 bind .tkecl.query.goal_entry <Key-Up> {tkecl:select_history up}
/barrelfish-2018-10-04/tools/fof/
H A DFutureWork.tex14 \item[Module import clean-up:] for historical reasons, some imports
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dsetof.pl234 % associated Template instances. Neither argument ends up changed.
302 % only the metacalls of the user goals to show up in the trace.
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumsstring.tex74 to be copied, while the list that makes up the tail of the concatenated
94 be looked up and possibly entered into the dictionary, which implies
H A Dumsusing.tex78 This will bring up the {\tkeclipse} top-level, which is shown in
113 This will bring up a file selection dialog.
148 \guitext{Query Entry} field, or by using the up and down arrow keys while
170 This will bring up a file selection dialog.
195 tracer window, you can bring up a menu of additional operations you can
350 parameters for how {\tkeclipse} will start up, e.g., the amount of memory it
760 \subsection{Initialization at start-up}
775 setting up a \notation{.eclipserc} file is a convenient way to achieve this.
H A Dexthsusp.tex174 suspends, but wakes up later and succeeds or fails, respectively:
204 The suspend library is loaded into \eclipse\ on start-up, but the
417 and it will wake up
492 When X is later instantiated, it will wake up and print the message:
572 the goal will wake up as soon as the first of them occurs:
602 implemented by first waiting for \about{X}'s instantiation, then waking up and
623 and wake up as soon as either of them gets instantiated.
796 the above \predspec{report/1} predicate which only wakes up on the specified
809 The behaviour is similar to above, the predicate wakes up on every
821 Note that we now have to set up th
[all...]
H A Dumsdebug.tex599 to speed up the execution of procedures that need not be
789 This command sets up a monitor on the currently displayed term,
799 Var/term spy set up with invocation number (2) %> jump to invoc: [1]? 2
804 up from within the program code using one of the built-ins
1077 Repeated application of this command allows to go up the call stack.
1223 \ncmd{uparrow key}{move current subterm up by \about{n} levels}
1224 \ncmd{A}{move current subterm up by \about{n} levels}\\
1225 In addition to moving the current subterm down, it can also be moved up
1233 the number of levels to move up. The default is 1:
1241 INSPECT (atom) %> up subter
[all...]
/barrelfish-2018-10-04/doc/004-virtual_memory/
H A DVirtualMemory.tex47 The virtual memory system is made up of four user space components listed
75 The vspace object looks up the appropriate vregion for the faulting address and passes the fault to it.
/barrelfish-2018-10-04/usr/eclipseclp/
H A DBUILD_ROTD75 # Note that we don't milestone cleaning up, since we probably want to re-do
82 # XXX - Note that cleaning up might not work properly: the machines chosen
86 # XXX - Note that if the previous attempt cleaned up, certain directories
90 # deleting it when cleaning up. Note that re-creating it if such is
117 --clean-up
120 --no-clean-up
257 --clean-up)
259 --no-clean-up)
548 # (Or at least to clean them up afterwards.)
586 echo "Giving up
[all...]
/barrelfish-2018-10-04/usr/skb/programs/
H A Dirq_routing_new.pl436 % Sets up default X86 controllers.
518 % It checks for a direct entry, and if not, recurses up the PCI hierarchy
522 % Add = The pci address to be looked up.
581 % recurse, looking up mapping for the bridge itself
636 % up all the GSI from the pir(..) facts and instantiates the controller
/barrelfish-2018-10-04/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex117 class: the pure travelling salesman problem rarely comes up in real
533 modelling and design modelling is given up, in favour of staying
759 To ensure that these coins are enough to make up any total between 1
771 make up the total $Total$.
838 change up to 59 pence (replacing 99 with 59 in the above program).
880 coins a purchaser needs in their pocket to make up any total between 1
1201 different from $Val$, and to allow the constraint to be violated up to
1688 Simplex or Dual Simplex algorithms this cost goes up, in the worst
1937 [eclipse 2]: suspend(writeln("Wake up!"),1,X->inst),
1941 * Wake up!
[all...]

Completed in 220 milliseconds

12345678