Сортировать по:
Выпуск | Название | |
Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков, А. В. Шубин | ||
"... , написанных на языке rpC, предназначенная для использования в операционных системах Win32. Эта работа является ..." | ||
Том 15, № 1 (2008) | Среда рекурсивно-параллельного программирования для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков | ||
"... RpmShell, разработанная для использования в операционных системах Win32. ..." | ||
Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов | ||
"... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..." | ||
Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов, В. А. Соколов | ||
"... формальной модели автоматной программы предоставляет возможность применения технологий и инструментов ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... Рассматривается один из способов моделирования, спецификации и верификации программ, построенных на ..." | ||
Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 14, № 4 (2007) | Об одном методе распознавания изображений | Аннотация PDF (Rus) похожие документы |
И. А. Михайлов | ||
"... распознавания, основанный на введенной в работе метрике. Приведены результаты экспериментов на случайных ..." | ||
Том 14, № 2 (2007) | О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки | Аннотация PDF (Rus) похожие документы |
И. А. Каплий, П. Г. Парфенов | ||
Том 15, № 1 (2008) | Интегральные близкие к эйлеровой характеристики полутоновых цифровых изображений | Аннотация PDF (Rus) похожие документы |
П. Г. Парфенов, И. А. Каплий | ||
"... , определенной на полутоновых фрагментах размера 2 х 2. Приведенный пример и компьютерная модель показывают, что ..." | ||
Том 14, № 1 (2007) | Расстояния и другие меры близости на множестве черно-белых цифровых изображений | Аннотация PDF (Rus) похожие документы |
П. Г. Парфенов, И. А. Каплий, О. С. Куликов | ||
Том 14, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) похожие документы |
Н. В. Малышкин | ||
"... системе NumGRID в целом, приводятся основные идеи и концепции, анализируется класс задач численного ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..." | ||
1 - 12 из 12 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)