Showing results 1 to 20 of 23
next >
Issue Date | Title | Author(s) |
2018 | An approach to increase the effectiveness of TLC verification with respect to the concurrent structure of TLA+ specification | Шкарупило, Вадим Вікторович; Томічич, Ігор; Касьян, Констянтин Миколайович; Альсаядех, Жаміль; Shkarupylo, Vadym V.; Tomičić, Igor; Kasyan, Konstantin M.; Alsayaydeh, Jamil; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль |
2017 | Development of stratified approach to software defined networks simulation | Шкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна Алексеевна |
2015 | DEVS-орієнтована методика валідації композитних веб-сервісів | Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V. |
2016 | The investigation of TLC model checker properties | Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M. |
2017 | The system for control and accounting of working time | Плахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей Борисович |
2013 | WS-BPEL-модифікація методу TLC-верифікації | Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович |
2011 | Комплексный подход к автоматизации композиции веб-сервисов | Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович |
2012 | Концептуальна модель процесу автоматизованого синтезу композитних веб-сервісів | Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Паромова, Тетяна Олександрівна; Paromova, Tetyana O.; Паромова, Татьяна Александровна |
2017 | Лабораторні роботи з дисципліни "Алгоритми та методи обчислень" | Шкарупило, Вадим Вікторович; Голуб, Тетяна Василівна; Щербак, Наталія Володимирівна; Shkarupylo, Vadym V.; Golub, Tatiyna V.; Shcherbak, Natalya V.; Шкарупило, Вадим Викторович; Голуб, Татьяна Васильевна; Щербак, Наталья Владимировна |
2018 | Лабораторні роботи з паралельних та розподілених обчислень. Багатопоточне програмування у С++ та Java. Потоки у паралельних та векторних обчисленнях | Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга Владимировна |
2020 | Лабораторні роботи з паралельних та розподілених обчислень. Паралельні обчислення з використанням технології MPI. Паралельні обчислення з використанням технології OpenMP. | Кудерметов, Равіль Камілович; Шкарупило, Вадим Вікторович; Польська, Ольга Володимирівна; Kudermetov, Ravil K.; Shkarupylo, Vadym V.; Polska, Olga V.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Викторович; Польская, Ольга Владимировна |
2019 | Методичні вказівки до виконання лабораторних робіт з дисципліни "WEB-програмування" для студентів спеціальності 122 "Комп'ютерні науки" всіх форм навчання | Скрупський, Степан Юрійович; Шкарупило, Вадим Вікторович; Skrupsky, Stepan Y.; Shkarupylo, Vadym V.; Скрупский, Степан Юрьевич; Шкарупило, Вадим Викторович |
2015 | Методичні вказівки до виконання лабораторних робіт з дисципліни "Інженерія програмного забезпечення" (I частина) | Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Ільяшенко, Матвій Борисович; Ильяшенко, Матвей Борисович; Iliashenko, Matvii B.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V. |
2018 | Методичні вказівки до лабораторних робіт з дисципліни "Грід обчислення та хмарні технології" для студентів спеціальності 123 "Комп'ютерна інженерія" всіх форм навчання | Скрупський, Степан Юрійович; Skrupsky, Stepan Y.; Скрупский, Степан Юрьевич; Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович |
2018 | Методичні вказівки до лабораторних робіт з дисципліни «Основи теорії інтелектуальних систем». I частина. | Тягунова, Марія Юріївна; Зеленьова, Ірина Яківна; Шкарупило, Вадим Вікторович; Tyagunova, Mary Y.; Zeleneva, Irina Ya.; Shkarupylo, Vadym V.; Тягунова, Мария Юрьевна; Зеленева, Ирина Яковлевна; Шкарупило, Вадим Викторович |
2018 | Методичні вказівки до лабораторних робіт з дисципліни «Основи теорії інтелектуальних систем». II частина. | Тягунова, Марія Юріївна; Зеленьова, Ірина Яківна; Шкарупило, Вадим Вікторович; Tyagunova, Mary Y.; Zeleneva, Irina Ya.; Shkarupylo, Vadym V.; Тягунова, Мария Юрьевна; Зеленева, Ирина Яковлевна; Шкарупило, Вадим Викторович |
2019 | Методичні вказівки до лабораторних робіт з дисципліни «Основи Інтернету речей» Частина 1 | Тіменко, Артур Валентинович; Timenko, Artur V.; Тіменко, Артур Валентинович; Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.; Тягунова, Мария Юрьевна; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович |
2019 | Методичні вказівки до лабораторних робіт з дисципліни «Основи Інтернету речей» Частина 2 | Тіменко, Артур Валентинович; Timenko, Artur V.; Тіменко, Артур Валентинович; Тягунова, Марія Юріївна; Tiahunova, Mariia Yu.; Тягунова, Мария Юрьевна; Кудерметов, Равіль Камілович; Kudermetov, Ravil K.; Кудерметов, Равиль Камилович; Шкарупило, Вадим Вікторович; Shkarupylo, Vadym V.; Шкарупило, Вадим Викторович |
2013 | Модель TLA-специфікації композитного веб-сервіса з множиною динамік | Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V. |
2015 | Модифицированый метод распознавания текста на стандартизированном изображении | Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.; Братчиков, Володимир Володимирович; Братчиков, Владимир Владимирович; Bratchykov, Volodymyr V.; Шкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V. |