Сортировать по:
Выпуск | Название | |
Том 27, № 4 (2015) | О дедуктивной верификации Си программ, работающих с разделяемыми данными | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, А. В. Хорошилов | ||
Том 33, № 3 (2021) | Механизированная теория структур событий: случай параллельной регистровой машины | Аннотация похожие документы |
Владимир Петрович ГЛАДШТЕЙН, Дмитрий Владимирович МИХАЙЛОВСКИЙ, Евгений Александрович МОИСЕЕНКО, Антон Александрович ТРУНОВ | ||
"... альтернатива операционным семантикам с чередованием, и на сегодняшний день эти модели вновь обретают ..." | ||
Том 32, № 6 (2020) | Верификация соответствия между разноуровневыми моделями функциональных требований | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович ХОРОШИЛОВ | ||
"... , нацеленные на доказательство свойств безопасности в индивидуальной трассовой семантике. Эти методы более ..." | ||
Том 30, № 4 (2018) | Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке | Аннотация PDF (Rus) похожие документы |
В. Е. Сачков | ||
Том 19 (2010) | Моделирование операционной семантики машинных инструкций | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, М. А. Соловьев, А. И. Кононов | ||
"... В работе предлагается модель, позволяющая описывать операционную семантику машинных инструкций для ..." | ||
Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
А. В. Когтенков | ||
"... крупношаговой семантике. Наконец, демонстрируется, что при наличии таких правил семантики с безопасностью пустых ..." | ||
Том 32, № 4 (2020) | Временные причинно-упорядоченные процессы временных сетей Петри со «слабой» семантикой | Аннотация похожие документы |
Ирина Бонавентуровна ВИРБИЦКАЙТЕ, Алексей Юрьевич ЗУБАРЕВ | ||
"... его срабатывания. Техники контроля времени и памяти определяют различные семантики для НВСП, которые ..." | ||
Том 23 (2012) | Зависимости между ошибками на классах тестируемых реализаций | Аннотация PDF (Rus) похожие документы |
Александр Косачев | ||
"... многие известные конформности в различных семантиках взаимодействия являются частными случаями этой общей ..." | ||
Том 22 (2012) | Финальные модели спецификации | Аннотация PDF (Rus) похожие документы |
Игорь Бурдонов, Александр Косачев | ||
"... ) исследуемой системы требованиям, заданным в форме спецификации. Такое тестирование основано на семантике ..." | ||
Том 34, № 1 (2022) | Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов | Аннотация PDF (Rus) похожие документы |
Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ | ||
Том 35, № 6 (2023) | Решение проблемы многоязычия в международном научно-техническом информационном пространстве | Аннотация PDF (Rus) похожие документы |
Константин Константинович КОЛИН, Александр Алексеевич ХОРОШИЛОВ, Анна Владимировна КАН, Юрий Викторович НИКИТИН | ||
Том 26, № 1 (2014) | Развитие теории конформности: семантики, формальные модели, алгоритмы | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
"... шло по нескольким направлением и в целом носило характер обобщения используемых семантик ..." | ||
1 - 12 из 12 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)