Parallel execution of Parlog
This monograph concentrates on the implementation of concurrent logic programming languages on loosely-coupled parallel computer architectures. Two different abstract models are also considered: a graph reduction based model and a more imperative approach. The design of a specialized instruction set...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | Cheese, Andrew, 19..- |
|---|---|
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
586 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Parallel execution of Parlog, A. Cheese, Berlin, Springer-Verlag, 1992, 1 vol. (IX-184 p.), Lecture notes in computer science, 3-540-55382-7 • Parallel Execution of Parlog, Texte imprimé, 9783662181027 |
Παρόμοια τεκμήρια
-
A Survey of verification techniques for parallel programs
(Livre numérique)
Barringer, Howard, 1951- - Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings (Livre numérique)
- Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings (Livre numérique)
-
Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
(Livre numérique)
Banâtre, Jean-Pierre -
Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
(Livre numérique)
Halstead, Robert H., Jr., 1953-

