Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings. Val. 2.

?

Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings

Vol. 2. University of Rzeszow, 2015.

Под общей редакцией: S. Zbigniew, L. Czaja

An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements

Vladislav Podymov, , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 85–96.

Добавлено: 11 октября 2015 г.

Controlling Petri Net Behavior Using Time Constraints

Ломазова И. А., Popova-Zeugmann L., , in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. ProceedingsVol. 2.: University of Rzeszow, 2015. P. 19–35.

Добавлено: 12 октября 2015 г.

Приоритетные направления: компьютерно-математическое математика

Язык: английский

Ключевые слова: concurrency formal specifications programming distributed systems

Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

Добавлено: 11 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

A High-Level Framework for Distributed Systems with Simulation-Based Testing Support

Yakovlev S., Oleg S., , in: Parallel Computational Technologies, 19th International Conference, PCT 2025, Moscow, Russia, April 8–10, 2025, Revised Selected Papers. (CCIS, volume 2891)Vol. 2891.: Springer, 2026. P. 80–97.

Добавлено: 19 мая 2026 г.

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Homogeneous maximizers of the Blaschke-Santalo-type functionals

Колесников А. В., / Series arXiv "math". 2025.

Добавлено: 13 февраля 2026 г.

Интегрированный алгоритм балансировки нагрузки в распределенных информационных системах на основе методов теории принятия решений

Вишнеков А. В., Иванова Е. М., Ладовир А. А. и др., Информационные технологии 2025 Т. 31 № 11 С. 587–595

Рассматривается вопрос возможности применения методов теории принятия решений для решения задачи балансировки нагрузки в распределенных информационных системах. Выполнены обзор и анализ методов оценки и сравнения многокритериальных альтернатив, показаны их достоинства и недостатки в контексте решаемой задачи. Выбраны наиболее эффективные методы. Предложена методика решения задачи балансировки на основе интеграции методов принятия решений и методов машинного обучения. ...

Добавлено: 11 ноября 2025 г.

Информатика : 9-й класс : базовый уровень: учебное пособие

Шестакова Л. В., Семакин И. Г., Залогова Л. А. и др., М.: Просвещение, 2024.

Учебное пособие предназначено для изучения информатики на базовом уровне в 9 классе общеобразовательных организаций. Учебное по собие содержит теоретический материал курса, вопросы и задания для закрепления знаний. В конце каждой главы в схематическом виде пред ставлена система основных понятий этой главы. Учебное пособие является частью завершённой предметной линии учебных пособий по информатике (базовый уровень) для ...

Добавлено: 7 июля 2025 г.

Программирование на языке ассемблера RISC-V

Смит С., М.: ДМК Пресс, 2025.

Данная книга продолжает серию «Книжная полка Истового инженера», которая издается при поддержке компании YADRO. Издание подготовлено к публикации Московским институтом электроники и математики им. А. Н. Тихонова НИУ ВШЭ совместно с издательством «ДМК Пресс». Перед вами переведенная и адаптированная для русскоязычного читателя книга С. Смита «RISC-V Assembly Language Programming», вышедшая в издательстве Apress в серии Maker Innovations в 2024 ...

Добавлено: 25 мая 2025 г.

Новый метод оценки алгоритмического мышления на непрограммистских задачах: разведывательное исследование

Попова А. В., Тюменева Ю. А., Мир психологии. Научно-методический журнал 2024 № 2(117) С. 268–285

Алгоритмическое мышление в основном оценивается через стандартизированные тесты и профессиональные задачи, что сужает возможности выявления специфики алгоритмизации решения у людей с разным опытом программирования. С целью уточнить гипотезу о такой специфике мы предложили альтернативный метод оценки, требующий алгоритмизации, но не специальных знаний в программировании. По протоколам решений разработанной нами задачи выделены параметры качества алгоритмизации, допускающие ...

Добавлено: 16 августа 2024 г.

Модели интереса, сложности и воспринимаемой полезности игрового чат-бота c головоломками по типу Wordle для обучения программированию

Варнавский А. Н., Информационные технологии 2024 Т. 30 № 7 С. 372–381

Рассматривается задача оценки показателей восприятия студентами игрового чат-бота c головоломками по типу Wordle для обучения программированию. Проведен эксперимент, обработка результатов которого позволила построить 3 регрессионные модели, описывающие влияние факторов на интерес, сложность и воспринимаемую полезность игрового чат-бота. Сформулированы рекомендации по использованию игрового чат-бота. ...

Добавлено: 10 ноября 2023 г.

Тестирование методов обмена данными между процессами на суперкомпьютере JETSON TX2 в сравнении с другими платформами

Смирнов И. А., КРАВЧЕНКО В. О., Разумов П. В. и др., ГНИИ "НацРазвитие", 2019.

в данной статье будут рассмотрены различные методы обмена данными между процессами, с последующим выводом о быстродействии каждого. Тесты будут проводиться на разных процессорах и разных версиях операционных систем. Это исследование проводилось с целью узнать самый быстрый способ передачи данных между процессами на суперкомпьютере Jetson TX2 по сравнению с другими платформами. ...

Добавлено: 11 мая 2023 г.

22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers

Springer, 2022.

Добавлено: 26 декабря 2022 г.

Towards a General Framework for Studying Resource Management in Large Scale Distributed Systems

Oleg Sukhoroslov, Maxim Gorokhovskii, Roman Ilgovskiy и др., , in: Материалы IV Международного семинара по информационным, вычислительным и управляющим системам для распределенных сред (ICCS-DE 2022).: Иркутск: ИДСТУ СО РАН, 2022. P. 79–96.

Добавлено: 30 октября 2022 г.

Parallel Computational Technologies: 16th International Conference, PCT 2022, Dubna, Russia, March 29–31, 2022, Revised Selected Papers

Springer, 2022.

Добавлено: 10 августа 2022 г.

Программирование FPGA для начинающих

Бруно Ф., М.: ДМК Пресс, 2022.

Данная книга открывает серию переводов зарубежных изданий по проектированию цифровых систем, которую готовят к выходу в свет компания «ДМК Пресс» и МИЭМ НИУ ВШЭ при поддержке группы компаний YADRO (yadro.com). Она предназначена для тех, кто хочет узнать о том, как устроена технология FPGA, и получить практический опыт работы с реальными проектами. Читатель получит общее представление о программируемых логических интегральных ...

Добавлено: 23 июля 2022 г.

Method for accelerating the operation of joining distributed datasets by a given criterion

Тырышкина Е. С., , in: Международная научнопрактическая конференция «Информационные Инновационные Технологии», 2022.: [б.и.], 2022.

Добавлено: 31 мая 2022 г.

IT Tools for Managing Ecological Hazards

Прокофьева Е. Н., Востриков А. В., Nekrasov H. A. и др., , in: IOP Conference Series: Earth and Environmental Science, Vol. 988Vol. 988: International science and technology conference "Earth science" (ISTC EarthScience-2022) 10/01/2022 - 12/01/2022 Vladivostok.: IOP Publishing, 2022.

Добавлено: 24 марта 2022 г.