Searched refs:features (Results 26 - 50 of 65) sorted by relevance

123

/barrelfish-master/usr/eclipseclp/documents/mpslib/
H A Doutline.tex203 try out the basic features. Start a name server on the host of your
208 We recommend you to not use the advanced features but start a name server
481 on some features of the UNIX mmap() primitive that are not supported
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/
H A Dgc.tex28 Since these features have been described in the works cited above,
H A Druntime.tex448 A number of other module-related features are implemented on a higher
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dintroduction.tex31 of new features and redesign as part of our ongoing work.
H A Deplex.tex1254 support for this combination, which enhance the features provided and
1361 \item Different solvers may support different features. In particular,
1367 \item Some features may be poorly supported by a particular solver, and
1397 The features provided by eplex OSI is determined by the actual
1404 improving, so some of the features may be directly supported via OSI in the
H A Drepair.tex37 The Repair library provides two simple, fundamental features which are
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dmodelling.tex176 Easy to add domain-specific language features
H A Dumsusing.tex113 indentation and many other features. To use this mode, you need to load the
276 all the features of {\tkeclipse}. Simply select the entry from the
H A Deplex.tex45 following section discusses some of the more advanced features of the library
518 how this can be improved usin more advanced features of \texttt{lib(eplex)}.
H A Dfdintro.tex632 using a few features of the fd library. Here it is:
H A Dtkdebug.tex46 At the end of the chapter, there is a summary of the main features of the
H A Deprolog.tex164 For convenience, \eclipse{} has some features for facilitating working with
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dcprolog.pl83 then C-Prolog and Eclipse language features can be used together.
H A Dmodes.pl94 Restrictions: Programs that use coroutining features cannot be analysed.
H A Dquintus.pl76 then Quintus and Eclipse language features can be used together.
/barrelfish-master/doc/014-bulk-transfer/
H A Dbulk-transfer.tex268 which supports following features.
1094 adapt with different designs and features of NIC hardwares.
1100 features provided by the generators. One of the example of such an
1107 This design still misses some good features in favor of keeping the
1108 complexity reasonable. These features include support for
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembtclmulti.tex314 demonstrating this multitasking features of this example program, the type
H A Ddbi.tex36 A number of features are designed to permit transfer of large amounts
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsparallel.tex275 Some features of sequential {\eclipse} are not fully
H A Dumsmodules.tex773 but not all of {\eclipse}'s usual language features.
/barrelfish-master/doc/015-disk-driver-arch/
H A Dlibahci.tex235 features makes a custom API preferable. As an example, consider the layout of
/barrelfish-master/doc/003-hake/
H A DHake.tex544 library}'', it's a good idea to understand how these features use
778 Hake is missing many desirable features. Hopefully, this list will
/barrelfish-master/doc/017-arm/
H A DARM.tex283 features through the system call interface. If the kernel was not
664 ARM. In the following we will list some features of GEM5.
/barrelfish-master/usr/eclipseclp/documents/intro_paper/
H A Declipse.tex140 which suits the particular features of the application.
376 share many of the features of logic programming.
550 \ECL supports object-orientation through two distinct features, {\em
1141 Queries 4, 5 and 6 illustrate some features of finite domain constraint
2624 to separate the features of the different algorithms both from each
/barrelfish-master/usr/eclipseclp/documents/applications/
H A Dtutorial.tex98 Most of the existing textbooks on logic programming carefully describe all language features, but do not provide information how to use these features to obtain particular objectives or how to develop complete systems that can be maintained and extended easily.
102 The book ``The Craft of Prolog'' by Richard O'Keefe is an invaluable source for writing efficient Prolog programs. Many of the techniques and tricks presented are also applicable to writing efficient ECLiPSe programs. The underlying maxim ``elegance is not optional'' summarizes the spirit of declarative programming. As the book is based on a standard Edinburgh style Prolog, it does not handle issues of module structure and in-line documentation, nor other ECLiPSe specific features.
104 The ECLiPSe documentation contains most of the information provided in this tutorial, but presents it in a very different way. Invariably, it describes all features of the system, many of which are only required for quite specific (if important) tasks like developing new constraint engines inside the system. It can be difficult to find which parts of the documentation contains important hints to solve a particular problem. On the other hand, it will be useful to look up each feature in the user manual and/or the reference manual as they occur in the tutorial.

Completed in 108 milliseconds

123