Сортировать по:
Выпуск | Название | |
Том 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, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) похожие документы |
Н. В. Малышкин | ||
"... высокопроизводительные вычислительные ресурсы в Grid для решения больших задач численного моделирования. Рассказывается о ..." | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..." | ||
1 - 8 из 8 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)