-
1Academic Journal
-
2Academic Journal
Authors: O. Kouchnarenko, J.-F. Weber, О. Б. Кушнаренко, Ж.-Ф. Вебер
Source: Modeling and Analysis of Information Systems; Том 23, № 6 (2016); 804-825 ; Моделирование и анализ информационных систем; Том 23, № 6 (2016); 804-825 ; 2313-5417 ; 1818-1015
Subject Terms: GROOVE, dynamic reconfigurations, consistency, simulation relation, implementation, динамическое реконфигурирование, непротиворечивость, соответствие, реализация
File Description: application/pdf
Relation: https://www.mais-journal.ru/jour/article/view/416/375; De Lemos R., Giese H., MuЁller H. A., Shaw M., Andersson J., Litoiu M., Schmerl B., Tamura G., Villegas N. M., Vogel T., et al., “Software engineering for self-adaptive systems: A second research roadmap”, Software Engineering for Self-Adaptive Systems II, 2013, 1– 32.; Dwyer M. B., Avrunin G. S., Corbett J. C., “Patterns in property specifications for finite- state verification”, Proceedings of the 1999 International Conference on, Software Engineering, 1999, 411–420.; Dormoy J., Kouchnarenko O., Lanoix A., “Runtime verification of temporal patterns for dynamic reconfigurations of components”, LNCS, 7253, eds. Arbab F., OЁlveczky P., Springer, Berlin Heidelberg, 2012, 115–132.; Trentelman K., Huisman M., “Extending JML specifications with temporal logic”, Algebraic Methodology and Software Technology, 2002, 334–348.; Kouchnarenko O., Weber J. F., “Adapting component-based systems at runtime via policies with temporal patterns”, LNCS, 8348, eds. Fiadeiro J. L., Liu Z., Xue J., Springer, 2014, 234–253.; Kouchnarenko O., Weber J. F., “Decentralised evaluation of temporal patterns over component-based systems at runtime”, LNCS, 8997, eds. Lanese I., Madelaine E., Springer, 2015, 108–126.; Lanoix A., Dormoy J., Kouchnarenko O., “Combining proof and model-checking to validate reconfigurable architectures”, ENTCS, 279 (2011), 43–57.; Dijkstra E. W., “Guarded commands, nondeterminacy and formal derivation of programs”, Communications of the ACM, 18 (1975), 453–457.; Ghamarian A.H., de Mol M., Rensink A., Zambon E., Zimakova M., “Modelling and analysis using GROOVE”, J. on Software Tools for Technology Transfer, 14 (2012), 15–40.; Bruneton E., Coupaye T., Leclercq M., Queґma V., Stefani J. B., “The fractal component model and its support in java”, Softw., Pract. Exper., 36 (2006), 1257–1284.; Schneider S., Treharne H., “Csp theorems for communicating b machines”, Formal Asp. Comput., 17 (2005), 390–422.; Seinturier L., Merle P., Rouvoy R., Romero D., Schiavoni V., Stefani J.B., “A component-based middleware platform for reconfigurable service-oriented architectures”, Software: Practice and Experience, 42 (2012), 559–583.; Dormoy J., Kouchnarenko O., Lanoix A., “Using temporal logic for dynamic reconfigurations of components”, LNCS, 6921, eds. Barbosa L., Lumpe M., Springer, Berlin Heidelberg, 2012, 200–217.; Hamilton A. G., Logic for mathematicians, Cambridge University Press, Cambridge, 1978.; Hoare C. A. R., “An axiomatic basis for computer programming”, Communications of the ACM, 12 (1969), 576–580.; Milner R., Communication and concurrency, Prentice-Hall, Inc., 1989.; Ma X., Baresi L., Ghezzi C., Panzica La Manna V., Lu J., “Version-consistent dynamic reconfiguration of component-based distributed systems”, ACM, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, 2011, 245–255.; Boyer F., Gruber O., Pous D., “Robust reconfigurations of component assemblies”, Int. Conf. on Software Engineering (ICSE ’13, Piscataway), 2013, 13–22.; Kramer J., Magee J., “The evolving philosophers problem: Dynamic change management”, Software Engineering, IEEE Transactions, 16 (1990), 1293–1306.; Vandewoude Y., Ebraert P., Berbers Y., D’Hondt T., “Tranquility: A low disruptive alternative to quiescence for ensuring safe dynamic updates”, Software Engineering, IEEE Transactions, 33 (2007), 856–868.; Le Metayer D., “Describing software architecture styles using graph grammars”, IEEE Transactions on Software Engineering, 24 (1998), 521–533.; KaЁhkoЁnen K., Lampinen J., Heljanko K., NiemelaЁ I., “The lime interface specification language and runtime monitoring tool”, Int. Wshop on Runtime Verification, RV’09, LNCS, 5779, eds. Bensalem S., Peled D.A., Springer, Berlin Heidelberg, 2009, 93–100.
-
3Academic Journal
Source: МОДЕЛИРОВАНИЕ, ОПТИМИЗАЦИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ. 7:8-9
Subject Terms: порядковая логика, automatic control, relational device, реконфигурирование, reconfiguring, 004.031.6, автоматический контроль, ПЛИС, реляторное устройство, встроенные устройства, функциональная диагностика, ordinal logic, functional diagnostics, FPGA, embedded device
-
4Academic Journal
Authors: Шестопалов, Михаил
Subject Terms: РЕКОНФИГУРИРОВАНИЕ СИСТЕМ, ОТКАЗОУСТОЙЧИВЫЕ СИСТЕМЫ УПРАВЛЕНИЯ, ГЛУБИНА ДИАГНОСТИРОВАНИЯ
File Description: text/html
-
5Academic Journal
Authors: Шушаков, А.
File Description: text/html
-
6Academic Journal
Authors: Добронравин, Е.
Subject Terms: ЦЕПЬ ПОЛЕЗНОСТИ, ЛОГИСТИЧЕСКАЯ ЦЕПЬ, ЛОГИСТИЧЕСКАЯ РЕНТАБЕЛЬНОСТЬ АКТИВОВ, СТРАТЕГИЧЕСКОЕ ПЛАНИРОВАНИЕ, КЛИЕНТСКАЯ БАЗА, ЭЛЕМЕНТЫ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, РЕКОНФИГУРИРОВАНИЕ, ПОСТРОЕНИЕ ЛОГИСТИЧЕСКОЙ СИСТЕМЫ, ИМИТАЦИОННАЯ МОДЕЛЬ, МОДЕЛЬ ТОРГОВОЙ ФИРМЫ, МЕТОД ЭЛИМИНИРОВАНИЯ,
CLIENTS" BASE, ELEMENTS OF LOGISTICS'' SYSTEM, LOGISTICS'' SYSTEM File Description: text/html
-
7Academic Journal
Authors: Хамухин, Александр Анатольевич
Source: Известия Томского политехнического университета
Subject Terms: однородные вычислительные структуры, ячейки, реконфигурирование, параллельные вычисления, дифференциальное уравнение в частных производных, разностные сетки, приращение переменной
File Description: application/pdf
Relation: Известия Томского политехнического университета [Известия ТПУ]. 2010. Т. 316, № 5: Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/3168
Availability: http://earchive.tpu.ru/handle/11683/3168
-
8Academic Journal
Authors: Хамухин, Александр
Subject Terms: ячейка однородной вычислительной структуры, реконфигурирование, параллельные вычисления, дифференциальное уравне ние в частных производных, разностная сетка, приращение переменной, the cell of homogeneous computing structure, reconfiguration, parallel computation, partial differential equations, finite-differential meshes, increment of variable
File Description: text/html
-
9Academic Journal
Source: Известия Томского политехнического университета
Subject Terms: однородные вычислительные структуры, разностные сетки, дифференциальное уравнение в частных производных, приращение переменной, реконфигурирование, ячейки, параллельные вычисления
File Description: application/pdf
Access URL: http://earchive.tpu.ru/handle/11683/3168
-
10Academic Journal
Source: Современные проблемы науки и образования.
File Description: text/html
-
11Academic Journal
Source: Экономика образования.
File Description: text/html
-
12Academic Journal
Source: Известия Томского политехнического университета.
File Description: text/html
-
13Dissertation/ Thesis
Authors: Мораведж Сейед Милад
Contributors: Романкевич, Виталий Алексеевич, Национальный технический университет Украины "Киевский политехнический институт", системного программирования и специализированых компьютерных систем
Subject Terms: багатопроцесорні системи, відмовостійкість, реконфігурування, взаємотестування процесорів, керований генератор псевдовипадкових векторів, надійність складних систем, ймовірність безвідмовної роботи, многопроцессорные системы, отказоустойчивость, реконфигурирование, взаимное тестирование процессоров, управляемый генератор псевдослучайных векторов, надежность сложных систем, вероятность безотказной работы, multiprocessor systems, fault-tolerance, reconfiguration, processors’ mutual testing, controlled generator of pseudo-random vectors, reliability of complex systems, faultless operation probability, 004.05
File Description: 164 л.; application/msword
Relation: Мораведж Сейед Милад. Методы и средства оценки технической безопасности и расчёта параметров эффективности тестирования и реконфигурации многопроцессорных систем управления : дисс. . канд. техн. наук. - 05.13.05 – компьютерные системы и компоненты / Мораведж Сейед Милад. - К., 2012. - 164 л. + CD-ROM; https://ela.kpi.ua/handle/123456789/3211
Availability: https://ela.kpi.ua/handle/123456789/3211
