/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | intro-sec.tex | 91 This module is the lowest implementation level of the database and knowledge
|
H A D | multiuser-sec.tex | 187 user between relation level and page level locking (see Knowledge Base BIP
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | umsterm.tex | 191 Such clauses occur mainly as input to the top level Prolog loop
|
H A D | umsusing.tex | 88 top-level, which is shown in Figure~\ref{tktop}. 95 \caption{{\tkeclipse} top-level} 100 from the \menu{Help} menu in the top-level window. 277 \guitext{Help} menu on {\tkeclipse}'s top-level window which
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | extmeta.tex | 38 for an object-level program, a metaterm looks like a variable, but for 40 together with additional meta-level information, forms the metaterm. 213 which is ignored by ordinary \emph{object level} system predicates. 214 \emph{Meta level} operations on attributed variables are handled by
|
H A D | umssocket.tex | 147 at the system level, however at the Prolog level the packet
|
/barrelfish-master/lib/zlib/ |
H A D | trees.c | 931 if (s->level > 0) { 1046 if ((s->last_lit & 0x1fff) == 0 && s->level > 2) {
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | struct.pl | 96 % pretence of being logical (though at the next level up). The next one
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extfd.tex | 671 The \eclipse\ debugger is a low-level debugger which is 869 Another reason is that the library performs no meta-level reasoning on 911 The {\bf fd.pl} library defines a set of low-level predicates 1405 We use more or less directly the low-level primitives to handle 1874 If we want to model the containment with low-level domain predicates, 1950 As you can see again, modeling with the low-level domain predicates 1956 some or all constraints with the low-level predicates. 1968 With low-level predicates, 2009 With low-level domain predicates, 2050 A low-level solutio [all...] |
H A D | eplex.tex | 621 low-level interface, for implementing column generation, see 682 This section describes lower level operations like how to set up 683 solvers manually. In fact, these lower level predicates are used to 722 This is an even lower-level primitive, setting up a solver state 766 which would be filtered out by the higher level {\tt lp_add_constraints/3} 817 level predicates that directly access this information via the solver 857 We provide low-level primitives to `expand' an eplex problem. Such a problem is 1461 the {\eclipse} level.
|
/barrelfish-master/doc/012-services/ |
H A D | Services.tex | 136 provide these services at a minimal level, or provide higher level 473 %% interaction. This is at a higher level than device drivers, and 605 The debugging service needs access to lower level services in order to 972 %% \caption{High level overview of the Barrelfish OS architecture}\label{fig:os-arch}
|
/barrelfish-master/doc/013-capability-mgmt/ |
H A D | type_system.tex | 67 CNodes are organized as a two-level table with distinct capability types for 70 The two-level CNode table forms a 32-bit capability address space for each 353 user-level dispatcher. 748 The IRQ table capability allows the holder to configure the user-level 777 This invocation sets the user-level handler endpoint that will receive
|
/barrelfish-master/doc/019-device-drivers/ |
H A D | DeviceDriver.tex | 272 level interface to do just that. In the function \fnname{enable\_irq\_mode}, 285 glimpse of the user-level side on writing device drivers for ARM. It consists 446 Note that the discussed PCI API is rather low-level and provides a lot of 495 you a way to have fine grained, page level access control on memory. In 530 want to write user-level device drivers on a new, unsupported platform. We
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 150 a single, top-level file giving symbolic targets. The Makefile 242 Finally, there are two other kinds of high-level construct that Hake 260 The final high-level construct is a ``\texttt{boot}'' - a make target 616 and rebuilds Hake and the top-level Makefile. 735 \item[--verbose:] this option increases the verbosity level of Hake's
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | elipsys.pl | 544 ** top level 564 MegaLog : buffered I/O level (stream_id = 'C' pointer) 565 Sepia : raw I/O level (stream_id = 0,1,2,...)
|
H A D | megalog.pl | 369 ** top level 389 MegaLog : buffered I/O level (stream_id = 'C' pointer) 390 Sepia : raw I/O level (stream_id = 0,1,2,...)
|
/barrelfish-master/lib/openssl-1.0.0d/crypto/comp/ |
H A D | c_zlib.c | 106 typedef int (*deflateInit__ft)(z_streamp strm, int level, 438 int comp_level; /* Compression level to use */
|
/barrelfish-master/usr/eclipseclp/lib_tcl/ |
H A D | tkeclipse.tcl | 1202 balloonhelp .tkecl.pane.answer.label "Results display - top-level bindings and status after execution.\n Results for the most recent query are in blue.\n\
|
/barrelfish-master/usr/eclipseclp/lib_tcl/widget/ |
H A D | util.tcl | 667 set name [lindex [info level 0] 0] 797 \"[lindex [info level 0] 0] ?-incomplete? type value\"" 844 return -code error "bad [lindex [info level 0] 0] type \"$type\":\
|
/barrelfish-master/usr/drivers/cpuboot/arch/x86/ |
H A D | boot_arch.c | 180 realmodecap.cnode.level = CNODE_TYPE_OTHER;
|
/barrelfish-master/usr/drivers/enet/ |
H A D | enet_module.c | 811 static errval_t set_sleep_level(struct bfdriver_instance* bfi, uint32_t level) { argument
|
/barrelfish-master/usr/drivers/imx8x/sdhc/ |
H A D | sdhc.c | 711 static errval_t set_sleep_level(struct bfdriver_instance *bfi, uint32_t level) argument
|
/barrelfish-master/usr/mem_serv/ |
H A D | mem_serv.c | 65 /// Maximum depth of the BTree, assuming only branching by two at each level 454 .level = CNODE_TYPE_OTHER,
|
/barrelfish-master/usr/mem_serv_dist/ |
H A D | mem_serv.c | 527 .level = CNODE_TYPE_OTHER,
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embtcl.tex | 331 The disadvantage of using these low-level primitives is that 367 The disadvantage of using these low-level primitives is that 534 This is the low-level primitive to encode the given {\it data} and 541 This is the low-level primitive to decode an EXDR-string.
|