Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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
| 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 | ||
| ||