Browsing by Author Шкарупило, Вадим Викторович

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 20 of 23  next >
Issue DateTitleAuthor(s)
2018An 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; Шкарупило, Вадим Викторович; Томичич, Игорь; Касьян, Константин Николаевич; Альсаядех, Жамиль
2017Development of stratified approach to software defined networks simulationШкарупило, Вадим Вікторович; Скрупський, Степан Юрійович; Олійник, Андрій Олександрович; Колпакова, Тетяна Олексіївна; Shkarupylo, Vadym V.; Skrupsky, Stepan Y.; Oliinyk, Andriy O.; Kolpakova, Tetiana O.; Шкарупило, Вадим Викторович; Скрупский, Степан Юрьевич; Олейник, Андрей Александрович; Колпакова, Татьяна Алексеевна
2015DEVS-орієнтована методика валідації композитних веб-сервісівШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Кудерметов, Равіль Камілович; Кудерметов, Равиль Камилович; Kudermetov, Ravil K.; Польська, Ольга Володимирівна; Польская, Ольга Владимировна; Polska, Olga V.
2016The investigation of TLC model checker propertiesШкарупило, Вадим Вікторович; Шкарупило, Вадим Викторович; Shkarupylo, Vadym V.; Томічич, Ігор; Томичич, Игорь; Tomičić, Igor; Касьян, Констянтин Миколайович; Касьян, Константин Николаевич; Kasyan, Konstantin M.
2017The system for control and accounting of working timeПлахтій, Анастасія Михайлівна; Шкарупило, Вадим Вікторович; Бєліков, Сергій Борисович; Plakhtii, Anastasiia M.; Shkarupylo, Vadym V.; Byelikov, Sergey B.; Плахтий, Анастасия Михайловна; Шкарупило, Вадим Викторович; Беликов, Сергей Борисович
2013WS-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.