Scalable Shared Memory Multiprocessors

Scalable Shared Memory Multiprocessors
Author: Michel Dubois
Publisher: Springer Science & Business Media
Total Pages: 326
Release: 2012-12-06
Genre: Computers
ISBN: 1461536049

The workshop on Scalable Shared Memory Multiprocessors took place on May 26 and 27 1990 at the Stouffer Madison Hotel in Seattle, Washington as a prelude to the 1990 International Symposium on Computer Architecture. About 100 participants listened for two days to the presentations of 22 invited The motivation for this workshop was to speakers, from academia and industry. promote the free exchange of ideas among researchers working on shared-memory multiprocessor architectures. There was ample opportunity to argue with speakers, and certainly participants did not refrain a bit from doing so. Clearly, the problem of scalability in shared-memory multiprocessors is still a wide-open question. We were even unable to agree on a definition of "scalability". Authors had more than six months to prepare their manuscript, and therefore the papers included in this proceedings are refinements of the speakers' presentations, based on the criticisms received at the workshop. As a result, 17 authors contributed to these proceedings. We wish to thank them for their diligence and care. The contributions in these proceedings can be partitioned into four categories 1. Access Order and Synchronization 2. Performance 3. Cache Protocols and Architectures 4. Distributed Shared Memory Particular topics on which new ideas and results are presented in these proceedings include: efficient schemes for combining networks, formal specification of shared memory models, correctness of trace-driven simulations,synchronization, various coherence protocols, .

Logic Programming

Logic Programming
Author: Patricia M. Hill
Publisher: Springer Science & Business Media
Total Pages: 579
Release: 2009-07-24
Genre: Computers
ISBN: 3642028462

This book constitutes the refereed proceedings of the 25th International Conference on Logic Programming, ICLP 2009, held in Pasadena, CA, USA, in July2009. The 29 revised full papers together with 9 short papers, 4 invited talks, 4 invited tutorials, and the abstracts of 18 doctoral consortium articles were carefully reviewed and selected from 69 initial submissions. The papers cover all issues of current research in logic programming, namely semantic foundations, formalisms, nonmonotonic reasoning, knowledge representation, compilation, memory management, virtual machines, parallelism, program analysis, program transformation, validation and verification, debugging, profiling, concurrency, objects, coordination, mobility, higher order, types, modes, programming techniques, abductive logic programming, answer set programming, constraint logic programming, inductive logic programming, alternative inference engines and mechanisms, deductive databases, data integration, software engineering, natural language, web tools, internet agents, artificial intelligence, bioinformatics.

Implementations of Distributed Prolog

Implementations of Distributed Prolog
Author: Peter Kacsuk
Publisher:
Total Pages: 504
Release: 1992-08-11
Genre: Computers
ISBN:

Leading international contributors present papers pertaining to current approaches in the design and implementation of distributed logic languages that are a generation beyond standard Prolog, all of them introducing ideas of distributed and parallel programming in an attempt to bring high performance features to logic programming applications. Details all aspects of underlying research at a number of global centers including language, implementation models and techniques, hardware architecture, performance results, applications and more.

Index to IEEE Publications

Index to IEEE Publications
Author: Institute of Electrical and Electronics Engineers
Publisher:
Total Pages: 1168
Release: 1995
Genre: Electric engineering
ISBN:

Issues for 1973- cover the entire IEEE technical literature.