Сортировать по:
| Выпуск | Название | |
| Том 22 (2012) | Оптимизация задачи проверки выполнимости булевских ограничений при помощи кэширования промежуточных результатов | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, Д. В. Сидоров | ||
| "... on random generated sets of Boolean formulas using implemented SAT solver prototype. Modified algorithm ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... SMT solvers are widely applied for deductive verification of C programs using various verification ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... using the iceFoam solver developed as part of the OpenFOAM package. To solve the problem, two grids ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... of refinement types, verified via an SMT solver. The integration of the two aspects allows a scenario where ..." | ||
| Том 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 ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... of appropriate decision procedures implemented within existing SMT-solvers. But at the same time both the SMT ..." | ||
| Том 31, № 4 (2019) | Задача поиска путей в ациклических графах с ограничениями в терминах булевых грамматик | Аннотация PDF (Rus) похожие документы |
| Екатерина Николаевна Шеметова, Семён Вячеславович Григорьев | ||
| "... expressive power, we focus on a more expressive languages, namely the Boolean languages that use Boolean ..." | ||
| Том 30, № 1 (2018) | Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES | Аннотация PDF (Rus) похожие документы |
| И. К. Марчевский, В. В. Пузикова | ||
| "... The efficiency comparison of solvers for sparse linear algebraic equations systems based on one ..." | ||
| Том 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 ..." | ||
| Том 32, № 5 (2020) | Разработка компиляторов предметно-ориентированных языков для спецпроцессоров | Аннотация PDF (Rus) похожие документы |
| Пётр Николаевич СОВЕТОВ | ||
| "... are implemented with help of SMT solver. Practical applications of the developed methods and algorithms ..." | ||
| Том 22 (2012) | Оптимизация расчётов в пакете OpenFOAM на GPU | Аннотация PDF (Rus) похожие документы |
| А. В. Монаков | ||
| "... of other solvers such as multigrid, BiCGStab and IDR, and choosing drop tolerance automatically ..." | ||
| Том 30, № 5 (2018) | Методика и средства разработки и верификации формальных fUML моделей требований и архитектуры сложных программно-технических систем | Аннотация PDF (Rus) похожие документы |
| А. В. Самонов, Г. Н. Самонова | ||
| "... and verified in the fUML virtual machine and using SMT/SAT solvers. ..." | ||
| Том 37, № 3 (2025) | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЕФАНОВ | ||
| "... is described. The method is based on the concurrent error-detection circuit synthesis by signals Boolean ..." | ||
| Том 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 ..." | ||
| Том 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 ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| Том 36, № 4 (2024) | Экспериментальное сравнение методов синтеза логических схем | Аннотация похожие документы |
| Максим Дмитриевич ВЕРШКОВ, Алексей Александрович ЯГЖОВ, Никита Сергеевич РОМАНОВ, Анна Алексеевна ФЕДОТОВА, Егор Павлович ЗНАТНОВ | ||
| "... of combinational logic circuits that implement specified Boolean functions. The following methods were considered ..." | ||
| Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев | ||
| "... as formulas for a SMT-solver. The latest application allows to get the precise solution of the particular ..." | ||
| Том 31, № 6 (2019) | Моделирование динамики частиц в планетарном пограничном слое и в модельном ветропарке | Аннотация PDF (Rus) похожие документы |
| Константин Борисович Кошелев, Сергей Владимирович Стрижак | ||
| "... process using the formulated mathematical model. The work is devoted to the development of new solvers ..." | ||
| Том 30, № 2 (2018) | Алгоритм удаления невидимых поверхностей на основе программных проверок видимости | Аннотация PDF (Rus) похожие документы |
| В. И. Гонахчян | ||
| "... the basic formulas that are used in software rasterization and visibility checks. Section 3 describes ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..." | ||
| Том 26, № 5 (2014) | Применение графических ускорителей для расчета гидродинамических характеристик гребных винтов в пакете OpenFOAM | Аннотация PDF (Rus) похожие документы |
| Б. И. Краснопольский, А. В. Медведев, А. Ю. Чулюнин | ||
| "... methods are more robust than those implemented in original OpenFOAM GAMG-based SLAE solver; (iii) hybrid ..." | ||
| Том 31, № 1 (2019) | Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров | ||
| "... A new method of combinational circuits concurrent checking is considered based on 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) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... . If this condition is proved to be satisfiable by an SMT-solver, we use its model given by the solver to detect error ..." | ||
| Том 29, № 6 (2017) | Методика решения задач аэроупругости для лопасти ветроустановки с использованием СПО | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, В. Г. Мельникова, С. В. Стрижак, Г. А. Щеглов | ||
| "... of the blade with a subsonic air flow is done in OpenFOAM library (solvers simpleFOAM and pimpleFOAM ..." | ||
| Том 30, № 5 (2018) | Проверка функциональных свойств смарт-контрактов методом символьной верификации модели | Аннотация PDF (Rus) похожие документы |
| Е. С. Шишкин | ||
| "... -solver formula and checked for counter example. We tested the method on simplified version of notorious ..." | ||
| Том 35, № 5 (2023) | Использование метода декомпозиции области для распараллеливания моделирования течения вязкой несжимаемой среды методом LS-STAG и дополнительного предобуславливания | Аннотация PDF (Rus) похожие документы |
| Илья Константинович МАРЧЕВСКИЙ, Валерия Валентиновна ПУЗИКОВА | ||
| "... of matrix-vector operations in a usual iterative solver. It requires several synchronization points ..." | ||
| Том 33, № 6 (2021) | Упрощенные кинетические модели горения метана для расширения возможностей пакета OpenFOAM и физико-химических библиотек | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОНОНОВ, Владимир Юрьевич ГИДАСПОВ, Сергей Владимирович СТРИЖАК | ||
| "... the solvers created at the MAI and ISP RAS. A physical and mathematical model, numerical algorithms ..." | ||
| Том 29, № 3 (2017) | Комплекс алгоритмов функционирования системы безопасного исполнения программного кода | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок, Е. В. Кочетков | ||
| "... В настоящей статье представлен комплекс алгоритмов, составляющих основу функционирования системы ..." | ||
| Том 26, № 3 (2014) | Современные модели и методы теории расписаний | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... of typical solvers from shared mathematical libraries is exceedingly limited. A usage of object-oriented ..." | ||
| Том 22 (2012) | Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
| М. А. Трушников | ||
| "... Предложен новый онлайновый алгоритм упаковки прямоугольников в полосу, существенно превосходящий ..." | ||
| Том 23 (2012) | Сравнительный анализ параллельных алгоритмов соединения для среды MapReduce | Аннотация PDF (Rus) похожие документы |
| А. Ю. Пигуль | ||
| "... алгоритмы соединения в среде MapReduce. К сожалению, алгоритмы соединения не поддерживаются напрямую в ..." | ||
| Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян | ||
| "... by such system from the viewpoint of efficient generation of equations for an SMT solver. A sequence of steps ..." | ||
| 1 - 39 из 416 результатов | 1 2 3 4 5 6 7 8 9 10 11 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
