Proceedings of the 1993 International Conference on Parallel Processing

Proceedings of the 1993 International Conference on Parallel Processing
Author: Alok N. Choudhary
Publisher: CRC Press
Total Pages: 338
Release: 1993-08-16
Genre: Computers
ISBN: 9780849389856
GET BOOK

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.

Implementation of Functional Languages

Implementation of Functional Languages
Author: Pieter Koopman
Publisher: Springer
Total Pages: 205
Release: 2006-12-30
Genre: Computers
ISBN: 3540446583
GET BOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International Workshop on the Implementation of Functional Languages, IFL'99, held in Lochem, The Netherlands, in September 1999. The 11 revised full papers presented were carefully selected during two rounds of reviewing. The papers are organized in sections on applications, compilation techniques, language concepts, and parallelism.

Logics and Languages for Reliability and Security

Logics and Languages for Reliability and Security
Author: Javier Esparza
Publisher: IOS Press
Total Pages: 336
Release: 2010
Genre: Computers
ISBN: 160750099X
GET BOOK

Software-intensive systems are today an integral part of many everyday products. Whilst they provide great benefits regarding ease of use and allow for new applications, they also impose enormous responsibilities. It is vital to ensure that such applicati

TAPSOFT '91 - Volume 2

TAPSOFT '91 - Volume 2
Author: S. Abramsky
Publisher: Springer Science & Business Media
Total Pages: 502
Release: 1991-03-28
Genre: Computers
ISBN: 9783540539810
GET BOOK

TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches.

Programming Languages and Systems

Programming Languages and Systems
Author: Gert Smolka
Publisher: Springer
Total Pages: 442
Release: 2003-06-26
Genre: Computers
ISBN: 3540464255
GET BOOK

ETAPS 2000 was the third instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scope. Di erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

Perspectives of Systems Informatics

Perspectives of Systems Informatics
Author: Manfred Broy
Publisher: Springer Science & Business Media
Total Pages: 587
Release: 2004-01-13
Genre: Computers
ISBN: 3540208135
GET BOOK

This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgorodok, Novosibirsk, Russia in July 2003. The 55 revised full papers presented were carefully reviewed and selected from 110 submissions during two rounds of evaluation and improvement. The papers are organized in topical sections on programming, software engineering, software education, program synthesis and transformation, graphical interfaces, partial evaluation and supercompilation, verification, logic and types, concurrent and distributed systems, reactive systems, program specification, verification and model checking, constraint programming, documentation and testing, databases, and natural language processing.