Сортировать по:
| Выпуск | Название | |
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... on random generated sets of Boolean formulas using implemented SAT solver prototype. Modified algorithm ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... of refinement types, verified via an SMT solver. The integration of the two aspects allows a scenario where ..." | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов | ||
| "... computing scheme and parallel computing for checking satisfiability of Boolean constraint sets. An overview ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... -formulas in context of static verification. The paper highlights the essential problems of C memory model ..." | ||
| Том 22 (2012) | Интерполяция формул с кванторами в CSIsat на основе инстанцирования | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, М. У. Мандрыкин | ||
| "... formulae. The implementation is based on the CSIsat interpolating solver. The tool supports interpolation ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... SMT solvers are widely applied for deductive verification of C programs using various verification ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... of appropriate decision procedures implemented within existing SMT-solvers. But at the same time both the SMT ..." | ||
| Том 29, № 1 (2017) | Трёхмерное моделирование схода лавинных потоков средствами пакета OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Д. И. Романова | ||
| "... In this paper, a model of a snow avalanche was created with the help of open source CFD software ..." | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков | ||
| "... of other solvers such as multigrid, BiCGStab and IDR, and choosing drop tolerance automatically ..." | ||
| Том 32, № 6 (2020) | Архитектура программного средства с открытым исходным кодом для численного моделирования потоков на горных склонах | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА | ||
| "... to the calculation of an avalanche in the 22nd avalanche cite of Mount Yukspor (Khibiny). Avalanche run-out distance ..." | ||
| Том 32, № 4 (2020) | Разработка решателя iceFoam для моделирования процесса обледенения | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Валерия Геннадиевна МЕЛЬНИКОВА, Сергей Владимирович СТРИЖАК | ||
| "... solver as part of the OpenFOAM v1912 package for modeling the icing process at a typical particle size ..." | ||
| Том 26, № 3 (2014) | Оптимизация метода решения линейных систем уравнений в OpenFOAM для платформы MPI + CUDA | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков, В. А. Платонов | ||
| "... in the linear solver by using a Tesla K20X accelerator in addition to a 10-core Xeon CPU, but only ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... as a constraint satisfiability problem and describe the construction of a sound and complete solver based ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... using the iceFoam solver developed as part of the OpenFOAM package. To solve the problem, two grids ..." | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| "... This article describes an attempt to modify and use Avalanche tool for dynamic analysis and testing ..." | ||
| Том 28, № 1 (2016) | Перекрытие коммуникаций и вычислений в итерационных методах решения систем линейных уравнений на GPU | Аннотация PDF (Rus) похожие документы |
| В. А. Платонов, А. В. Монаков | ||
| "... and BiCGStab) for GPU-based iterative linear system solvers. They allow to have an overlap of parallel ..." | ||
| Том 33, № 6 (2021) | Разработка решателя flagmanFoam для моделирования обледенения летательных аппаратов в условиях натекания мелких капель | Аннотация PDF (Rus) похожие документы |
| Кирилл Александрович ВАТУТИН, Матвей Викторович КРАПОШИН, Максим Александрович КУДРОВ, Алексей Борисович МИЛЛЕР, Валерия Геннадиевна МЕЛЬНИКОВА, Софья Михайловна САУТКИНА, Алексей Олегович МОРОЗОВ, Александр Алексеевич ШЕВЕЛЕВ | ||
| "... of the OpenFOAM v2012 package. A solver has been developed to simulate icing in conditions of small droplet ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... expressive power, we focus on a more expressive languages, namely the Boolean languages that use Boolean ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация похожие документы |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| "... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... and verified in the fUML virtual machine and using SMT/SAT solvers. ..." | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..." | ||
| Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов | ||
| "... for every path with different SAT/SMT techniques which is a NP-complete task in general case. Brute force ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... are implemented with help of SMT solver. Practical applications of the developed methods and algorithms ..." | ||
| Том 31, № 6 (2019) | Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке | Аннотация PDF (Rus) похожие документы |
| Константин Борисович Кошелев, Сергей Владимирович Стрижак | ||
| "... process using the formulated mathematical model. The work is devoted to the development of new solvers ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..." | ||
| Том 37, № 3 (2025) | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЕФАНОВ | ||
| "... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..." | ||
| Том 29, № 5 (2017) | Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) | Аннотация PDF (Rus) похожие документы |
| А. Ю. Матросова, С. А. Останин, Е. А. Николаева | ||
| "... on using incompletely specified Boolean functions of internal nodes of the circuit. The functions ..." | ||
| Том 30, № 2 (2018) | Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров | ||
| "... with optimization of structural redundancy using the Boolean complement method up to 2-out-of-4 constant-weight code ..." | ||
| Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| "... their states in avalanche-like manner. To describe such changes a new conception of satellite class ..." | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| "... of the blade with a subsonic air flow is done in OpenFOAM library (solvers simpleFOAM and pimpleFOAM ..." | ||
| Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... is a collection of three solvers. The first solver iceFoam1 is intended for preliminary estimation of the icing ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... -solver formula and checked for counter example. We tested the method on simplified version of notorious ..." | ||
| Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев | ||
| "... as formulas for a SMT-solver. The latest application allows to get the precise solution of the particular ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... Programming RAS---Avalanche (Valgrind-based tool) and a prototype tool for Java applications. The paper ..." | ||
| Том 33, № 4 (2021) | Калибровка k − ε модели турбулентности в пакете OpenFOAM с помощью методов машинного обучения для моделирования потоков на склонах гор на основе эксперимента | Аннотация PDF (Rus) похожие документы |
| Дарья Игоревна РОМАНОВА | ||
| Том 35, № 3 (2023) | Уточнение предикатной абстракции при раздельном анализе потоков | Аннотация похожие документы |
| Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ | ||
| "... . The idea is to construct a joined boolean formula from these two paths. Since some variables may be common ..." | ||
| Том 29, № 6 (2017) | Численное исследование высокоскоростного неравновесного течения с приложенным магнитным полем | Аннотация похожие документы |
| А. И. Ряховский, А. А. Шмидт, В. И. Антонов | ||
| "... The paper describes the development and testing processes of a modification of an existing solver ..." | ||
| Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
| "... formulas representing the counterexample traces being discovered during the analysis. This technique ..." | ||
| 1 - 39 из 88 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
