15:25

Облачная платформа для анализа и разработки доверенных интеллектуальных систем

01:22:51

Основы обработки текстов 2023. Лекция 14. Большие языковые модели (LLM).

09:28

Открытая конференция ИСП РАН 2022

07:16

Иванниковские чтения 2021. Нижний Новгород, ННГУ

01:22:36

Основы обработки текстов 2021. Лекция 9

01:08:47

Основы обработки текстов 2021. Лекция 10

57:00

Основы обработки текстов 2021. Лекция 11

56:32

Основы обработки текстов 2021. Лекция 12

01:17:26

Основы обработки текстов 2021. Лекция 8

01:23:22

Основы обработки текстов 2021. Лекция 7

01:00:52

Основы обработки текстов 2021. Лекция 13

01:25:15

Основы обработки текстов 2021. Лекция 6

01:17:10

Основы обработки текстов 2021. Лекция 5

01:06:11

Основы обработки текстов 2021. Лекция 4

01:14:05

Основы обработки текстов 2021. Лекция 3

01:00:30

Основы обработки текстов 2021. Лекция 2

01:24:06

Основы обработки текстов 2021. Лекция 1

01:27:12

Машинное обучение 2021. Лекция 10. Машинное обучение для программной инженерии

01:29:05

Машинное обучение 2021. Лекция 7. Графовые нейронные сети

01:26:37

Машинное обучение 2021. Лекция 6. Нейросетевые языковые модели

01:35:08

Машинное обучение 2021. Лекция 5. Векторные представления слов

43:18

Машинное обучение 2021. Лекция 4. Генеративно-состязательные сети

01:39:07

Машинное обучение 2021. Лекция 1. Введение в машинное обучение

01:25:51

Машинное обучение 2021. Лекция 3. Сверточные сети для детекции объектов

01:19:09

Машинное обучение 2021. Лекция 2. Введение в нейронные сети

01:25:50

Машинное обучение 2021. Лекция 9. Самообучение (Self-supervised learning)

01:13:49

10. Software Engineering in Different Fields section and Closing Session

01:07:54

09. Programming Languages and Compilers section

01:40:09

08. Computer Networks section

01:01:46

07. Formal Methods for Reliable Autonomous Systems - Holger Schlingloff (Fraunhofer FOKUS)

01:00:59

06. Programming Language Memory Models: Problems, Solutions, and Directions - Anton Podkopaev (HSE)

01:03:53

05. Formal Methods section

01:30:02

04. Software Architecture and Model Driven Development section

01:40:11

03. Testing, Verification and Static Analysis section

01:12:55

02. Property Directed Symbolic Execution - Dmitry Mordvinov (SPbSU, JetBrains Research)

15:24

01. Opening and invitation to ru-STEP

07:25

Using Crusher to fuzz mutool utility from MuPdf package

48:17

Sydr: Dynamic Symbolic Execution Tool

25:57

CASR: Core Dump Analysis and Severity Reporter Tool

02:11

BinSide: Binary Analysis Tool Usage Example

06:31

Международная конференция «Иванниковские чтения», Орёл, 25-26 сентября 2020 года

01:44:26

О проблеме повышения надёжности смарт-контрактов через символьную верификацию моделей

05:13

Сlouni -- IaaS оркестратор, реализующий стандарт OASIS TOSCA

05:26

Michman — система оркестрации PaaS-сервисов

06:52

Открытая конференция ИСП РАН 2019

05:01

Воспоминания о Викторе Петровиче Иванникове

03:56

ИСП РАН 2020

01:44

Иванниковские чтения 2019 - этнографическая программа

06:56

Иванниковские чтения 2019

01:29:44

Технология предикатного и автоматного программирования

59:37

Реляционные инварианты как решения нелинейных систем дизъюнктов Хорна с ограничениями

01:12:30

Управление дублированной информацией в software данных

01:13:24

Методы и средства реализации программно-управляемого процесса разработки ПО критически важных систем

04:22

ISPRAS OPEN 2017 (RU)

01:31:08

Florent de Dinechin - Computing just right

01:49:41

Автоматное программирование: определение, модель, реализация

04:42

ИСПРЯН. Поездка ИСП РАН в Армению

01:32:05

К вопросу построения инструмента формальной верификации смарт-контрактов

52:42

Streaming Architecture for Large-Scale Quantized Neural Networks on an FPGA-Based Dataflow Platform

01:48:58

О верификации программ, манипулирующих строковыми данными