Сортировать по:
| Выпуск | Название | |
| Том 13, № 1 (2006) | Совместное использование методов бизнес-моделирования и объектно-ориентированной методологии при проектировании профилированного пользовательского интерфейса | Аннотация PDF (Rus) похожие документы |
| И. Г. Игнатова, Н. Ю. Соколова | ||
| "... -ориентированной методологии при конструировании профилированного пользовательского интерфейса. Обоснована ..." | ||
| Том 17, № 3 (2010) | Язык объектных запросов динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев | ||
| "... Рассматривается задача разработки объектного языка манипулирования данными для новой объектной ..." | ||
| Том 18, № 2 (2011) | Организация выполнения объектных запросов в динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| "... Рассматривается задача организации алгоритма выполнения объектных запросов [1] для новой объектной ..." | ||
| Том 20, № 6 (2013) | О бутстрэпе для диаграмм и ландшафтов персистентности | Аннотация PDF (Rus) похожие документы |
| Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман | ||
| "... частности, мы получаем доверительные множества для диаграмм персистентности и доверительные интервалы для ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... ) диаграмм цифровых сигналов, используемых на практике на ранних стадиях разработки микроэлектронных цифровых ..." | ||
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| Том 15, № 1 (2008) | Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Д. С. Писаренко | ||
| "... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... анализа данных был предложен ряд объектно-ориентированных подходов. Эти подходы основаны на целостном ..." | ||
| Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович Антонов, В. С. Рублев | ||
| "... В статье приводится обзор средств, используемых в объектной СУБД нового типа для повышения ..." | ||
| Том 21, № 6 (2014) | Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Сергей Анатольевич Черненок, Валерий Александрович Непомнящий | ||
| "... Стандартный язык диаграмм последовательных сообщений MSC предназначен для описания сценариев ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... Система обозначений диаграмм состояний (state machines) широко применяется в качестве формального ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... статье решается задача измерения реальных скоростей передачи данных на интерфейсе между кеш-памятью ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... собой разновидность языка FBD (Function Block Diagram) — графического языка диаграмм принципиальных схем ..." | ||
| Том 19, № 2 (2012) | Отношение истории и динамика схем баз данных СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев | ||
| "... Рассматривается задача динамики типов для новой объектной СУБД DIM [1, 2] и связанная с ней ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... диаграмму (ВД) функционирования МВС РВ, необходимую для проверки допустимости. В работе обосновывается ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... -автоматных программ. Некоторые свойства проверяются автоматически. Есть возможность проверки пользовательских ..." | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... в статье описываются интерфейсы ядра Linux для вычисления времени и концепция "источников времени" и ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма ..." | ||
| Том 21, № 6 (2014) | PolarDB – система создания специализированных NoSQL баз данных и СУБД | Аннотация PDF (Rus) похожие документы |
| Александр Гурьевич Марчук | ||
| "... реляционных таблиц, таблиц имен, объектно-реляционных отображений. Подход позволяет решать некоторые задачи ..." | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... интерфейса параллельного программирования MPI. Данная модель основана на понятиях последовательного и ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..." | ||
| Том 25, № 2 (2018) | Измерение накладных расходов на параллелизм и виртуальную память | Аннотация похожие документы |
| Евгений Иванович Клименков | ||
| "... производительности, создаваемых параллелизмом, выраженным в форме легковесных потоков пользовательского режима на ..." | ||
| Том 19, № 6 (2012) | Наследcтвенные свойства модульных сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... , подвергнутых достаточно простому и не нарушающему их поведение преобразованию интерфейсов модулей — процедуре Р ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... реализованы общие интерфейсы для работы с синтаксическим деревом и адаптеры к реализациям синтаксических ..." | ||
| Том 28, № 3 (2021) | Классификация текстов по жанрам на основе ритмических характеристик | Аннотация PDF (Rus) похожие документы |
| Ксения Владимировна Лагутина, Надежда Станиславовна Лагутина, Елена Игоревна Бойчук | ||
| "... . Полученная модель текста была визуализирована для статистического анализа с помощью диаграмм размаха и ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... мультимедийными сайтами Fuzzle CMS и редактор бизнес-диаграмм FLAscheme. ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... и выходным интерфейсами, а также правилами композиции шаблонных конструкций с использованием этих ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... . Способы представления, хранения и интерфейсы взаимодействия с элементами сетевой топологии, доступные ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... Рассмотрены проблемы автоматизации формирования интерфейса между таблицей и реляционной базой ..." | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... удовлетворить нужды компании-провайдера услуг, обеспечив достаточно простой прикладной интерфейс для ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| "... формируют злонамеренный трафик, замаскированный под обычный пользовательский трафик. Исследованы ..." | ||
| Том 29, № 2 (2022) | Нейросетевая классификация русскоязычных предложений по тональности на четыре класса | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... русскоязычных предложений. Два корпуса составлены из пользовательских отзывов: один с отзывами на одежду, другой ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... авторами формализм и предназначенная для описания библиотек на объектно-ориентированных языках. Формализм ..." | ||
| Том 25, № 6 (2018) | Перевод моделей Event-B в Eiffel | Аннотация похожие документы |
| Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара | ||
| "... реактивных приложений и систем), и программами на объектно-ориентированном языке программирования Eiffel ..." | ||
| Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... персистентных диаграмм и баркодов. Метод персистентной гомологии из вычислительной топологии обеспечивает баланс ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... архитектуры ПИВС в виде описания UML диаграмм классов, а также создание программных методов для организации ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... случаях на гексагональной решетке. На основе четырехпиксельных фрагментов строятся диаграммы, которые ..." | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| "... специалисты приемной комиссии, имеющие свой интерфейс. Система была реализована с использованием современных ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... прогрессии через структурные свойства диаграммы переходов. Представлен компактный и наглядный способ ..." | ||
| Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
| "... диаграммы Г.Ф. Вороного. ..." | ||
| 1 - 45 из 45 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
