/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | solversintro.tex | 31 In this section we shall briefly summarize the constraint solving 65 In addition, {\em ic} also allows {\em continuous domains} 136 In addition, there are constraints between sets and integers, e.g.\
|
H A D | hybrid.tex | 30 and constraint solvers. In \eclipse{} it is easy to use different 207 linear solver derives a new lower bound for $End$. In case this 489 In fact in this simple example we gain nothing by including the {\tt 533 fromto(Bools, Out, In, []), 538 fromto(Out, [B|Bs], Bs, In), 613 In this example we briefly illustrate the point, though there is no 675 In practice this encoding dramatically enhances the efficiency of the 692 In this section we explore ways of using the information returned from 735 In fact the {\tt eplex} solver is performing domain propagation, just 846 In th [all...] |
H A D | repairtut.tex | 388 In essence, the difference between implementing tree search techniques 524 In the following we discuss several examples of local search 573 In the literature, e.g.\ in \cite{Localizer}, 746 In the following simple example, the tabu list has a length determined by 749 the worst one from the knapsack. In both cases, the move gets rememebered 789 In practice, the tabu search forms only a skeleton around which a complex
|
H A D | tkdebug.tex | 37 In the tutorial tour, we will assume that you have some knowledge of 316 specified by the tool. In our case, we want to see \verb'not_same_colour/3' 361 In this case, we have opened the menu over \verb'not_same_colour/3', and the 485 the reply will be sent to the reply window. In the example above, we have 515 type in a command line to invoke your editor. In addition, if your editor 539 In {\tkeclipse}, you can usually perform these operations on an object
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsprofile.tex | 150 %In order to apply it to a program, this program must be 170 %In coroutine mode the table has 2 more columns for DELAY and WAKE ports. 310 %In both cases, the global flag will change to {\tt some}, provided its
|
H A D | umsexcept.tex | 223 Once an after event has been set up, it is pending until it is raised. In 261 platform. In addition, the users should not make use of these 326 In this case, the event handler is responsible for reenabling event handling 338 In the presence of other event handlers which can cause aborts, this will 515 In those cases the second and third argument are sometimes used 685 or signals. In a standalone {\eclipse} system, the signals can be handled by 686 defining interrupt handlers for them. In fact, a set of 689 In an embedded {\eclipse}, signals are usually handled by the host
|
H A D | umsdebug.tex | 66 indexing). In such cases, the flow does not enter any clause box. 125 *EXIT port). In that case the nested procedure box is re-entered 207 In the rest of this chapter the user interface to the debugger is 210 commands are explained using an excerpt of a debugger session. In 573 traced. In particular, when a \notation{nodbgcomp} procedure calls a 660 In tkeclipse, the debugger can also be started in this way. The tracer tool 842 %bound. In this case the debugger prints a message and traces the next 1135 debugger to prompt for a number. In both cases, the number specifies the 1137 In the following example, the \verb:#: style of the command is used to move 1180 In additio [all...] |
H A D | umsmacros.tex | 61 In addition to transforming a term, macros can also be 143 term. In the case of the source annotation aware version of \about{TransPred}, 151 bind the fourth argument. In both \pattern{TransPred} cases, the optional last 371 In the case of atomic terms and variables, the term-field simply contains the 453 In the example, the main functor of the transformed predicate, \predspec{b/1}, 479 In {\eclipse} they are provided by a predefined global\footnote{%
|
/barrelfish-master/lib/tommath/ |
H A D | tommath.tex | 172 Further multiplications of say $3$ result in a larger precision result $126$. In these few examples we have multiple 214 various cryptographic journals, can render algorithms such as RSA and Diffie-Hellman more efficient. In fact, several 228 In fact the library discussed within this text has already been used to form a polynomial basis library\footnote{See \url{http://poly.libtomcrypt.org} for more details.}. 259 In most cases how an algorithm is explained and how it is actually implemented are two very different concepts. For 272 to demonstrate algorithms with real implementations\footnote{In the ISO C programming language.} that have been field 316 a single precision integer type, while, the data type \textbf{mp\_word} will represent a double precision integer type. In 328 In this particular case, $\hat c = 1127$ and $c = 127$. The most significant digit of the product would not fit 349 To measure the efficiency of the specified algorithms, a modified big-Oh notation is used. In this system all 356 baseline squaring (section \ref{sec:basesquare}) requires $O({{n^2 + n}\over 2})$ work. In standard big-Oh notation these 454 be source compatible with another popular library which makes it more attractive for developers to use. In thi [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | paddy.pl | 106 pin(In) :- deprolog(In), static_analysis. 114 p(In) :- pin(In), partial_deduction, write_relevant_clauses. 116 p(In,Out) :- pin(In), partial_deduction, write_relevant_clauses(Out). 154 deprolog(In) :- 160 read_pd_file(In), 180 read_pd_file(In) :- 181 exists(In) [all...] |
H A D | dfid.pl | 69 * in terms of number of invoked goals. In LP it makes more sense to
|
H A D | branch_and_bound.pl | 66 In this example, the item/3 predicate serves as a nondeterministic 142 not be able to compare the quality of two solutions. In this case, 357 % imposed. In that case, the demon must additionally be woken on 395 % In case the solution still contains variables, 422 % The bound is imposed using set_var_bounds/3. In case the Cost 581 % In case the solution still contains variables, 764 In order to maximize instead of minimizing, introduce a negated 1007 In order to maximize instead of minimizing, introduce a negated
|
H A D | matrix_util.pl | 100 the end of file has been reached. In the first case, not all numbers in the
|
H A D | tracer_tcl.pl | 1174 open(FullName, read, In), 1175 (read(In, :-module(Module)) -> % module should be first item in file 1177 close(In) 1178 ; close(In), fail 1183 open(File, read, In), 1184 read_interface_file1(In, ILines, CLines), 1185 close(In). 1187 read_interface_file1(In, ILines0, CLines0) :- 1188 (at_eof(In) -> 1190 ; (read(In, [all...] |
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | backwards-sec.tex | 67 The errors generated differ. In general, \eclipse catches more
|
H A D | multiuser-sec.tex | 56 \item In single user mode, a single \eclipse process opens the database 58 \item In multi user mode, a database server process manages the 258 the tuple is already stored. In general it is simpler to 282 therefore recovery is unnecessary. In actual fact temporary relations
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | flat.pl | 55 + and * are) and if so to generate f(f(a,b),c). In all other
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | future.tex | 53 controllers for \ac{sata}. In reality, there are still a lot of use cases where
|
H A D | flounder-ahci.tex | 106 parameter. In either case, the size might also be specified as a 125 \acs{ahci} bindings to be used anywhere the generic binding type is used. In
|
/barrelfish-master/doc/000-overview/ |
H A D | Overview.tex | 103 In a heterogeneous Barrelfish system, CPU drivers will be different 219 \texttt{newlib}~\cite{newlib}), and \texttt{libbarrelfish}. In 258 it passes capability references). In processing a system call the 389 the remote endpoint it will try to connect to. In the common case, 395 In turn, an interface reference is created by a server creating a 401 optimized for a particular hardware scenario. In general, the binding 437 In addition, stubs can also handle other areas of complexity resulting 446 In this way, transfer of pure data over message transports can be 543 In newer versions of Barrelfish, the same framework is also used for 544 booting (and suspending or shutting down) cores. In additio [all...] |
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | mp.tex | 101 In particular, a priority scheme is unnecessary, since dedicated ports 190 In many real-life applications, it is not possible, or simply not
|
/barrelfish-master/doc/004-virtual_memory/ |
H A D | VirtualMemory.tex | 121 In order for this system to make it possible to remove mappings when the 130 In the case of mappings that cross page table boundaries, we need a map
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic_probe_search.pl | 50 tentative assignment feasible. In case a bottleneck task has a 90 variable, it is simply set to its minimum value. In this case the 315 tentative assignment feasible. In case a bottleneck task has a
|
H A D | probe_search.pl | 51 tentative assignment feasible. In case a bottleneck task has a 91 variable, it is simply set to its minimum value. In this case the 316 tentative assignment feasible. In case a bottleneck task has a
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embremote.tex | 153 In more detail, the {\eclipse} predicate remote_connect/3 establishes a 213 being connected to are not from the same version of {\eclipse}. In this 346 Tcl. In particular, it is not possible to request data from the other side 372 In {\eclipse}, the handler goal is invoked using the events mechanism. That 387 \item[Data provider] To provide data that has been requested by the other side. In this 614 know how many bytes will be sent. In this case, {\bf ec_flush} can be 837 In the case where a Tcl data consumer 876 immediate corresponding read on the {\eclipse} side. In fact, no handler 1055 data. In the asynchronous queue, it is generally the programmer's 1169 In a [all...] |