Items related to PARLE Parallel Architectures and Languages Europe:...

PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259) - Softcover

 
9783540179450: PARLE Parallel Architectures and Languages Europe: Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings (Lecture Notes in Computer Science, 259)

Synopsis

Learning translation invariant recognition in a massively parallel networks.- Trace theory and systolic computations.- Boltzmann machines and their applications.- Structured specification of a wafer-scale supercomputer.- A novel deadlock free and starvation free packet switching communication processor.- A parallel architecture for signal understanding through inference on uncertain data.- An axiomatic approach to the specification of distributed computer architectures.- Computing on a systolic Hulls, contours and applications.- Multiprocessor systems programming in a high-level data-flow language.- The twisted cube.- An implemented method for incremental systolic design.- The use of parallel functions in system design.- The translation of processes into circuits.- Mapping strategies in message based multiprocessor systems.- Hardware memory management for large knowledge bases.- Transputer-based experiments with the ZAPP architecture.- Synthesis of systolic arrays for inductive problems.- Practical parallelism using transputer arrays.- Systolic array synthesis by static analysis of program dependencies.- Specification of a pipelined event driven simulator using FP2.- A layered emulator for design evaluation of MIMD multiprocessors with shared memory.- The Alliant FX/ A language driven architecture for parallel processing of dusty deck fortran.- Emulating digital logic using transputer networks (very high parallelism = simplicity = performance).- A two-level approach to logic plus functional programming integration.- Overview of a parallel reduction machine project.- An overview of Delta driven computer.- Design and implementation of a parallel inference machine for first order an overview.- Multi-level simulator for VLSI.- The DOOM system and its A survey of esprit 415 subproject A, philips research laboratories.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
Ex-library paperback in very nice...
View this item

US$ 6.99 shipping within U.S.A.

Destination, rates & speeds

Search results for PARLE Parallel Architectures and Languages Europe:...

Stock Image

Bakker, Jacobus W. de [Editor]; Nijman, A.J. [Editor]; Treleaven, Philip C. [Editor];
Published by Springer, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # DA1411444

Contact seller

Buy Used

US$ 39.77
Convert currency
Shipping: US$ 6.99
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Published by Springer, Berlin, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
Used Taschenbuch oder Softcover

Seller: Butterfly Books GmbH & Co. KG, Herzebrock-Clarholz, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch oder Softcover. Condition: Gut. Zustand: GUTER Zustand. Stichworte: Konferenzschrift Englisch 798g. Seller Inventory # 45361

Contact seller

Buy Used

US$ 31.95
Convert currency
Shipping: US$ 35.11
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540179450

Contact seller

Buy New

US$ 69.84
Convert currency
Shipping: US$ 8.98
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Published by Springer, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020161557

Contact seller

Buy New

US$ 75.52
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540179450_new

Contact seller

Buy New

US$ 65.63
Convert currency
Shipping: US$ 16.20
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Bakker, Jacobus W. de
Published by Springer 1987-05, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540179450

Contact seller

Buy New

US$ 63.75
Convert currency
Shipping: US$ 20.94
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Jacobus W. De Bakker
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1. 484 pp. Englisch. Seller Inventory # 9783540179450

Contact seller

Buy New

US$ 60.61
Convert currency
Shipping: US$ 26.92
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Bakker, Jacobus W. de|Nijman, A. J.|Treleaven, Philip C.
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence f. Seller Inventory # 4883597

Contact seller

Buy New

US$ 55.13
Convert currency
Shipping: US$ 57.33
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Jacobus W. De Bakker
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch. Seller Inventory # 9783540179450

Contact seller

Buy New

US$ 60.61
Convert currency
Shipping: US$ 70.22
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Jacobus W. De Bakker
Published by Springer Berlin Heidelberg, 1987
ISBN 10: 3540179453 ISBN 13: 9783540179450
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Executing a program on the MIT Tagged-Token Dataflow architecture.- PARLOG: The language and its applications.- Functional programming and communicating processes.- Garbage collection in a distributed environment.- Decidability of bisimulation equivalence for processes generating context-free languages.- An approach to programming process interconnection structures: Aggregate rewriting graph grammars.- Specifying functional and timing behavior for real-time applications.- Term graph rewriting.- Towards an intermediate language based on Graph Rewriting.- Distributed garbage collection using reference counting.- Rigorous development of a distributed calendar system.- A reduction semantics for imperative higher-order languages.- Petri net models for algebraic theories of concurrency.- A computational model for distributed systems using operator nets.- Design and proof of communicating sequential processes.- Parallel programming in Temporal Logic.- 'Ruth: A functional language for real-time programming'.- A compositional proof theory for real-time distributed message passing.- STREAM: A scheme language for formally describing digital circuits.- A fully abstract semantics for data flow nets.- The concurrent assignment representation of synchronous systems.- A new and efficient implementation of multiprocess synchronization.- Rewriting techniques for the temporal analysis of communicating processes.- Optimistic and-parallelism in Prolog.- An efficient garbage collection scheme for parallel computer architectures.- Task sequencing language for specifying distributed Ada systems TSL-1. Seller Inventory # 9783540179450

Contact seller

Buy New

US$ 60.61
Convert currency
Shipping: US$ 74.48
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket