PARLE '89 - Parallel Architectures and Languages Europe [[electronic resource] ] : Volume II: Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings / / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XVI, 444 p.) |
Disciplina | 003.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer programming Operating systems (Computers) Microprocessors Computer communication systems Computer System Implementation Programming Languages, Compilers, Interpreters Programming Techniques Operating Systems Processor Architectures Computer Communication Networks |
ISBN | 3-540-46184-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Supporting multiparadigm programming on actor architectures -- Multiple tuple spaces in Linda -- Experiments in mimd parallelism -- GTS: Extracting full parallelism out of DO loops -- Dataflow analysis of term graph rewriting systems -- Towards a theory of simulation for verification of concurrent systems -- Eliminating redundant interleavings during concurrent program verification -- Dataflow programs for parallel computations of logic programs and their semantics -- RAPiD a data flow model for implementing parallelism and intelligent backtracking in logic programs -- Pruning and scheduling speculative work in or-parallel Prolog -- Performance analysis of a Parallel Prolog: A correlated approach -- Visual concurrent object-based programming in GARP -- Parle: A parallel target language for integrating symbolic and numeric processing -- A method for refining atomicity in parallel algorithms -- Comparing two fully abstract dataflow models -- Learning by back-propagation: Computing in a systolic way -- Towards systolizing compilation: An overview -- Strategies for a massively parallel implementation of simulated annealing -- The compaction of acyclic terms -- A single-assignment language in a distributed memory multiprocessor -- Single-assignment semantics for imperative programs -- A compiling approach for exploiting and-parallelism in parallel logic programming systems -- Data structures for parallel execution of functional languages -- The typed ?-calculus with first-class processes -- ASPEN: A stream processing environment -- The expressive power of simple parallelism -- Compositionality in the temporal logic of concurrent systems -- A temporal-logic based compositional proof system for real-time message passing. |
Record Nr. | UNISA-996465339203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
PARLE '89 - Parallel Architectures and Languages Europe [[electronic resource] ] : Volume I: Parallel Architectures, Eindhoven, The Netherlands, June 12-16, 1989; Proceedings / / edited by Eddy Odijk, Martin Rem, Jean-Claude Syre |
Edizione | [1st ed. 1989.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
Descrizione fisica | 1 online resource (XIII, 479 p.) |
Disciplina | 003.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Microprocessors Computer communication systems Special purpose computers Computer system failures Computer programming Computer System Implementation Processor Architectures Computer Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation Programming Techniques |
ISBN | 3-540-46183-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The cache coherence protocol of the Data Diffusion Machine -- Universal mechanisms for concurrency -- Serial multiport memory multiprocessors -- Modeling and analysis of multiprocessor systems with priority and multiple resources allocation to the tasks -- Achieving low cost synchronization in a multiprocessor system -- The Synchronous Dataflow MAchine: Architecture and performance -- The lady programming environment for distributed operating systems -- A static scheduling system for a parallel machine (SM)2-II -- Distributed implementation of programmed graph reduction -- Parallel object-oriented descriptions of graph reduction machines -- MaRS, a combinator graph reduction multiprocessor -- High-performance parallel graph reduction -- An efficient distributed garbage collection algorithm -- Mark DURING sweep rather than mark THEN sweep -- Architecture of a communication network processor -- The feasibility of a general-purpose parallel computer using WSI -- A coarse grain parallel architecture for functional languages -- A Functional Programming environment supporting execution, partial execution and transformation -- The gene concept and its implementation for a dataflow schemed parallel computer -- Hybrid structure: A scheme for handling data structures in a data flow environment -- Implementation conditions for delay insensitive circuits -- POOL and DOOM a survey of esprit 415 subproject A, Philips research laboratories -- Multi-level simulator for VLSI on the parallel object-oriented machine -- Overview of a parallel reduction machine project II -- A parallel database accelerator -- IDEAL & K-LEAF implementation: a progress report -- The sto//mann data flow machine -- Partheo: A parallel inference machine ESPRIT 415 subproject F. |
Record Nr. | UNISA-996465337203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
PARLE '91. Parallel Architectures and Languages Europe [[electronic resource] ] : Volume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings / / edited by Emile H.L. Aarts, Jan van Leeuwen, Martin Rem |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (XVII, 495 p.) |
Disciplina | 004.1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Microprocessors
Architecture, Computer Computers Computer communication systems Special purpose computers Computer system failures Processor Architectures Computer System Implementation Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems System Performance and Evaluation |
ISBN | 3-540-47472-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465526803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|