Proceedings of the 1993 International Conference on Parallel Processing
Proceedings of the 1993 International Conference on Parallel Processing

Author: C.Y. Roger Chen

Publisher: CRC Press

Published: 1993-08-16

Total Pages: 392

ISBN-13: 9780849389849

DOWNLOAD EBOOK

This three-volume work presents a compendium of current and seminal papers on parallel/distributed processing offered at the 22nd International Conference on Parallel Processing, held August 16-20, 1993 in Chicago, Illinois. Topics include processor architectures; mapping algorithms to parallel systems, performance evaluations; fault diagnosis, recovery, and tolerance; cube networks; portable software; synchronization; compilers; hypercube computing; and image processing and graphics. Computer professionals in parallel processing, distributed systems, and software engineering will find this book essential to their complete computer reference library.

The 29th Annual Simulation Symposium
The 29th Annual Simulation Symposium

Author: IEEE

Publisher: Institute of Electrical & Electronics Engineers(IEEE)

Published: 1996-04

Total Pages: 290

ISBN-13: 9780818674327

DOWNLOAD EBOOK

Papers from the April 1996 symposium address traditional simulation topics in discrete-event, continuous, digital, and analog simulation, and explore areas of distributed systems, network modeling, and simulation, as well as advances in simulation methodology and practices. Topics include parallel a

Reversible Computation
Reversible Computation

Author: Simon Devitt

Publisher: Springer

Published: 2016-06-29

Total Pages: 341

ISBN-13: 3319405780

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. The 18 full and 5 short papers included in this volume were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: process calculi; reversible models; programming languages; quantum computing; quantum programming; circuit theory; and syntheses.

Supercomputing Research Advances
Supercomputing Research Advances

Author: Yongge Huáng

Publisher: Nova Publishers

Published: 2008

Total Pages: 448

ISBN-13: 9781604561869

DOWNLOAD EBOOK

Supercomputers are used for highly calculation-intensive tasks such as problems involving quantum mechanical physics, weather forecasting, climate research (including research into global warming), molecular modelling (computing the structures and properties of chemical compounds, biological macromolecules, polymers, and crystals), physical simulations (such as simulation of aeroplanes in wind tunnels, simulation of the detonation of nuclear weapons, and research into nuclear fusion), cryptanalysis, and the like. Major universities, military agencies and scientific research laboratories are heavy users. This book presents the latest research in the field from around the world.

Discrete-Event Modeling and Simulation
Discrete-Event Modeling and Simulation

Author: Gabriel A. Wainer

Publisher: CRC Press

Published: 2017-12-19

Total Pages: 694

ISBN-13: 1351835351

DOWNLOAD EBOOK

Complex artificial dynamic systems require advanced modeling techniques that can accommodate their asynchronous, concurrent, and highly non-linear nature. Discrete Event systems Specification (DEVS) provides a formal framework for hierarchical construction of discrete-event models in a modular manner, allowing for model re-use and reduced development time. Discrete Event Modeling and Simulation presents a practical approach focused on the creation of discrete-event applications. The book introduces the CD++ tool, an open-source framework that enables the simulation of discrete-event models. After setting up the basic theory of DEVS and Cell-DEVS, the author focuses on how to use the CD++ tool to define a variety of models in biology, physics, chemistry, and artificial systems. They also demonstrate how to map different modeling techniques, such as Finite State Machines and VHDL, to DEVS. The in-depth coverage elaborates on the creation of simulation software for DEVS models and the 3D visualization environments associated with these tools. A much-needed practical approach to creating discrete-event applications, this book offers world-class instruction on the field’s most useful modeling tools.

Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages

Author: Gopal Gupta

Publisher: Springer

Published: 2003-05-20

Total Pages: 377

ISBN-13: 3540492011

DOWNLOAD EBOOK

Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.