Parallel Computing Technologies

Parallel Computing Technologies
Author: Viktor Ėmmanuilovich Malyshkin
Publisher: Springer Science & Business Media
Total Pages: 480
Release: 2005-08-18
Genre: Computers
ISBN: 3540281266

This book constitutes the refereed proceedings of the 8th International Conference on Parallel Computing Technologies, PaCT 2005, held in Krasnoyarsk, Russia in September 2005. The 38 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on theory, fine-grain parallelism, software, tools, and applications. A broad variety of parallel processing issues and distributed computing in general are addressed as well.

Parallel and Distributed Systems, 1994 International Conference On

Parallel and Distributed Systems, 1994 International Conference On
Author: Lionel M. Ni
Publisher:
Total Pages: 804
Release: 1994
Genre: Computers
ISBN:

The complete proceedings of the December 1994 conference, containing some 120 papers, addresses, and sessions on topics such as teraflop computing, architecture-independent parallel programming, parallel algorithms, FDDI/ATM networks, load balancing, distributed mutual exclusion, interconnection net

Proceedings

Proceedings
Author:
Publisher:
Total Pages: 806
Release: 1994
Genre: Electronic data processing
ISBN:

并行程序设计

并行程序设计
Author: Foster
Publisher:
Total Pages: 381
Release: 2002
Genre: Computer programming
ISBN: 9787115103475

国外著名高等院校信息科学与技术优秀教材

Proceedings

Proceedings
Author: Vladislav Georgievich Zakharevich
Publisher: IEEE Computer Society Press
Total Pages: 492
Release: 2002
Genre: Computers
ISBN:

Quality of Communication-Based Systems

Quality of Communication-Based Systems
Author: Günter Hommel
Publisher: Springer Science & Business Media
Total Pages: 198
Release: 2012-12-06
Genre: Mathematics
ISBN: 9401101876

Quality of Communication-Based Systems presents the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts have been invited to give their views on the research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi and temporal logics Performance evaluation, dependability modelling and analysis of real-time systems with different kinds of timed Petri-nets Specification and analysis of communication protocols Reliability, security and dependability in distributed systems Object orientation in distributed systems architecture Software development and concepts for distributed applications Computer network architecture and management Language concepts for distributed systems.

Communicating Process Architectures 2008

Communicating Process Architectures 2008
Author: P. H. Welch
Publisher: IOS Press
Total Pages: 472
Release: 2008
Genre: Computers
ISBN: 1586039075

Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and information flow between multiple agents and their environment. This has yielded new approaches to compositional model-checking and to analysis for programs with state, concurrency, probability, and other features. Professor Colin O'Halloran has been instrumental in the uptake of formal methods in the development and verification of high assurance systems on an industrial scale. His research interests are in automating the use of formal methods and using these techniques at reasonable cost and on an industrial scale.

VLSI 2010 Annual Symposium

VLSI 2010 Annual Symposium
Author: Nikolaos Voros
Publisher: Springer Science & Business Media
Total Pages: 341
Release: 2011-09-08
Genre: Technology & Engineering
ISBN: 9400714882

VLSI 2010 Annual Symposium will present extended versions of the best papers presented in ISVLSI 2010 conference. The areas covered by the papers will include among others: Emerging Trends in VLSI, Nanoelectronics, Molecular, Biological and Quantum Computing. MEMS, VLSI Circuits and Systems, Field-programmable and Reconfigurable Systems, System Level Design, System-on-a-Chip Design, Application-Specific Low Power, VLSI System Design, System Issues in Complexity, Low Power, Heat Dissipation, Power Awareness in VLSI Design, Test and Verification, Mixed-Signal Design and Analysis, Electrical/Packaging Co-Design, Physical Design, Intellectual property creating and sharing.