Zobrazeno 1 - 10
of 13
pro vyhledávání: '"семафор"'
Autor:
Alexey Borodin
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 3, Pp 103-112 (2018)
This paper describes algorithm for static search for error of double locking of mutex. The algorithm allows emitting warnings with low level of false positives. We considered finding errors for abstract library containing functions of mutex lock, unl
Externí odkaz:
https://doaj.org/article/a2af42063cc74440aaa123ab6debab78
Autor:
T. M. Sheterliak
Publikováno v:
Історія науки і техніки, Vol 3, Iss 4, Pp 145-150 (2013)
Розглянуто історію виникнення і розвитку сигнальних пристроїв на перших етапах існування залізниць.
Externí odkaz:
https://doaj.org/article/bea202041a5f47989979adbd4ffd389e
Время и железнодорожная сигнализация – эти понятия наверно многие связывают c пунктуальностью, которой известны железные дороги. В ост
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1187c7e5449ca8eb82b9c4bf9dbe2fdd
Publikováno v:
Nauka i Obrazovanie, Vol 0, Iss 9, Pp 404-419 (2015)
Представлен краткий обзор научно-технических достижений к первой половине XIX века в области телеграфирования, а также жизни и творчеств
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doajarticles::fb897afec0073858dae689d2c947747a
http://technomag.edu.ru/jour/article/view/202
http://technomag.edu.ru/jour/article/view/202
Autor:
Alexey Borodin
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 3, Pp 103-112 (2018)
This paper describes algorithm for static search for error of double locking of mutex. The algorithm allows emitting warnings with low level of false positives. We considered finding errors for abstract library containing functions of mutex lock, unl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::190e175474b83b1e33f0a68c8f315e34
https://doi.org/10.15514/ispras-2014-26(3)-5
https://doi.org/10.15514/ispras-2014-26(3)-5
Publikováno v:
Автоматика на транспорте.
Статья содержит материалы второго раздела неизданной монографии первого заведующего кафедрой «Автоматика и телемеханика на железных
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::5115693e3699d232ca76a32a3942ce28
http://cyberleninka.ru/article_covers/16816778.png
http://cyberleninka.ru/article_covers/16816778.png
Publikováno v:
Автоматика на транспорте.
Данная работа содержит материалы второго раздела неизданной монографии первого заведующего кафедрой «Автоматика и телемеханика на же
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::49b05d17476a0b301669d13c5213f133
http://cyberleninka.ru/article/n/razvitie-ustroystv-stsb-v-period-promyshlennogo-kapitalizma-1861-1900-gg-chast-3-regulirovanie-dvizheniya-na-peregonah
http://cyberleninka.ru/article/n/razvitie-ustroystv-stsb-v-period-promyshlennogo-kapitalizma-1861-1900-gg-chast-3-regulirovanie-dvizheniya-na-peregonah
Publikováno v:
Автоматика на транспорте.
Данная работа содержит материалы первого раздела неизданной рукописи монографии первого заведующего кафедрой «Автоматика и телемехан
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::3201271ef51785d55ba184db942d6f5b
http://cyberleninka.ru/article/n/razvitie-ustroystv-signalizatsii-tsentralizatsii-i-blokirovki-v-doreformennyy-period-do-1861-g
http://cyberleninka.ru/article/n/razvitie-ustroystv-signalizatsii-tsentralizatsii-i-blokirovki-v-doreformennyy-period-do-1861-g
Publikováno v:
Автоматика на транспорте.
Данная работа содержит материалы второго раздела неизданной монографии первого заведующего кафедрой «Автоматика и телемеханика на же
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::cbb751bc37ef8d0ff31e1173a2e13030
http://cyberleninka.ru/article_covers/16121206.png
http://cyberleninka.ru/article_covers/16121206.png
Publikováno v:
Развитие элементной базы и совершенствование методов построения устройств железнодорожной автоматики и телемеханики.
Приводятся фрагменты рукописи Николая Васильевича Лупала 50-х годов XX века «Развитие устройств сигнализации, централизации и блокировк
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2806::2a5a129b24030a7c99b662d72e1f6a9b
http://cyberleninka.ru/article_covers/15837586.png
http://cyberleninka.ru/article_covers/15837586.png
