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 | ||
| ||
PARLE ’92. Parallel Architectures and Languages Europe [[electronic resource] ] : 4th International PARLE Conference, Paris, France, June 15–18, 1992 Proceedings / / edited by Daniel Etiemble, Jean-Claude Syre
| PARLE ’92. Parallel Architectures and Languages Europe [[electronic resource] ] : 4th International PARLE Conference, Paris, France, June 15–18, 1992 Proceedings / / edited by Daniel Etiemble, Jean-Claude Syre |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XVII, 990 p.) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Architecture, Computer
Microprocessors Computer programming Computer communication systems Operating systems (Computers) Special purpose computers Computer System Implementation Processor Architectures Programming Techniques Computer Communication Networks Operating Systems Special Purpose and Application-Based Systems |
| ISBN | 3-540-47250-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | EDS: A parallel computer system for advanced information processing -- A decompositional approach to the design of efficient parallel programs -- Space-efficient parallel merging -- On embedding interconnection networks into rings of processors -- Asynchronous mobile processes and graph rewriting -- PTAH Introduction to a new parallel architecture for highly numeric processing -- The Topsy project: a position paper -- Optimal algorithms for dissemination of information in generalized communication modes -- Efficient parallel algorithms on interval graphs -- SYMPATIX: a SIMD computer performing the low and intermediate levels of image processing -- 1-Dimensional parallel FFT benchmark on SUPRENUM -- On designing fault-tolerant extensions with optimal fanout for complete bipartite networks -- Application-specific deadlock free wormhole routing on multicomputers -- Scalability problems in multiprocessors with private caches -- Promises and issues in optical computing -- A model to design reusable parallel software components -- Extensibility and reuse of object-oriented synchronization components -- Using parallelism and pipeline for the optimisation of join queries -- Performance evaluation of parallel transaction processing in shared nothing database systems -- Explicit expression of multidimensional data parallelism -- Programming massively parallel architectures with sequential object oriented languages -- A new program transformation to minimise communication in distributed memory architectures -- Distributed termination enforcement -- Verification of systolic architecture designs -- Reduction operators in Alpha -- An operational semantics for a parallel functional language with continuations -- A concurrent and distributed extension of scheme -- New techniques for Cycle Shrinking -- Loop restructuring techniques for thrashing problem -- Characterizing the paralation model using dynamic assignment -- An implementation of static functional process networks -- Translating concurrent programs into VLSI chips -- Message-brokers and communicating prolog processes -- Extensions to a parallel prolog system to support real-time applications -- Declarative programming for conventional MIMD multiprocessors -- Minimizing loop storage allocation for an argument-fetching dataflow architecture model -- Performance of Muse on the BBN Butterfly TC2000 -- And-or parallelism in full Prolog with paged Binding Arrays -- Improving the efficiency of virtual channels with time-dependent selection functions -- Using Opportunistic combining networks to reduce contention in multicomputers -- Mixed-mode multicomputers with load adaptability -- Architecture of parallel management kernel for PIE64 -- Concurrent data structures for hypercube machine -- Repeated matrix squaring for the parallel solution of linear systems -- Performance evaluation of cache memories in tightly coupled multiprocessor systems -- An evaluation of set-associativity in two-level caches for shared memory multiprocessors -- Reliable communication in VPL -- Paragon specifications: Structure, analysis and implementation -- Stanford DASH multiprocessor: The hardware and software approach -- Dynamic action scheduling in a parallel database system -- A compositional approach for the design of a parallel query processing language -- Back and forth bisimulations on prime event structures -- Dynamic concurrent processes -- Exegesis of DBC/1012 and P-90 - industrial supercomputer database machines -- Exploiting parallelism in primitive operations on bulk data types -- Comparative semantics of ?Log -- A framework for parallel composition of protocols -- A case study: Parallel program development for a recursive numerical algorithm -- A distributed protocol for channel-based communication with choice -- A refinement of communicating processes -- Distributing finite transition systems extended abstract -- Coping with the process proliferation problem in concurrent object-based language implementations -- Correctness of flat data parallel algorithms: an axiomatic approach and examples -- Generating memory-efficient imperative data structures from systolic programs -- Geometric transforms on parallel architecture -- Implementing cut in a distributed data driven OR-parallel prolog environment -- Optical interconnects for parallel systems: Demonstration of an optical link with multiple-quantum-well opto-electronic arrays -- Parallel task assignment by graph partitioning -- Parallelizing recursive logic programs through decomposition -- Performance analysis of the network of the GFLOPS parallel architecture -- Prelude: A system for portable parallel software -- Routing in Hypercycles. Deadlock free and backtracking strategies -- Serialisation as a paradigm for the engineering of parallel programs -- SIMCDL: Simulating parallel programming in a sequential environment -- XFSM: A formal model of communicating state machines for implementation specifications -- XPRAM model and programming interface. |
| Record Nr. | UNISA-996465782503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||