Сортировать по:
| Выпуск | Название | |
| Том 37, № 6: часть 3. ноябрь-декабрь | Ограничение количества переключений потоков при динамическом анализе многопоточных программ | Аннотация похожие документы |
| Вероника Павловна РУДЕНЧИК, Павел Сергеевич АНДРИАНОВ, Вадим Сергеевич МУТИЛИН | ||
| "... проблемы комбинаторного взрыва может использоваться анализ с ограничением числа переключений потоков (англ ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ | Аннотация PDF (Rus) похожие документы |
| Егор Сергеевич ЕЛЬЧИНОВ | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... статического анализа. Основной идеей подхода является абстракция от точного взаимодействия потоков и анализ ..." | ||
| Том 37, № 1: январь-февраль | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... программы потоками при помощи внедрения синхронизационных действий. Разработанные тесты на гонки по данным ..." | ||
| Том 35, № 6 (2023) | Инструмент для поиска гонок по данным RaceHunter | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ | ||
| "... . Гонки по данным - это ошибки в многопоточных программах, возникающие, когда два потока выполняют ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... предупреждений подключением двух расширений: уточнением путей на основе предикатных абстракций и анализом потоков ..." | ||
| Том 30, № 3 (2018) | Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах | Аннотация PDF (Rus) похожие документы |
| В. Ю. Трифанов | ||
| "... Состояния гонки (data race) возникает в многопоточной программе при одновременном обращении ..." | ||
| 1 - 7 из 7 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
