Articles liés à PARLE '91. Parallel Architectures and Languages...
PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings - Couverture souple
Synopsis
The innovative progress in the development of parallel computing systems and their increasing availability have caused a rise in interest in the scientific principles that underlie parallel computation and parallel programming. The biannual Parallel Architectures and Languages Europe (PARLE) conferences aim to present current research on all aspects of the theory, design and application of parallel computing systems and parallel processing.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour PARLE '91. Parallel Architectures and Languages...
Image fournie par le vendeur
PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings: 2 (Lecture Notes in Computer Science)
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Ancien ou d'occasion
Taschenbuch
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Gut. 504 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 969. N° de réf. du vendeur 270483
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Parallel architectures and languages Europe Teil: Vol. 2., Parallel languages / Lecture notes in computer science ; Vol. 506
Edité par
Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Ancien ou d'occasion
Softcover
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Softcover. 1991. XV, 488 S. : graph. Darst. Edition 1991! Good condition. Sligt traces of storage and use. 9783540541523 Sprache: Englisch Gewicht in Gramm: 839. N° de réf. du vendeur 215041
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
PARLE 91. Parallel Architectures and Languages Europe
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP par. N° de réf. du vendeur 4893083
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems. N° de réf. du vendeur 9783540541523
Quantité disponible : 1 disponible(s)
Image d'archives
PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science, 506)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540541523_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
PARLE '91. Parallel Architectures and Languages Europe
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1991, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch. N° de réf. du vendeur 9783540541523
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
PARLE '91. Parallel Architectures and Languages Europe
Edité par
Springer Berlin Heidelberg Mai 1991, 1991
ISBN 10 : 3540541527
ISBN 13 : 9783540541523
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Loosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems. 512 pp. Englisch. N° de réf. du vendeur 9783540541523
Quantité disponible : 2 disponible(s)
Image d'archives
PARLE '91. Parallel Architectures and Languages Europe : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540541523
Quantité disponible : 10 disponible(s)
Image d'archives
PARLE '91. Parallel Architectures and Languages Europe: Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings (Lecture Notes in Computer Science, 506)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020169919
Quantité disponible : Plus de 20 disponibles