Bruce D. Shriver

Stefan Jähnichen

Wolfgang Giloi

Proceedings, September 20-23, 1993, Berlin, Germany

Programming Models for Massively Parallel Computers, 1993

The conference was called to address the difficulty of programming distributed memory machines, which is inhibiting the spread of scalable parallel computers; the goal is high-level, application-oriented programming models that assign to the compiler the burdensome, low-level mechanisms of parallel

Programming Models for Massively Parallel Computers, October 9-12, 1995, Berlin, Germany

Proceedings 1995

Jiannong Cao

Ming Xu

Xingming Zhou

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003. This series of workshops is designed to strengthen the cooperation between the German and Chinese institutions active in the area of these technologies. It has continued to grow, providing an excellent forum for reporting advances in parallel processing technologies. The 5th workshop itself addressed the entire gamut of related topics, ranging from the architectural aspects of parallel computer hardware and system software to the applied technologies for novel applications. For this workshop, we received over 191 full submissions from researchers all over the world. All the papers were peer-reviewed in depth and qualitatively graded on their relevance, originality, signi?cance, presentation, and the overall appropriateness for their acceptance. Any concerns raised were discussed in the program committee. The organizing committee did an excellent job in selecting 78 papers (Among them, 21 were short ones) for presentation. In short, the papers included here represent the forefront of research from China, Germany, and the other countries.

5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings

Advanced Parallel Processing Technologies

Manfred Broy

This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance. The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.

Final Report

KORSO: Methods, Languages, and Tools for the Construction of Correct Software

Stefan Jähnichen

Books

Your next favorite book is out there