-
1Academic Journal
Συγγραφείς: Alexander Kamkin, Mikhail Petrochenkov
Πηγή: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 149-160 (2018)
Θεματικοί όροι: многоядерные микропроцессоры, кэш-память, консистентность памяти, протоколы когерентности, функциональная верификация, тестирование на основе моделей, автоматизация разработки тестов, тестовый оракул, «эльбрус-8c», Electronic computers. Computer science, QA75.5-76.95
Περιγραφή αρχείου: electronic resource
Relation: https://ispranproceedings.elpub.ru/jour/article/view/643; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426
Σύνδεσμος πρόσβασης: https://doaj.org/article/5d7462bd39834489ac29b6acc5f68097
-
2Academic Journal
Συγγραφείς: Nina D. Kolennikova
Πηγή: Monitoring Obŝestvennogo Mneniâ: Ekonomičeskie i Socialʹnye Peremeny, Iss 6 (2018)
Θεματικοί όροι: квалификационный статус, социальный статус, образование, статусная консистентность, статусная иерархия, компетенции, профессиональные навыки, Sociology (General), HM401-1281
Relation: https://monitoringjournal.ru/index.php/monitoring/article/view/422; https://doaj.org/toc/2219-5467; https://doaj.org/article/7b151a1d941348baa2aa1f635f135343
-
3Academic Journal
Συγγραφείς: Бибиков, С.А., Петров, М.В., Алексеев, А.П., Алиев, М.В., Парингер, Р.А., Гошин, Е.В., Серафимович, П.Г., Никоноров, А.В.
Θεματικοί όροι: цветовая коррекция, цветовая консистентность, оптимизация параметров
Relation: 47;1; Dspace\SGAU\20230216\102032
-
4Academic Journal
Πηγή: Logiko-filosofskie studii; Том 14 (2016); 9-23
Логико-философские штудии; Том 14 (2016); 9-23Θεματικοί όροι: paraconsistency, probability measures, possibility and necessity measures, contradiction, consistency, logics of formal inconsistency, параконсистентность, вероятностные меры, меры необходимости и возможности, противоречие, консистентность, логика формальной неконсистентности
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/505
-
5Academic Journal
Θεματικοί όροι: консистентность, индекс, доступность, оперативная память, теорема Брюэра, index, availability, main memory, Bruwer theorem
Περιγραφή αρχείου: application/pdf
Relation: Бузовский О. В. Частичное преодоление CAP-теоремы в распределенном документ-ориентированном хранилище данных / О. В. Бузовский, А. А. Подрубайло // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Механико-технологические системы и комплексы. – Харьков : НТУ "ХПИ". – 2015. – № 22 (1131). – С. 38-42.; http://repository.kpi.kharkov.ua/handle/KhPI-Press/18378
Διαθεσιμότητα: http://repository.kpi.kharkov.ua/handle/KhPI-Press/18378
-
6Academic Journal
Συγγραφείς: Бузовский, О. В., Подрубайло, А. А.
Πηγή: Problems of Informatization and Management; Vol. 2 No. 50 (2015); 36-43 ; Проблемы информатизации и управления; Том 2 № 50 (2015); 36-43 ; Проблеми iнформатизацiї та управлiння; Том 2 № 50 (2015); 36-43 ; 2073-4751
Θεματικοί όροι: распределенное хранилище данных в оперативной памяти, распределенное объединение таблиц, консистентность данных, УДК 004.652.5, UDC 004.652.5
Περιγραφή αρχείου: application/pdf
Relation: https://jrnl.nau.edu.ua/index.php/PIU/article/view/8938/11046; https://jrnl.nau.edu.ua/index.php/PIU/article/view/8938
-
7Academic Journal
Συγγραφείς: KAMKIN ALEXANDER, PETROCHENKOV MIKHAIL
Θεματικοί όροι: МНОГОЯДЕРНЫЕ МИКРОПРОЦЕССОРЫ, КЭШ-ПАМЯТЬ, КОНСИСТЕНТНОСТЬ ПАМЯТИ, ПРОТОКОЛЫ КОГЕРЕНТНОСТИ, ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ, ТЕСТИРОВАНИЕ НА ОСНОВЕ МОДЕЛЕЙ, АВТОМАТИЗАЦИЯ РАЗРАБОТКИ ТЕСТОВ, ТЕСТОВЫЙ ОРАКУЛ,
"ЭЛЬБРУС-8C" Περιγραφή αρχείου: text/html
-
8Academic Journal
Συγγραφείς: Гусев, Алексей, Кашфуллина, Кристина, Насонов, Константин
Θεματικοί όροι: МОДЕРНИЗАЦИЯ, ГЛОБАЛИЗАЦИЯ, УНИВЕРСИТЕТ, РЕГУЛИРОВАНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ, КОНСИСТЕНТНОСТЬ РЕФОРМ, МЕЖДУНАРОДНАЯ КОНКУРЕНТОСПОСОБНОСТЬ, РЕЙТИНГИ УНИВЕРСИТЕТОВ
Περιγραφή αρχείου: text/html
-
9Academic Journal
Συγγραφείς: Рогачев, И., Гладышев, В., Бурлака, Б., Кечин, И.
Θεματικοί όροι: ЦЕРЕБРОВАСКУЛЯРНА ПАТОЛОГіЯ, ОСНОВА-НОСіЙ, КОНСИСТЕНТНіСТЬ, «МЕХАНіЧНА СТАБіЛЬНіСТЬ», ЦЕРЕБРОВАСКУЛЯРНАЯ ПАТОЛОГИЯ, ОСНОВА-НОСИТЕЛЬ, КОНСИСТЕНТНОСТЬ, «МЕХАНИЧЕСКАЯ СТАБИЛЬНОСТЬ», «MECHANICAL STABILITY»
Περιγραφή αρχείου: text/html
-
10Academic Journal
Συγγραφείς: Ефимов, М., Балашов, В.
Θεματικοί όροι: НЕФТЕШЛАМ, ВЯЗКОСТЬ, ПЕРЕРАБОТКА, РЕОЛОГИЯ, КОНСТАНТА, КОНСИСТЕНТНОСТЬ, ТЕЧЕНИЕ
Περιγραφή αρχείου: text/html
-
11Academic Journal
Πηγή: Вісник Національного технічного університету «ХПІ». Серія: Механіко-технологічні системи та комплекси; Том 22 (2015); 38-42
Вестник Национального технического университета «ХПИ». Серия: Механико-технологические системы и комплексы; Том 22 (2015); 38-42Θεματικοί όροι: UDC 004.652.5, CAP-theorem, data storage, consistency, index, availability, distributed, key-value, main memory, Bruwer theorem, NoSQL, CAP-теорема, хранилище данных, консистентность, индекс, доступность, распределенность, ключ-значение, оперативная память, теорема Брюэра, сховище даних, консистентність, індекс, достуність, розподіленість, ключ-значення, оперативна пам'ять, теорема Брюера, УДК 004.652.5
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: http://mtsc.khpi.edu.ua/article/view/47924
-
12Academic Journal
Θεματικοί όροι: доступность, index, оперативная память, availability, теорема Брюэра, main memory, консистентность, индекс, Bruwer theorem
Σύνδεσμος πρόσβασης: http://repository.kpi.kharkov.ua/handle/KhPI-Press/18378
-
13Academic Journal
Πηγή: Вестник международных организаций: образование, наука, новая экономика.
Θεματικοί όροι: 4. Education, 0602 languages and literature, 05 social sciences, МОДЕРНИЗАЦИЯ, ГЛОБАЛИЗАЦИЯ, УНИВЕРСИТЕТ, РЕГУЛИРОВАНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ, КОНСИСТЕНТНОСТЬ РЕФОРМ, МЕЖДУНАРОДНАЯ КОНКУРЕНТОСПОСОБНОСТЬ, РЕЙТИНГИ УНИВЕРСИТЕТОВ, 06 humanities and the arts, 0503 education
Περιγραφή αρχείου: text/html
-
14Academic Journal
Πηγή: Известия Волгоградского государственного технического университета.
Θεματικοί όροι: 0205 materials engineering, НЕФТЕШЛАМ, ВЯЗКОСТЬ, ПЕРЕРАБОТКА, РЕОЛОГИЯ, КОНСТАНТА, КОНСИСТЕНТНОСТЬ, ТЕЧЕНИЕ, 0211 other engineering and technologies, 02 engineering and technology
Περιγραφή αρχείου: text/html
-
15Electronic Resource
Additional Titles: Корректное вероятностное рассуждение при противоречии, неконсистентности и неполноте
Συγγραφείς: Буэно-Солер, Д., Карниелли, В.
Πηγή: Logiko-filosofskie studii; Том 14 (2016); 9-23; Логико-философские штудии; Том 14 (2016); 9-23; 2223-3954; 2071-9183
Όροι ευρετηρίου: paraconsistency; probability measures; possibility and necessity measures; contradiction; consistency; logics of formal inconsistency, параконсистентность; вероятностные меры; меры необходимости и возможности; противоречие; консистентность; логика формальной неконсистентности, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion
