Известия Кабардино-Балкарского научного центра РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Известия Кабардино-Балкарского научного центра РАН:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Известия Кабардино-Балкарского научного центра РАН, 2011, выпуск 1, страницы 213–216 (Mi izkab614)  
ИНФОРМАТИКА. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА. УПРАВЛЕНИЕ

Проверка корректности логической структуры многозадачных программных приложений

В. В. Никифоров, В. И. Шкиртиль

Учреждение Российской академии наук «Санкт-Петербургский институт информатики и автоматизации РАН» (СПИИРАН), 199178, Санкт-Петербург, 14 линия, 39
PDF полного текста (112 kB)
Список литературы:
PDF
HTML
Аннотация: Представлен метод проверки структуры многозадачных программных приложений на возможность возникновения ситуаций с взаимным блокированием действующих заданий в условиях использования синхронизационных механизмов типа мьютексов. Метод основан на построении и анализе специального вида многодольных ориентированных графов, число вершин в которых растет линейно с ростом числа задач.
Ключевые слова: многозадачные программные приложения, разделяемые ресурсы, синхронизационные механизмы, граф системных состояний, тупики, клинчи.
Поступила в редакцию: 24.01.2011
Реферативные базы данных:
Тип публикации: Статья
УДК: 618.3
Образец цитирования: В. В. Никифоров, В. И. Шкиртиль, “Проверка корректности логической структуры многозадачных программных приложений”, Известия Кабардино-Балкарского научного центра РАН, 2011, № 1, 213–216
Цитирование в формате AMSBIB
\RBibitem{NikShk11}
\by В.~В.~Никифоров, В.~И.~Шкиртиль
\paper Проверка корректности логической структуры многозадачных программных приложений
\jour Известия Кабардино-Балкарского научного центра РАН
\yr 2011
\issue 1
\pages 213--216
\mathnet{http://mi.mathnet.ru/izkab614}
\elib{https://elibrary.ru/item.asp?id=15632549}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/izkab614
  • https://www.mathnet.ru/rus/izkab/y2011/i1/p213
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия Кабардино-Балкарского научного центра РАН Известия Кабардино-Балкарского научного центра РАН
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024