Сортировать по:
| Выпуск | Название | |
| Том 19 (2010) | Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, О. В. Сидяка | ||
| "... The issues of efficiency and robustness of local propagation methods in conformity to constraint ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... slicing algorithm that eliminates redundant constraints from a path predicate without accuracy loss ..." | ||
| Том 33, № 2 (2021) | Выполнимость мю-исчисления с арифметическими ограничениями | Аннотация PDF (Rus) похожие документы |
| Йенсен ЛИМОН-ПРИЕГО, Исмаэль Эверардо БАРСЕНАС-ПАТИНЬО, Эдгард Иван БЕНЕТЕС-ГЕРРЕРО, Гильермо Хильберто МОЛЕРО-КАСТИЛЬО, Алехандро ВЕЛАСКЕС-МЕНА | ||
| "... arithmetic constraints, interpreted over tree models. We describe a satisfiability algorithm based on breadth ..." | ||
| Том 22 (2012) | Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Т. А. Новикова | ||
| "... программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В ..." | ||
| Том 22 (2012) | Задача локального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| Кирилл Батузов | ||
| "... that the further improvements to this algorithm are not possible without altering its existing constraints. ..." | ||
| Том 26, № 1 (2014) | Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, А. С. Аничкин, С. В. Морозов, О. А. Тарлапан, В. А. Золотов | ||
| "... workspace congestion and workflow disturbance constraints specified in practically meaningful ..." | ||
| Том 26, № 3 (2014) | Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами | Аннотация PDF (Rus) похожие документы |
| В. В. Подымов, В. А. Захаров | ||
| "... исследуемой модели программ была установлена в 1971 г. А.А. Летичевским. Однако с тех пор вопрос о сложности ..." | ||
| Том 27, № 2 (2015) | Моделирование и анализ поведения последовательных реагирующих программ | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров | ||
| Том 28, № 1 (2016) | Об оценках вычислительной сложности и погрешности быстрого алгоритма в методе вихревых элементов | Аннотация PDF (Rus) похожие документы |
| К. С. Кузьмина, И. К. Марчевский | ||
| "... основе решения модельных задач получены оценки вычислительной сложности алгоритмов вычисления ..." | ||
| Том 26, № 3 (2014) | Современное состояние исследований в области обфускации программ: определения стойкости обфускации | Аннотация PDF (Rus) похожие документы |
| Н. П. Варновский, В. А. Захаров, Н. Н. Кузюрин, А. В. Шокуров | ||
| "... программе форму, затрудняющую понимание алгоритмов и структур данных, реализуемых программой, и ..." | ||
| Том 32, № 2 (2020) | HP-граф как основа для разработки редактора визуальных моделей DSM-платформы | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... not have the described constraints, development of a new formal model is needed. HP-graphs can become ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... синтаксического дерева и анализ потока данных. Все описанные алгоритмы были реализованы в инструменте статического ..." | ||
| Том 31, № 4 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация похожие документы |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| "... которых лучшим является алгоритм Nearest Neighbor (NN). Целью работы является сравнение локально ..." | ||
| Том 26, № 4 (2014) | Улучшение качества разбиения графа с помощью многоуровневой оптимизации | Аннотация PDF (Rus) похожие документы |
| Р. К. Пастухов, А. В. Коршунов, Д. Ю. Турдаков, С. Д. Кузнецов | ||
| "... approach suitable for cluster computing is Balanced Label Propagation, based on distributed label ..." | ||
| Том 26, № 2 (2014) | Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| В. А. Золотов, В. А. Семенов | ||
| "... описаны алгоритмы исполнения, а также получены оценки их вычислительной сложности. Полученные оценки ..." | ||
| Том 27, № 6 (2015) | Агрессивная инлайн-подстановка функций для VLIW-архитектур | Аннотация PDF (Rus) похожие документы |
| А. В. Ермолицкий, М. И. Нейман-Заде, О. А. Четверина, А. Л. Маркин, В. Ю. Волконский | ||
| "... compared to common inlining approach based on minimization of runtime within constraints. Instead of using ..." | ||
| Том 29, № 2 (2017) | Математическая формализация задач проектного планирования в расширенной постановке | Аннотация PDF (Rus) похожие документы |
| А. С. Аничкин, В. А. Семенов | ||
| "... neutral specification of the optimization problem under algebraic constraints of the predefined sorts ..." | ||
| Том 32, № 2 (2020) | Модификация алгоритма Валианта для задачи поиска подстрок | Аннотация PDF (Rus) похожие документы |
| Юлия Алексеевна СУСАНИНА, Анна Никитична ЯВЕЙН, Семен Вячеславович ГРИГОРЬЕВ | ||
| "... анализа. На данный момент среди алгоритмов синтаксического анализа, работающих с произвольной КС ..." | ||
| Том 29, № 5 (2017) | Распределённые алгоритмы на корневых неориентированных графах | Аннотация PDF (Rus) похожие документы |
| И. Бурдонов, А. Косачев, А. Сортов | ||
| "... Рассматриваются распределённые алгоритмы решения задач на неориентированных графах. В разделе 2 ..." | ||
| Том 27, № 4 (2015) | Библиотека ограничений для спецификации индустриальных моделей данных | Аннотация PDF (Rus) похожие документы |
| С. В. Морозов, Д. В. Ильин, В. А. Семенов, О. А. Тарлапан | ||
| "... of the performed analysis is to unify representation of data integrity constraints typically used in the models ..." | ||
| Том 27, № 5 (2015) | Использование языка программирования Python для описания ограничений на архитектурные модели | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин, А. В. Хорошилов | ||
| "... The paper presents an approach to specify constraints on AADL models in Python-based language ..." | ||
| Том 36, № 5 (2024) | Декларативный синтез графических интерфейсов пользователя с помощью реляционного решателя ограничений | Аннотация PDF (Rus) похожие документы |
| Дмитрий Сергеевич КОСАРЕВ, Петр Алексеевич ЛОЗОВ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... Authors describe a system which, given a set of designer-specified layout constraints (guidelines ..." | ||
| Том 29, № 2 (2017) | Общий подход к решению задач на графах коллективом автоматов | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... позволяет получать нижние оценки сложности алгоритмов решения задач. Раздел 3 определяет правила оценки ..." | ||
| Том 31, № 4 (2019) | Вычисление приоритетов срабатывания переходов для живых сетей Петри | Аннотация похожие документы |
| Кирилл Геннадьевич Серебренников | ||
| "... priorities for live Petri nets. Priorities are a form of constraints which can be imposed to ensure liveness ..." | ||
| Том 27, № 3 (2015) | Эффективное взаимодействие с СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Д. В. Антонов, В. С. Рублев | ||
| "... ODQL, позволяющий совместить сложность точного описания с простотой использования за счет введения двух ..." | ||
| Том 22 (2012) | Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... Сравниваются сложности задач нахождения решения системы алгебраических уравнений и базисов Гребнера ..." | ||
| Том 29, № 3 (2017) | О задаче приближенного нахождения максимальной двудольной клики | Аннотация PDF (Rus) похожие документы |
| Н. Н. Кузюрин | ||
| Том 30, № 1 (2018) | Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата | Аннотация похожие документы |
| Х. Йенигун, Н. Евтушенко, Н. Кушик, Х Лопез | ||
| "... . Известно также, что в некоторых случаях сложность можно понизить, переключившись на адаптивный (условный ..." | ||
| Том 22 (2012) | Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования | Аннотация PDF (Rus) похожие документы |
| В. Н. Игнатьев | ||
| "... We describe the usage of programming language constraints to achieve program security ..." | ||
| Том 18 (2010) | Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам | Аннотация PDF (Rus) похожие документы |
| Е. В. Корныхин | ||
| Том 19 (2010) | Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, Д. В. Ильин, С. В. Морозов, О. В. Сидяка | ||
| "... Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary ..." | ||
| Том 28, № 5 (2016) | Задача глобального распределения регистров во время динамической двоичной трансляции | Аннотация PDF (Rus) похожие документы |
| К. А. Батузов | ||
| "... register allocation problem in these constraints. To ensure that pre- and post- conditions of different ..." | ||
| Том 33, № 4 (2021) | Многослойный подход к поиску изоморфных подграфов в HP-графах | Аннотация похожие документы |
| Николай Михайлович СУВОРОВ, Людмила Николаевна ЛЯДОВА | ||
| "... временную сложность алгоритмов поиска. Количество операций может быть снижено благодаря тому, что поиск ..." | ||
| Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) похожие документы |
| Д. А. Носов | ||
| Том 30, № 6 (2018) | Минимальный базис модуля сизигий старших членов | Аннотация PDF (Rus) похожие документы |
| А. В. Шокуров | ||
| "... вычислительной сложности, системы полиномиальных уравнений охватывают весь диапазон возможных вариантов, от ..." | ||
| Том 28, № 6 (2016) | Метод автоматического определения возраста пользователей с помощью социальных связей | Аннотация PDF (Rus) похожие документы |
| А. Г. Гомзин, С. Д. Кузнецов | ||
| "... . The method is based on the label propagation in the friendship and subscription graphs. Ages of the users ..." | ||
| Том 37, № 2 (2025) | Исследование распространения примеси в среде в одной прикладной осесимметричной задаче | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович МИХАЙЛОВ, Игорь Олегович ТЕПЛЯКОВ, Дмитрий Андреевич ВИНОГРАДОВ | ||
| "... From the application point of view, the propagation of an admixture in a cylindrical volume filled ..." | ||
| Том 33, № 2 (2021) | Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей | Аннотация PDF (Rus) похожие документы |
| Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА | ||
| "... методы оценки трудозатрат и сложности пользовательских историй. В большинстве существующих методов ..." | ||
| 1 - 39 из 470 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
