Searched refs:features (Results 26 - 50 of 65) sorted by relevance
123
/barrelfish-master/usr/eclipseclp/documents/mpslib/ |
H A D | outline.tex | 203 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 D | gc.tex | 28 Since these features have been described in the works cited above,
|
H A D | runtime.tex | 448 A number of other module-related features are implemented on a higher
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | introduction.tex | 31 of new features and redesign as part of our ongoing work.
|
H A D | eplex.tex | 1254 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 D | repair.tex | 37 The Repair library provides two simple, fundamental features which are
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | modelling.tex | 176 Easy to add domain-specific language features
|
H A D | umsusing.tex | 113 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 D | eplex.tex | 45 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 D | fdintro.tex | 632 using a few features of the fd library. Here it is:
|
H A D | tkdebug.tex | 46 At the end of the chapter, there is a summary of the main features of the
|
H A D | eprolog.tex | 164 For convenience, \eclipse{} has some features for facilitating working with
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | cprolog.pl | 83 then C-Prolog and Eclipse language features can be used together.
|
H A D | modes.pl | 94 Restrictions: Programs that use coroutining features cannot be analysed.
|
H A D | quintus.pl | 76 then Quintus and Eclipse language features can be used together.
|
/barrelfish-master/doc/014-bulk-transfer/ |
H A D | bulk-transfer.tex | 268 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 D | embtclmulti.tex | 314 demonstrating this multitasking features of this example program, the type
|
H A D | dbi.tex | 36 A number of features are designed to permit transfer of large amounts
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsparallel.tex | 275 Some features of sequential {\eclipse} are not fully
|
H A D | umsmodules.tex | 773 but not all of {\eclipse}'s usual language features.
|
/barrelfish-master/doc/015-disk-driver-arch/ |
H A D | libahci.tex | 235 features makes a custom API preferable. As an example, consider the layout of
|
/barrelfish-master/doc/003-hake/ |
H A D | Hake.tex | 544 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 D | ARM.tex | 283 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 D | eclipse.tex | 140 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 D | tutorial.tex | 98 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