Searched refs:from (Results 376 - 400 of 527) sorted by relevance

<<11121314151617181920>>

/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dtutorial.tex52 %% trick to stop latex2html from including the file
193 % <sect1> Entering Programs from the Terminal
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsstring.tex44 The system provides efficient builtins for converting from one data
81 At a first glance, an atom does not look too different from a string.
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dbags.pl31 A bag B is a function from a set dom(B) to the non-negative integers.
32 For the purposes of this module, a bag is constructed from two functions:
/barrelfish-master/doc/016-serial-ports/
H A DSerial.tex15 % \date{Month Year} % Not needed - will be taken from version history
210 This document does not address accessing a single UART from more than
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/
H A Dtoolbox.pl328 % if j removed from the domain of V, remove i from the domain of Vals(j), redelay
H A Dgrace.pl121 from sepia_kernel.
133 import add_attribute/3 from sepia_kernel.
139 from sepia_kernel
/barrelfish-master/usr/eclipseclp/ecrc_solvers/
H A Dpropia.pl276 % msg is constructed from the previous msg and the new solution.
298 % previous msg OldVars is extracted from GlobCar and a new msg constructed
299 % from Vars and OldVars. GlobVar is now set to this new msg. If the
306 % msg from GlobVar and instantiates NewVars.
H A Dchr.pl505 (import Handler from Module154),
526 (import Handler from Module273),
625 :- (import subcall/3 from sepia_kernel), set_flag(subcall/3, leash, notrace).
H A Dconjunto.pl73 defined from the union of the domains or known sets appearing in Lsets.
196 summary:"Var is an element of type e(Val,Weight) from a weighted domain. Wvar is a
296 fail_if:" Fails if List is not ground or if Svar is ground and different from the\n computed set.\n\n",
343 domain which belongs to the set resulting from the difference of the
383 args:["+Flag" : "A ground value from fglb, lubg.", "?Svar" : "A set domain variable.", "+Var" : "A ground set."],
385 fail_if:" Fails if Svar is ground and different from Var or if the new upper bound\n is not contained in the old one or the new lower bound does not contain\n the old one.\n\n",
421 set of elements chosen from the smallest one to the biggest one. If
532 fail_if:" Fails if Svar is not ground or if List is ground and different from the\n computed list.\n\n",
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dnot_equals.pl70 from sepia_kernel.
/barrelfish-master/usr/monitor/
H A Dmultihop_support.c31 * information from the System Knowledge Base (SKB).
48 // (this is a kludge used while receiving entries from the rts program)
51 // hack for synchronisation when requesting routing table from another monitor
99 // start to receive a new routing table from the RTS
118 // receive a part of the routing table from RTS (routing table set-up dispatcher)
120 coreid_t from, const coreid_t *to,
126 assert(from <= routing_table_max_coreid);
127 assert(routing_table[from] == NULL);
129 routing_table[from] = memdup(to, len * sizeof(coreid_t));
134 " routing table (from RT
119 multihop_routing_table_set(struct monitor_binding *b, coreid_t from, const coreid_t *to, size_t len) argument
[all...]
/barrelfish-master/usr/skb/programs/
H A Dbridge_postorder.pl34 % main goal to be called from outside
159 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
H A Dbridge_fake_bigfish.pl11 % from running Barrelfish input to ECLiPSe on Linux and dumping the
48 % main goal to be called from outside
205 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
H A Dbridge_page.pl70 % main goal to be called from outside
90 % exclude fixed memory from being allocated to devices
103 % exclude fixed memory from being allocated to devices
118 % exclude IOAPIC regions from being allocated to devices
569 % create the PCI(e) device tree from a list of "buselement" and return it in Tree
/barrelfish-master/usr/eclipseclp/Oci/
H A Ddbi.c44 * taken from oci.c
47 * Author: Kish Shen, Generalised and updated from original OCI code,
774 if (t->to == t->from)
777 if (res = template_put(t->from , t, cursor->sql_type, cursor->tuple_buffer, cursor->tuple_datalengths, &p_tuple))
782 t->from++;
/barrelfish-master/lib/openssl-1.0.0d/ssl/
H A Ds2_clnt.c35 * The word 'cryptographic' can be left out if the rouines from the library
37 * 4. If you include any Windows specific code (or a derivative thereof) from
79 * endorse or promote products derived from this software without
83 * 5. Products derived from this software may not be called "OpenSSL"
128 static int ssl_rsa_public_encrypt(SESS_CERT *sc, int len, unsigned char *from,
454 /* We have just received a list of ciphers back from the
1024 /* loads in the certificate from the server */
1093 static int ssl_rsa_public_encrypt(SESS_CERT *sc, int len, unsigned char *from, argument
1112 i=RSA_public_encrypt(len,from,to,pkey->pkey.rsa,padding);
H A Ds2_srvr.c35 * The word 'cryptographic' can be left out if the rouines from the library
37 * 4. If you include any Windows specific code (or a derivative thereof) from
79 * endorse or promote products derived from this software without
83 * 5. Products derived from this software may not be called "OpenSSL"
128 static int ssl_rsa_private_decrypt(CERT *c, int len, unsigned char *from,
256 * flush it and remove buffering from
726 * or was retrieved from an external cache.
984 /* this is the one place where we can recover from an SSL 2.0 error */
1112 static int ssl_rsa_private_decrypt(CERT *c, int len, unsigned char *from, argument
1131 i=RSA_private_decrypt(len,from,t
[all...]
/barrelfish-master/usr/eclipseclp/Eplex/
H A Deplex_xpress.c416 * Get State Information from External Solver *
422 so always obtain solution information from lpcopy
460 /* bestbound may be different from objval because of tolerance */
622 from a barrier solve. So we may arrive here if the
703 the MIP case (and basis was obtained already from the root LP)
731 cpx_delsos(lp_desc *lpd, int from, int to) argument
737 return XPRSdelsets(lpd->lp, to-from, &lpd->numbers[from]);
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dcalendar.pl42 space travel etc. It is defined for a long period from
59 The code is valid for dates starting from
69 % numbering starting from (nonexistent) 1.3.0000.
135 summary:"Extracts the time in H:M:S form from a float MJD",
H A Dfd_domain.pl67 from sepia_kernel.
183 from fd_arith.
198 from sepia_kernel.
329 % Do the wakings that result from changing Attr's domain to NewDom
981 % Make a partial list of integers from M to N
H A Dmegalog.pl35 ** It is intended that a user who moves his/her programs from
83 :- op(0, xfx, from).
495 /* This is copied completely from MegaLog into Sepia-MegaLog integration */
682 MegaLog : number of timers from database system
1024 from shared memory is done in 'C' (see sepia/bip_control.c: p_exit() ).
H A Dquintus.pl78 arise from the different meaning of quotes in Eclipse vs Quintus-Prolog.
264 from cprolog.
268 from cprolog.
388 from sepia_kernel.
701 import_body((Pred from F), M),
H A Dkb.pl36 from "@(#)ecc.pl 1.23 12/20/91"
82 :- import import_body/2, is_predicate_/2 from sepia_kernel.
418 ** % relations from 'user'
420 ** % relations from a given File
653 ** that are variants look identical apart from variable renaming. Note that a
709 /* delete the result of a query from relation X */
715 /* delete relation Rel from relation RX */
724 /* delete the result of a query from relation RX */
732 /* Delete clauses appearing in RRel from RX */
1120 % from th
[all...]
/barrelfish-master/usr/eclipseclp/icparc_solvers/ilog/
H A Dfd_min_max.pl83 from sepia_kernel.
184 Cost < Low % restart from repeat
423 branch_and_bound/8, % called from block
/barrelfish-master/usr/drivers/xeon_phi/
H A Dxphi_service.c522 uint64_t to, uint64_t from, uint64_t bytes)
531 XSERVICE_DEBUG("dma_memcpy_call_rx(%lx, %lx)\n", to, from);
544 err = xdma_memcpy(svc_st->phi, svc_st->dma_mem_mgr, to, from, bytes, msg_st);
661 XSERVICE_DEBUG("xphi_svc_connect_cb: new connection from domain.\n");
521 dma_memcpy_call_rx(struct xeon_phi_binding *binding, uint64_t to, uint64_t from, uint64_t bytes) argument

Completed in 202 milliseconds

<<11121314151617181920>>