Searched refs:encoding (Results 26 - 38 of 38) sorted by relevance

12

/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dmodelling.tex320 or using an arithmetic encoding like in
H A Dprolog.tex814 %With this encoding, the first list has to be traversed fully to find
959 Consider the following encoding of the ``minimum'' predicate:
964 Whilst logically correct, the behaviour of this encoding is
H A Deprolog.tex374 ascii encoding, for example:
H A Dpropiachr.tex650 The CHR encoding starts by generating a clique whenever two variables
H A Dsearch.tex172 space that allows compact encoding of sub-spaces.
/barrelfish-master/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex470 encoding is awkward and difficult to debug.
1676 This is the encoding necessary to allow it to be solved using MIP
1816 MIP encoding, either!
1820 The required \ECL encoding remains quite logical, but it needs a new
1831 This syntax is illustrated by the encoding of the tsakResources
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dio.pl194 stream_info_nr(encoding, 33).
257 stream_info_nr(encoding, I),
/barrelfish-master/doc/006-routing/
H A DRouting.tex232 In order to support sending messages, the existing messaging interfaces between dispatchers and their local monitor, and between monitors has been extended. Each multi-hop message contains a VCI, a field encoding the direction of the message and the message payload (as a dynamic array). Furthermore, it contains one field encoding message flags and another field used to acknowledge received messages. Those two fields are used for flow control (see section~\ref{section: flow control}).
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembtcl.tex516 \ref{chapexdr}) is a data encoding that allows to represent a
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dextchr.tex537 constraints. However, a straightforward encoding of the rule may
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dkernel.tex225 sequences of bytes, not characters in a particular encoding\index{encoding}.
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex193 space that allows compact encoding of sub-spaces.
/barrelfish-master/lib/tommath/
H A Dtommath.tex5784 map are for the common representations up to hexadecimal. After that they match the ``base64'' encoding scheme which are suitable chosen

Completed in 136 milliseconds

12