Searched refs:control (Results 76 - 100 of 137) sorted by relevance

123456

/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/
H A Dprogramanalysis.tex287 which can be used to control the exact manner in which coverage
338 second argument defining a number of flags which control (amongst
H A Dtutorial.tex238 % <sect> More control structures
H A Dtkdebug.tex131 program and return control to {\eclipse}. You can press \button{More} to get more
525 Pressing \button{Done} on the map display will return control to
552 left-mouse button with the control key pressed.
/barrelfish-2018-10-04/lib/barrelfish/
H A Dflounder_support.c426 msg->header.control = ctrl;
/barrelfish-2018-10-04/lib/libc/rpc/
H A Dclnt_vc.c802 char control[CMSG_SPACE(sizeof(struct cmsgcred))]; member in union:__anon1038
827 char control[CMSG_SPACE(sizeof(struct cmsgcred))]; member in union:__anon1039
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/chr/
H A Dgraphic.pl772 active(@abort), % Unblock the control panel
776 send(@panel, active, off). % Block the control panel
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Drunning.tex39 mapped I/O region to control the \ac{hba}. For the same reason, the code produced by
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/
H A Dumscompiler.tex78 Options is a list of options to control the compilation process, see details
894 \bipref{call/1}{../bips/kernel/control/call-1.html}) are never
1050 \txtbipref{,/2}{','/2}{../bips/kernel/control/C-2.html},
1051 \bipref{;/2}{../bips/kernel/control/O-2.html},
1052 \bipref{not/1}{../bips/kernel/control/not-1.html},
1053 \txtbipref{$->$/2}{->/2}{../bips/kernel/control/-G-2.html}.
1176 \item \txtbipref{:/2}{:/2}{../bips/kernel/control/N-2.html} is optimised away
H A Dumslanguage.tex150 A good way to control printing of big structures is to write customized
239 \bipref{do/2}{../bips/kernel/control/do-2.html},
267 construct can be used not only to control iteration over an existing list,
482 Finally, do-loops can be used as a control structure in grammar rules as well:
1243 \txtbipref{\notation{*->}/2}{*->/2}{../bips/kernel/control/X-G-2.html}
1245 \txtbipref{\notation{->}/2}{->/2}{../bips/kernel/control/-G-2.html},
1248 \txtbipref{\notation{*->}/2}{*->/2}{../bips/kernel/control/X-G-2.html}
H A Dexthsusp.tex33 This chapter introduces the control facilities that distinguish the
136 the control aspect of the program. The solution would usually be to either
137 make further variable instantiations or to change control annotations.
152 \txtbipref{\tld/1}{(~)/1}{../bips/kernel/control/T-1.html} and the sound disequality
228 The tracer supports advanced control features via
299 is to avoid a possible mixing of meta-level control with the
912 manipulated under program control using the primitives defined in
1542 \txtbiprefni{cut}{!/0}{../bips/kernel/control/I-0.html}\index{cut}\indextt{!/0}
1596 \bipref{true/0}{../bips/kernel/control/true-0.html},
1632 \txtbiprefni{cut}{!/0}{../bips/kernel/control/
[all...]
H A Dumsdynamic.tex170 If it is set to \bipref{true/0}{../bips/kernel/control/true-0.html}, for
H A Dumsflags.tex306 \item[Description :] The total memory available to the local and control stack
344 \item[Description :] The value is a control string that is recognised
403 \item[Description : ] Used to control the operation of the profiling facility.
H A Dumsdebug.tex111 \biptxtref{disjunction (;/2)}{;/2}{../bips/kernel/control/O-2.html}
150 \bipref{throw/1}{../bips/kernel/control/throw-1.html}
151 (or \bipref{exit_block/1}{../bips/kernel/control/exit_block-1.html}).
154 \bipref{catch/3}{../bips/kernel/control/catch-3.html}
155 (or \bipref{block/3}{../bips/kernel/control/block-3.html})
158 \bipref{catch/3}{../bips/kernel/control/catch-3.html}
162 \bipref{catch/3}{../bips/kernel/control/catch-3.html}).
307 condition or a call to \bipref{throw/1}{../bips/kernel/control/throw-1.html}
308 or \bipref{exit_block/1}{../bips/kernel/control/exit_block-1.html};
585 (i.e., via \bipref{call/1}{../bips/kernel/control/cal
[all...]
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/
H A Deplex.tex950 control on how the external solver takes the constraints into account.
1034 control how the cutpool constraints are treated when the problem is solved.
1377 \item The solvers have different solver parameters to control/tune the
1489 The external solver has a number of control
1500 Retrieve the value of a control parameter for the external solver for the
1506 Like lp_get/3, but get a control parameter for the external solver
1510 Retrieve the global value of a control parameter for the external solver. The
1516 Set a control parameter for the external solver for the problem represented
1522 Like lp_set/3, but set a control parameter for the external solver
1526 Set a control paramete
[all...]
H A Dextchr.tex166 lazy conjunction and disjunction ({\tt *control*})\index{control!sound},
788 control built-in predicates of \eclipse\ is discouraged. Negation and
1143 allow the user more control so that for example a labelling rule can run at
1154 New options, intended to control the way the compiler tries to optimise
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex38 \item Separate choicepoint ("control") and environment ("local") stacks.
79 \item[control stack] choice points (copies of parts of the
94 \item Stacks are paired (control-local and global-trail) and each pair
376 \item[B] top of control stack. The stack grows towards higher addresses.
390 boundary, the control stack needs to be expanded immediately.
433 \item[B] top of control stack. The stack grows towards higher addresses.
1030 In addition, there are simple inter-procedural control transfer instructions.
1037 branch(ref(L)) & intra-procedural control transfer \\
1224 \item transferring control by either a {\bf Call} instruction or
1281 \caption{{\eclipse} control stac
[all...]
H A Dglobalstate.tex54 \item control-local stack
H A Druntime.tex210 All 4 stacks\index{stacks} (control, local, global, trail) are scanned and every
312 \item abstract machine code (allowing control transfer between procedures)
434 The main purpose of the module system is to control the visibility\index{visibility}
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/project/
H A Dorganisation.tex84 \item[cvs] for version control
/barrelfish-2018-10-04/usr/eclipseclp/ecrc_solvers/grace/
H A Dlabel.pl270 (single_option(control, print_trace, 1) ->
582 handle_option(control, print_trace, Val) :-
/barrelfish-2018-10-04/doc/013-capability-mgmt/
H A Dtype_system.tex375 the dispatcher control block";
431 receiver's dispatcher control block";
931 A kernel control block capability captures all the state for a single CPU
934 A kernel control block is structured according to the \verb|struct kcb|
/barrelfish-2018-10-04/doc/016-serial-ports/
H A DSerial.tex74 8-bit words, no parity, no flow control). Serious applications
/barrelfish-2018-10-04/doc/000-overview/
H A DOverview.tex125 \item Local access control to kernel objects and physical memory by
182 The kernel maintains a DCB (dispatcher control block) for each dispatcher
245 \emph{capabilities}~\cite{hank:capabilities} to control access to all
309 \item \emph{Dispatcher} capabilities hold dispatcher control blocks.
340 dispatcher control block or CNode), and they must also hold a
/barrelfish-2018-10-04/doc/022-armv8/
H A Dreport.tex169 configuration and power interface) for platform discovery and control.
394 and by trapping all accesses to system control registers.
474 user-visible portion of the dispatcher control block, which contains the trap
527 ARMv8 has moved most cache and TLB management from the system control
1003 The design presented in this report is intended to expose as much control over
/barrelfish-2018-10-04/doc/017-arm/
H A DARM.tex569 the main domain control block.
687 Python is also used to control the simulation, taking and restoring
789 a real-time operating system to control the imaging subsystem.

Completed in 243 milliseconds

123456