Searched refs:In (Results 101 - 125 of 214) sorted by relevance

123456789

/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dsolversintro.tex31 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 Dhybrid.tex30 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 Drepairtut.tex388 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 Dtkdebug.tex37 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 Dumsprofile.tex150 %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 Dumsexcept.tex223 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 Dumsdebug.tex66 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 Dumsmacros.tex61 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 Dtommath.tex172 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 Dpaddy.pl106 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 Ddfid.pl69 * in terms of number of invoked goals. In LP it makes more sense to
H A Dbranch_and_bound.pl66 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 Dmatrix_util.pl100 the end of file has been reached. In the first case, not all numbers in the
H A Dtracer_tcl.pl1174 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 Dbackwards-sec.tex67 The errors generated differ. In general, \eclipse catches more
H A Dmultiuser-sec.tex56 \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 Dflat.pl55 + and * are) and if so to generate f(f(a,b),c). In all other
/barrelfish-master/doc/015-disk-driver-arch/
H A Dfuture.tex53 controllers for \ac{sata}. In reality, there are still a lot of use cases where
H A Dflounder-ahci.tex106 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 DOverview.tex103 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 Dmp.tex101 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 DVirtualMemory.tex121 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 Dic_probe_search.pl50 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 Dprobe_search.pl51 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 Dembremote.tex153 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...]

Completed in 260 milliseconds

123456789