Вычислительные технологии в естественных науках.Методы суперкомпьютерного моделирования. Сборник трудов
This issue is the collection of the papers based on the talks presented at the extended workshop “Methods of simulations on supercomputers”, which was held at 17–19 November 2014, in Tarusa hotel Interkosmos of the RAS Space Research Institute. It is the Conference in the series of extended workshops and conferences, devoted to the computer technologies in natural sciences.
This book constitutes the refereed proceedings of the 4th Russian Supercomputing Days, RuSCDays 2018, held in Moscow, Russia, in September 2018.
The 59 revised full papers and one revised short paper presented were carefully reviewed and selected from 136 submissions. The papers are organized in topical sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and technologies.
We present an approach for the realization of classical problem of computations – multidimensional integration by Monte Carlo methods. This method widely using in many areas, from oil and gas production to economy. Using SIMD and CUDA architecture improves drastically computations. We provide details of the testing on the Russian powerful supercomputer “Lomonosov” effectively using 3000 GPUs.
Aspects of Development and Creation of Cluster Computing Systems Aladyshev O.S., Vdovikin O.I., Ovsyannikov A.P., Opalev V.M., Telegin P.N., Shabanov B.M. The aspects necessary for designing and creating clusters have been considered.
Software analysis is becoming increasingly important as a way of software quality assurance. Most works in this area focus their attention on a single machine scenario, when the analysis is run and implemented on a single processing node, as it seems to be a good fit for the current software development methodologies. We argue that in some cases it is reasonable to employ high performance computing (HPC) to do software analysis, if the performance impact is worth the increase in computational requirements. In this paper we present our experience with the implementation of a HPC version of the bounded model checker Borealis, major problems we encountered together with their solutions, and the evaluation results on a number of different real-world projects. © Springer International Publishing AG 2018.
"Parallel Computing Technologies (PaVT) 2016" - an international scientific conference, the tenth in a series of annual conferences devoted to the development and application of parallel computing technologies in various fields of science and technology. The main purpose of the conference - to provide an opportunity to discuss the prospects for the development of parallel computing technology and presentation of the results obtained by leading research groups in the use of supercomputer technologies for solving problems in science and technology. Organizers: Federal Agency of Russian scientific organizations, Supercomputing Consortium of Russian Universities. Conference topics cover all aspects of the application of high performance computing in science and technology, including applications, hardware and software, specialized languages and packages. Proceedings PaVT 2016 indexed in the bibliographic database Scopus.
This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.