| ||||||||||||||||||||||||
Другие журналы
электронный журнал
МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК
Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609
Метод статического поиска гонок в программах на языке Си на основе относительного множества блокировок
Молодежный научно-технический вестник # 03, март 2014
УДК: 004.415.53
Файл статьи:
Фроловский А.В..docx
(186.45Кб)
Фроловский А.В..docx
(186.45Кб)
1. Fischer C.N. CS 701 Lecture Notes. Lecture 26. Режим доступа: http://pages.cs.wisc.edu/~fischer/cs701.f08/lectures/Lecture26.pdf (дата обращения 20.02.2014).
2. Kernighan B.W., Ritchie D.M. The C Programming Language. 2nd Edition. Upper Saddle River: Prentice Hall Professional Technical Reference, 1988. 281 p.
3. Voung J.W., Jhala R., Lerner S. RELAY: static race detection on millions of lines of code // Proceedings of the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. Dubrovnik 2007. P.205-214. DOI:10.1145/1287624.1287654.
Публикации с ключевыми словами: статический поиск гонок, относительное множество блокировок, алгоритм Андерсена
Публикации со словами: статический поиск гонок, относительное множество блокировок, алгоритм Андерсена
Смотри также:
Тематические рубрики:
Поделиться:
| Авторы |
| Пресс-релизы |
| Библиотека |
| Конференции |
| Выставки |
| О проекте |
| Телефон: +7 (499) 263-61-98 |
|
 |
|||
| © 2003-2024 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98 | |||||
