Сортировать по:
Выпуск | Название | |
Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
"... модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и ..." | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... проверка моделей (Bounded Model Checking, BMC), исследуется все более и более активно, поскольку он ..." | ||
Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бойцов | ||
"... организации облачных систем хранения данных, основанных на реляционной модели, а также предлагается концепция ..." | ||
Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек ..." | ||
1 - 4 из 4 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)