Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2019) | Анализ эффективности демультиплексирования транспортных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Степанов | ||
| "... demultiplexing of traffic flows will have on the whole ISP network bandwidth. In this paper, this question ..." | ||
| Том 19, № 2 (2012) | Потоки в обобщенных сетях со связанными дугами | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Скороходов | ||
| "... The problem of finding the maximum flow in nets of a special form is considered. In such nets ..." | ||
| Том 22, № 4 (2015) | Разработка механизма адаптивной маршрутизации трафика в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| А. Н. Носков, И. А. Манов | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... . It enables a representation of dynamically changing parallelism by means of asynchronous serial data flows ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... static analysis of information flows of such programs identifies insecure information flows which can ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... is possible about confidentiality, and we can check that confidential information flows do not interfere ..." | ||
| Том 18, № 1 (2011) | Резонанс собственных частот в задаче о флаттере пластинки в сверхзвуковом потоке газа | Аннотация PDF (Rus) похожие документы |
| А. Н. Куликов, Г. В. Пилипенко | ||
| "... flow. Fluctuations of the plane are studied in the case when one of its ends is rigidly fixed, while ..." | ||
| Том 22, № 4 (2015) | Задача о наибольшем кратном потоке в делимой сети и ее частные случаи | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... In the article the problem of finding the maximal multiple flow in the network of any natural ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... flow graph which is supposed to be architecture-independent and applicable to the description of any ..." | ||
| Том 16, № 3 (2009) | Задача целочисленного сбалансирования трехмерной матрицы и сетевая модель | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... . A problem of reducing this problem to the problem of finding a maximum flow in network is explored. ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... to the processing and control of data flows in CN by separating the control plane and data plane, as well ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| Том 28, № 4 (2021) | Алгоритм оценивания частоты сигнала на выходе канала с управляемым информационным потоком в условиях фазового шума | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Илья Викторович Лукьянов | ||
| "... include, for example, the problem of adaptive distribution of information flows of a radio network ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... model unit is considered. This approach makes it possible to present a program control flow model ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... in the network. It also guarantees integrity of the information flow, i.e. the functioning of all dependent ..." | ||
| Том 23, № 4 (2016) | Сетевая модель для задачи целочисленного сбалансирования четырехмерной матрицы | Аннотация PDF (Rus) похожие документы |
| А. В. Смирнов | ||
| "... the problem of finding the maximum multiple flow in the network of any natural multiplicity is also studied ..." | ||
| Том 20, № 2 (2013) | Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... to a problem of finding the maximum flow in a multiple network and an algorithm for the corresponding flow ..." | ||
| Том 21, № 4 (2014) | Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... проверенную семантику модели и обеспечить проверку всей детальной модели. Детализация проводится как по потоку ..." | ||
| Том 17, № 2 (2010) | Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев, А. В. Смирнов | ||
| "... . The reduction of this problem to the problem of finding a maximum flow in the multiple network of integer-valued ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... . The principle of constructing a VLSI hardware model based on the functional-flow programming paradigm is stated ..." | ||
| Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
| Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
| "... to existing solutions, our algorithm does not impose restrictions on the process control flow and allows ..." | ||
| Том 20, № 1 (2013) | Несмещенная оценка энтропии для бинарных потоков | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Тимофеев | ||
| Том 19, № 5 (2012) | TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... allow TCP TIPS to yield the required amount of bandwidth to high-priority flows with realtime data ..." | ||
| Том 21, № 6 (2014) | Управляемые тупики в параллельных ресурсно-ограниченных потоках работ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Надежда Юрьевна Панфилова | ||
| "... Работа посвящена проблеме проверки правильной организованности (бездефектности) сетей потоков ..." | ||
| Том 20, № 4 (2013) | О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин, Ирина Александровна Ломазова | ||
| "... Рассматривается моделирование схем потоков работ (workflow) при помощи сетей Петри. Определяется ..." | ||
| Том 27, № 1 (2020) | Определение расстояний между изображениями методом потоков де Рама | Аннотация похожие документы |
| Сергей Николаевич Чуканов | ||
| "... геометрическом методе потоков де Рама и предварительном аффинном преобразовании исходной формы изображения. При ..." | ||
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
| П. Е. Ефимова | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... as the control flow graph, symbolic execution time and degree of coverage for symbolic execution. The control ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| "... качества, а также генерации параллельных потоков случайных чисел, для использования в расчетах Монте-Карло ..." | ||
| Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
| Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
| "... The problem of locating a service center for technical systems with known values of failure flows ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... on the quality of service. However, there must be a proof that ensures that every network flow is secure ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... a distributed set of switches. A set of open commands for packet forwarding and flow-table updating was defined ..." | ||
| Том 23, № 3 (2016) | Моделирование неизотермического течения аномально вязкой жидкости в каналах с различной геометрией границ | Аннотация PDF (Rus) похожие документы |
| К. В. Литвинов | ||
| "... In this paper, we analyzed the flat non-isothermal stationary flow of abnormally viscous fluid ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... in the correspondence between flows of control signals and compositions of basic actions performed by the system. We ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... of a data flow from inputs to outputs. Influence and dependence between variables is explicitly shown during ..." | ||
| Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
| А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
| "... The paper describes a mathematical model of trade flows between the territories of a region ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Sequential reactive systems are computer programs or hardware devices which process the flows ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... . The usage of the functional data-flow paradigm of parallel programming allows to decrease the complexity ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... on the process flow. The lattice gas models considered in the article are one of the types of cellular automata ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... for the numerical solution of two-dimensional Navier–Stokes equations governing the stationary flows of a viscous ..." | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... and represent per-flow network statistics. In order to get information about the number of packets from ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... architectural principles of SDN technology itself − primarily by the separation of control and data flows ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... languages. Further, the Promela poST translation rules cover control flow statements, process creation ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... алгоритм после двадцатиминутного обучения способен идентифицировать за одну минуту потоки процессов с ..." | ||
| Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
| "... The process of plastic flow localization under shear deformations of a composite material ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... состоят в непрерывном взаимодействии с внешней средой, от которой они получают потоки входных сигналов ..." | ||
| Том 19, № 5 (2012) | Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Куликов, Александр Степанович Рудый | ||
| "... формирования нанорельефа под воздействием потока ионов. Изучен один из механизмов формирования неоднородного ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... становится слишком большим, самолет рискует нарушить воздушный поток на крыльях, что может привести к его ..." | ||
| Том 23, № 3 (2016) | Численное решение одной сингулярно возму- щённой задачи в круговой области | Аннотация похожие документы |
| А. Ф. Хегарти, Ю. О’Риордан | ||
| "... области. С использованием полярных координат, простой схемы с разностями против потока и кусочно ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... потоками данных и осуществляют преобразование входных потоков данных в выходные потоки. К числу таких ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... , applied to the functional data-flow model implemented in the Pifagor programming language. Optimization ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... виды ошибок, связанных с синхронизацией параллельно исполняемых потоков и доступом к общей памяти. К ..." | ||
| Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
| Евгений Иванович Клименков | ||
| "... производительности, создаваемых параллелизмом, выраженным в форме легковесных потоков пользовательского режима на ..." | ||
| Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
| Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
| "... different su-VFs, there is a need for a mechanism of identification and separation of users network flows ..." | ||
| Том 22, № 5 (2015) | Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии | Аннотация PDF (Rus) похожие документы |
| А. М. Ковалева, Д. А. Куликов | ||
| "... факторов. Например, от угла падения потока. В работе также показано, что данная нелинейная краевая задача ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... CPN потоков работ, которые позволяют описывать ожидаемое поведение системы, в которой компоненты ..." | ||
| Том 24, № 3 (2017) | Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Быков, Кристина Евгениевна Ермакова | ||
| "... точке со временем (t) определяется разностью потоков слева и справа, а также плотностью источников ..." | ||
| 1 - 62 из 62 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
