Searched refs:with (Results 251 - 275 of 468) sorted by relevance

<<111213141516171819

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtoplevel.pl7 % in compliance with the License. You may obtain a copy of the License
39 % The server variant communicates with a user interface via
74 % succeeded with a "More" result). The result is as for call(...).
78 % succeeded with a "More" or "Yes" result).
85 % (idle,running,success) with the following transitions:
274 garbage_collect % to start with small variable numbers
310 % this deals with the history and goal expansion
467 % remote-eclipse was created with the UseQueues option)
655 invocation level. Exiting with a Control-D (or end_of_file) or
H A Dmegalog.pl7 % in compliance with the License. You may obtain a copy of the License
39 ** are really minor. Look for %% to find predicates with incomplete
241 % are initialized with an unbound variable as value
251 exists with same boundaries
252 error and failure if array exists with different boundaries
299 ** executed when Goal is left with <event>
349 ** MegaLog : cyclic terms are detected and printed with <-> #n#
350 ** Sepia : default printing is with depth limitation
632 Sepia : information available with get_flag/3
731 Sepia : return string, with trailin
[all...]
H A Dmodes.pl7 % in compliance with the License. You may obtain a copy of the License
36 % The abstract interpreter uses dataflow-driven computation with
42 % The abstract terms are represented with ECLiPSe metaterms.
59 will be called with, given the specified goal pattern. The mode
60 analyser is loaded with
66 analysis with a given call pattern and prints the results in the form
284 % and we use the worst case exit modes (by unifying every argument with ?).
308 % of Goal). Goal shares variables with Env, Env is usually the rest
342 % of clause parts with the current instantiations)
371 % head/subgoal, are marked with '
[all...]
H A Dprofile.pl7 % in compliance with the License. You may obtain a copy of the License
151 % Process the file with profiling output and record the ticks
174 % Make a list with all executed predicates
H A Dsepia.pl7 % in compliance with the License. You may obtain a copy of the License
131 % compatibility switches: can now be done module-wise with use_module/1
202 % no_delayed_goals/0 - the same achieved with delayed_goals/1
H A Dkb.pl7 % in compliance with the License. You may obtain a copy of the License
749 ** that unifies with the given clause. Clause must be
795 ** are disambiguated by prefixing them with <relation name>^.
994 % Deal with a ground argument for the first time
998 % Deal with a REDO for a ground argument
999 % Prepare a descriptor for a head with a matching variable
1008 % make sure that there is at least one head with a var in this position
1154 % deal with Ref tag in Att1
1161 % deal with Ref tag in Att2
1214 % deal with Re
[all...]
H A Ddefine.pl7 % in compliance with the License. You may obtain a copy of the License
71 * define_erased/0 is used to erase all the macros defined with
H A Dmake.pl7 % in compliance with the License. You may obtain a copy of the License
H A Dpretty_print.pl7 % in compliance with the License. You may obtain a copy of the License
H A Dsicstus.pl7 % in compliance with the License. You may obtain a copy of the License
62 be wrapped in a separate module starting with a directive like
77 A sockets library is provided for compatibility with the sockets
186 % the original predicate is renamed with the help of a clause macro.
H A Dstatistics.pl7 % in compliance with the License. You may obtain a copy of the License
/barrelfish-master/doc/012-services/
H A DServices.tex218 together with a networking device. It may provide further surfaces
248 or deal with the primitives themselves. The functionality provided
315 programs with input and output. A terminal typically multiplexes
335 running entities in the system to log traces with it as well as to
411 % dealing with ram caps and bookkeeping which is BF specific
507 because it needs to communicate with the ethernet device
571 available to others, as well as to connect to and communicate with
628 The device management service works closely with the SKB since it
651 Group communication is typically associated with consensus protocols,
663 The locking service interacts closely with th
[all...]
/barrelfish-master/usr/eclipseclp/Mercury/
H A Dm_tree234.pl99 summary: "Succeeds if Key and Value unify with a key/value pair from Tree.",
100 fail_if: "Fails if Key and Value do not unify with a key/value pair from Tree.",
105 Tries to unify Key and Value with key/value pairs from the tree Tree.
112 This predicate should only be called with trees created by other
126 fail_if: "Fails if Key does not appear in Tree or if Value does not unify with the corresponding value found.",
131 This predicate searches the tree Tree for an entry with key Key.
133 value with Value.
136 This predicate should only be called with trees created by other
150 fail_if: "Fails if Value does not unify with the value corresponding to Key.",
155 This predicate searches the tree Tree for an entry with ke
[all...]
/barrelfish-master/doc/006-routing/
H A DRouting.tex42 with a fully-distributed Barrelfish instance, or between multiple
43 cores spread out over a PCIe bus (as is the case with Xeon Phi or
56 Most current multicore machines are fully connected via shared memory. This means that any core in the system can communicate with any other core in the system
64 \item If Barrelfish is operated on a cluster of machines, there is only an Ethernet-based ICD link between the core(s) where the network stack is running. In order to allow every core to communicate with every other core, the available link must be multiplexed.
111 need to communicate with each other.
116 The sender sends the message to a subset of nodes it wishes to communicate with.
121 If applications were written with the abstraction of a group layer,
146 The multi-hop interconnect driver was designed to be independent of the type of the underlying ICD links between the nodes on the multi-hop channel. This means that it uses the common flounder interface supported by all ICDs when interacting with the underlying ICD link and uses no ICD-specific knowledge. This design involves a performance penalty: Interacting directly with the underlying ICDs instead of via the common flounder-interface would certainly perform better. Nevertheless, we chose this design, as it gives us more flexibility: The multi-hop interconnect channel can run over all present and future interconnect drivers in Barrelfish, as long as they support the common flounder interface.
163 In addition to the forwarding table, each node maintains a routing table. The routing table is used for channel set-up: If a node receives a channel set-up request, it determines where to forward the request with th
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dextsuspend.tex6 % in compliance with the License. You may obtain a copy of the License
60 When it is called with a nonground term, it produces a delayed goal
287 We always wake the \bipref{dif/2}{../bips/lib/sicstus/index.html} call with the
292 If, for instance, the compared terms are lists with thousands of elements
342 instead of decomposing each element with
485 To cope with this problem, we can use the ``short
488 one being shared with the previous suspension and the second
489 one with the next suspension.
490 All suspensions are thus chained with these variables.
604 especially its unifiability with othe
[all...]
H A Dumsparallel.tex6 % in compliance with the License. You may obtain a copy of the License
91 explored in parallel by different workers, so one worker continues with X=blue,
92 another with X=red and a third one with X=green.
140 The library {\tt elipsys} provides compatibility with the ElipSys system and
180 spent their time, together with some other data about the parallel execution.
247 with the execution of similarly protected code on other workers.
363 directory. Their names start with {\tt nsrv}.
H A Dumssocket.tex6 % in compliance with the License. You may obtain a copy of the License
55 This can be done either with the
57 or with the option \notation{\%b} in
74 The host name is the same as obtained, e.g., with
88 After a socket is created with the
151 a message with clear boundaries.}
210 % Invoke eclipse on all machines with small load and let them execute
227 % ECLiPSe on remote hosts is invoked with
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembjava.tex6 % in compliance with the License. You may obtain a copy of the License
51 interfacing {\eclipse} with Java, Sun's popular object-oriented
54 program or to interface {\eclipse} with a commercial application
58 libraries) and a basic knowledge of how to interact with {\eclipse}
218 interfaces which contain the methods used when interacting with {\eclipse}.
229 \subsubsection*{Interact with {\eclipse} using methods in the {\it EclipseConnection} or {\it EclipseEngine} interface}
231 We interact with the {\eclipse} engine by invoking methods on the object
238 \subsubsection*{Terminate interaction with the {\eclipse}}
240 with {\eclipse}, the interaction should be terminated. Like
442 executed. How to construct this parameter is dealt with i
[all...]
/barrelfish-master/lib/libc/stdio/
H A Dvfprintf.c13 * Redistribution and use in source and binary forms, with or without
20 * documentation and/or other materials provided with the distribution.
87 int nseps; /* number of group separators with ' */
93 * number with ndigits digits. This routine returns the total number
122 * Print a number with thousands' separators.
360 char buf[BUF]; /* buffer with space for digits of uintmax_t */
377 #define PAD(howmany, with) { \
378 if (io_pad(&io, (howmany), (with), locale)) \
381 #define PRINTANDPAD(p, ep, len, with) { \
382 if (io_printandpad(&io, (p), (ep), (len), (with), local
[all...]
H A Dvfwprintf.c13 * Redistribution and use in source and binary forms, with or without
20 * documentation and/or other materials provided with the distribution.
88 int nseps; /* number of group separators with ' */
125 * number with ndigits digits. This routine returns the total number
151 * Print a number with thousands' separators.
440 wchar_t buf[BUF]; /* buffer with space for digits of uintmax_t */
457 #define PAD(howmany, with) { \
458 if (io_pad(&io, (howmany), (with), locale)) \
461 #define PRINTANDPAD(p, ep, len, with) { \
462 if (io_printandpad(&io, (p), (ep), (len), (with), local
[all...]
/barrelfish-master/usr/eclipseclp/Opium/demo/
H A Dcollect.pl37 diff_member(X,[Y|T]-T) :- % conflict with Opium member/2
/barrelfish-master/usr/eclipseclp/Opium/
H A Dpce_new.pl7 * in compliance with the License. You may obtain a copy of the License
/barrelfish-master/usr/eclipseclp/documents/internal/project/
H A DMakefile6 % in compliance with the License. You may obtain a copy of the License
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex6 % in compliance with the License. You may obtain a copy of the License
37 import separate solvers for each, with the solvers using different
39 appearing in both kinds of constraints would end up with two domain
40 representations, with extra constraints necessary to keep the two
52 since (with a few exceptions) the same propagation algorithms are used
87 working with integer variables in this kind of range is not
144 be unified with bounded reals (though direct unification is not recommended:
146 In contrast, RIA will fail with a type error if bounded reals are used in
152 The main problem with using floating point arithmetic instead of real
169 done using these bounds, with th
[all...]
/barrelfish-master/usr/eclipseclp/documents/megalog/
H A Dmanual.tex6 % in compliance with the License. You may obtain a copy of the License
89 % compatibility with previous MegaLog

Completed in 129 milliseconds

<<111213141516171819