This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Sof...
详细信息
ISBN:
(数字)9783642050312
ISBN:
(纸本)9783642050305
This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software.
It was the aim of the conference to present issues in parallel computing to a community of potential engineering/scientific users. An overview of the state-of-the-art in several important research areas is given by le...
详细信息
ISBN:
(数字)9783540388487
ISBN:
(纸本)9783540189237
It was the aim of the conference to present issues in parallel computing to a community of potential engineering/scientific users. An overview of the state-of-the-art in several important research areas is given by leading scientists in their field. The classification question is taken up at various points, ranging from parametric characterizations, communication structure, and memory distribution to control and execution schemes. Central issues in multiprocessing hardware and operation, such as scalability, techniques of overcoming memory latency and synchronization overhead, as well as fault tolerance of communication networks are discussed. The problem of designing and debugging parallel programs in a user-friendly environment is addressed and a number of program transformations for enhancing vectorization and parallelization in a variety of program situations are described. Two different algorithmic techniques for the solution of certain classes of partial differential equations are discussed. The properties of domain-decomposition algorithms and their mapping onto a CRAY-XMP-type architecture are investigated and an overview is given of the merit of various approaches to exploiting the acceleration potential of multigrid methods. Finally, an abstract performance modeling technique for the behavior of applications on parallel and vector architectures is described.
Moderne Hochleistungsrechner mit akzeptablem Programmieraufwand effizient zu nutzen, erfordert eine höhere Programmiersprache. High Performance Fortran (HPF), ein De-facto-Standard im Bereich des Hochleistungsrec...
详细信息
ISBN:
(数字)9783642595035
ISBN:
(纸本)9783540423669
Moderne Hochleistungsrechner mit akzeptablem Programmieraufwand effizient zu nutzen, erfordert eine höhere Programmiersprache. High Performance Fortran (HPF), ein De-facto-Standard im Bereich des Hochleistungsrechnens, ermöglicht die Programmierung von Parallelrechnern auf einer sehr hohen und damit benutzerfreundlichen Abstraktionsebene bei gleichzeitiger Erzielung hoher Laufzeiteffizienz.;Das vorliegende Buch gibt eine Einführung in den Bereich des Hochleistungsrechnens und beschreibt den aktuellen Stand der Entwicklungen bei HPF. Es bietet Programmierern von Hochleistungsrechnern und Anwendern paralleler numerischer Algorithmen eine unentbehrliche Unterstützung bei der Verwendung von HPF.
This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The 15 revised full papers presented were carefully reviewed and selected ...
详细信息
ISBN:
(数字)9783642176944
ISBN:
(纸本)9783642176937
This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The 15 revised full papers presented were carefully reviewed and selected from 49 submissions. They cover a broad range of subjects related to service-oriented architectures and the underlying cloud infrastructure and are organized in topical sections on cloud computing, service adaptation and identification, infrastructures, applications and mashups, and engineering of service-oriented applications. In addition to the scientific track, 24 extended abstracts of demonstrations covering a wide spectrum of technology and application domains were accepted out of 31 submissions.
This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and programming (CAAP '94), which was held jointly with the fifth European Symposium on programming (ESOP '9...
详细信息
ISBN:
(数字)9783540483731
ISBN:
(纸本)9783540578796
This volume contains the papers selected for presentation at the 19th Colloquium on Trees in Algebra and programming (CAAP '94), which was held jointly with the fifth European Symposium on programming (ESOP '94) in Edinburgh in April 1994. Originally this colloquium series was devoted to the algebraic and combinatorial properties of trees, and their role in various fields of computer science. Taking into account the evolution of computer science, CAAP '94 focuses on logical, algebraic and combinatorial properties of discrete structures (strings, trees, graphs, etc.); the topics also include applications to computer science provided that algebraic or syntactic methods are involved. The volume contains 21 papers selected from 51 submissions as well as two invited papers.
This book constitutes the refereed proceedings of the 21st Asian Symposium on programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.;The 15 full papers...
详细信息
ISBN:
(数字)9789819983117
ISBN:
(纸本)9789819983100
This book constitutes the refereed proceedings of the 21st Asian Symposium on programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26–29, 2023.;The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.
暂无评论