Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book presents the state-of-the-art in simulation on supercomputers. Leading researchers present results achieved on systems of the Gauss-Allianz, the association of High-Performance Computing centers in Germany. The reports cover all fields of computational science and engineering, ranging from CFD to Computational Physics and Biology to Computer Science, with a special emphasis on industrially relevant applications. Presenting results for large-scale parallel microprocessor-based systems and GPU and FPGA-supported systems, the book makes it possible to compare the performance levels and usability of various architectures. Its outstanding results in achieving the highest performance for production codes are of particular interest for both scientists and engineers. The book includes a wealth of color illustrations and tables."

"This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics, foundations of algebraic specification, other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing, specification languages, methods, and environments, semantics of conceptual modeling methods and techniques, model-driven development, graph transformations, term rewriting and proof systems, integration of formal specification techniques, formal testing and quality assurance validation, and verification."

"This book covers recent advances in the development and usage of DUNE. It consists of a collection of 13 articles which mainly evolved from talks given at the First DUNE User Meeting in Stuttgart, Germany, 6.-8.10.2010. The articles nicely illustrate the advanced capabilities and the strong versatility of the DUNE framework. The first part presents extensions of the DUNE core modules, including the construction of local finite element spaces, a discretization toolbox, and two meta-grids, as well as a discussion of performance pitfalls. The second part introduces several external DUNE modules dealing with, e.g., reduced basis methods, unfitted discontinuous Galerkin methods, optimal control problems, and porous media applications. Specific methods and applications are subject of the third part, ranging from two-phase flow in porous media over the implementation of hybrid discontinuous Galerkin and heterogeneous multi-scale methods up to the coupling of DUNE with an existing finite element package."

"The ATOP (Agent-Based Technologies and Applications for Enterprise Interoperability) workshop series focuses on technologies that support interoperability in networked organizations, on successful applications of these technologies, and on lessons learned. In particular, ATOP brings together research combining ideas from MDA and SOA with agent technologies. The ATOP 2009 and 2010 workshops were held at the AAMAS conferences in Budapest, Hungary, in May 2009, and in Toronto, Canada, in May 2010. The 11 papers presented here were carefully reviewed by three members of the international Program Committee and selected out of 25 contributions to the workshops. The topics covered are modeling interoperable systems, semantic approaches to enterprise interoperability, and interoperable business processes and business interactions. These papers are completed by an invited contribution reporting on OMG agent standardization. The main goal was to collect approaches for the application of agent technologies in these areas. Current trends in the development of agent technologies are compared with recent developments in service-oriented and model-driven system design, with respect to their ability to solve interoperability problems."