Место KasperskyOS среди других операционных систем
Безопасность — базовая потребность человека. Сегодня она все больше зависит от IT-технологий. Человечеству нужно научиться создавать ...
Kaspersky Tech Russia
ПИД-регулирование – это просто! Настройка САР с помощью PID-Expert
Запись вебинара от 08.06.2020 г. Программа: 1. подключение к действующей АСУ ТП; 2. чтение и архивирование технологических переменных; ...
MasterSCADA
Зачем нужна СМК?
ООО «Русский Регистр – Московия» Юхов Александр В. – Генеральный директор ООО «РР-Московия», эксперт: 9001, 18001, СТО Газпром 9001.
Русский Эксперт
Формальная верификация алгоритмов репликации и кворумной вставки в ClickHouse
Вадим Плахтинский, Вконтакте.
ClickHouse
К вопросу построения инструмента формальной верификации смарт-контрактов
Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: дедуктивные методы формальной ...
ИСП РАН
Ты кто такой? Эрик Вурхис | Erik Voorhees [ стартапер, Founder & CEO онлайн обменника ShapeShift ]
ShapeShift #Криптовалюты #Bitcoin Конкурсная страница этого ролика: https://bonus.exmo.ru/cont24/ 00:00 ? Конкурсы от EXMO: https://bonus.exmo.ru/ ...
EXMO܂RU
Создание структуры распределенной файловой системы (DFS) для сетевых файлов
В данном видеоролике наглядно продемонстрировано, как можно установить и настроить структуру распределенной файловой системы (DFS).
SCT GUIDE
Олег Анастасьев — Надежность в распределенных системах
Одноклассники — это одна из самых больших, сложных и нагруженных распределенных систем в мире. Тысячи серверов участвуют в обработке ...
TechTrain
Лекция 6 | Теория распределенных вычислений | Роман Липовский | Лекториум
Лекция 6. Верификация распределенных систем, TLA+ | Курс: Теория распределенных вычислений | Организаторы: Computer Science клуб при ПОМИ ...
Лекториум
Лекция 1 | Программный анализ и формальные методы верификации | Наталья Шарыгина | Лекториум
Лекция 1 | Курс: Программный анализ и формальные методы верификации | Лектор: Наталья Шарыгина | Организатор: Computer Science клуб при ...
Лекториум
вебинар 5 цикла 2 Верификация программного комплекса
Вебинар, посвященный верификации прошраммных средств, выбору задач. Приведены результаты верификации MicroFe, задачи и решения.
TechSoftVideo
Андрей Усов (Лаборатория Касперского) - Работаем с Bash на распределенных системах
В процессе автоматизации с использованием Python в Linux-среде очень часто возникает необходимость использовать Bash. Если мы вызываем ...
MoscowPython
Лекция 1 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Лекция 1 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая лаборатория имени П.Л.
Лекториум
Лекция 7 | Теория распределенных вычислений | Роман Липовский | Лекториум
Лекция 7. Верификация распределенных систем, TLA+ | Курс: Теория распределенных вычислений | Организаторы: Computer Science клуб при ПОМИ ...
Лекториум
Децентрализация - Новая эра интернета? | Децентрализация системы
Децентрализация как новая эра интернета. Сейчас наступает новая эра интернета, когда децентрализованные системы бросают вызов ...
CryptoInside
Высоконагруженная распределенная система управления современной АЭС | Технострим
Мы публикуем самые лучшие и интересные доклады с топовых отраслевых конференций для программистов и разработчиков. Лучшие доклады ...
Технострим Mail.Ru Group
8. HIGHLOAD. JVM. Java в высоконагруженных системах | Технострим
Перезалив: Поправили некоторые мелочи Подробнее о курсе: https://goo.gl/mTNYRv Другие лекции курса: https://goo.gl/Fka5VQ Курс «Проектирование ...
Технострим Mail.Ru Group
Высоконагруженная распределенная система управления современной АЭС / Вадим Подольный (Физприбор)
Saint HighLoad++ 2019 Тезисы и презентация: https://www.highload.ru/spb/2019/abstracts/4861 В докладе будет представлена новая платформа ...
HighLoad Channel
Безопасность разработки - анализ кода, devsecops, sdlc и дружба с безопасником!
Безопасность разработки - анализ кода, devsecops, sdlc и дружба с безопасником ❗ Для аудита безопасности своего сайта или веб-приложения ...
Безопасность и развитие бизнеса - Гладиаторы
Открытый инструментарий счастливого 1С-ника
Сделать рабочее место 1С эффективным! http://infostart.ru/webinars/564258/
INFOSTART.RU
Вебинар Архитектура ИСО "Орион" ч3
Запись вебинара от 13 февраля "Архитектура ИСО "Орион". Ведущий -- руководитель отдела технической поддержки Максим Горяченков. Часть 3 ...
НВП Болид
KasperskyOS – платформа для обеспечения комплексной безопасности вертикально-интегрированной АСУ ТП
Выступление Александра Шадрина, Эксперта по разработке программного обеспечения, «Лаборатория Касперского», на Kaspersky Industrial ...
Kaspersky Russia
Иван Аржанцев о факультете компьютерных наук на Дне открытых дверей 2020
Мы приглашаем абитуриентов и их родителей поближе познакомиться с Высшей школой экономики и узнать о поступлении и обучении в вузе.
Высшая школа экономики
Polyspace Bug Finder: Проверка кода на соответствие стандартам кодирования
В этом видео будут рассмотрены вопросы стандартов кодирования. Будет продемонстрировано как Polyspace Bug Finder реализует проверки ...
MATLABinRussia
Насколько безопасен блокировочный контур защиты Вашей системы ПАЗ?
Павел Кирюшин, Эксперт по системам ПАЗ, Emerson - рассказывает о том, как реализовать комплексный подход к проектированию, внедрению и ...
Emerson RU
Программная инженерия, Лаврищева Е.М., Лекция 04, 02.10.20
Электронная наука. Подходы к представлению научных знаний в интернет науке. Преподаватель - Лаврищева Екатерина Михайловна.
Дистанционные занятия МФТИ
День открытых дверей ИРИТ НГТУ
День открытых дверей ИРИТ НГТУ 12.05.20.
НГТУ им. Р.Е. Алексеева
ПО HikCentral от Hikvision
Вебинар на тему "программное обеспечение Hikvision HikCentral, решения профессионального уровня для разномасштабных проектов" План ...
Виатек, ООО
Майнинг обеспечения консенсуса Часть 1: Технология Обеспечение консенсуса по алгоритму Community PoS
Подписывайтесь на официальный YouTube-канал Сергея Литвиненко, чтобы больше узнать о Системе Bitbon: https://goo.gl/rUXSMp В этом вебинаре ...
Sergey Litvinenko
Распределённое программирование в системе RiDE. Михаил Бахтерев
Несмотря на ощутимый прогресс в сетевых технологиях и технологиях построения распределённых вычислительных систем за последние 30 лет, ...
Fp Conf
Вебинар Линии передачи с заданным волновым сопротивлением в Altium Designer
Запись вебинара 17 декабря 2019 г. В рамках вебинара разработчик может познакомиться с одним из основных понятий, характерным для ...
Altium Russia
Варианты построения отказоустойчивых систем на основе PostgreSQL
Михаил Кулагин, Postgres Professional 1. Подходы к построению отказоустойчивых систем на примере OpenSource СУБД MySQL и PostgreSQL 1.1.
1С-Битрикс. Для бизнеса
Путь в QA – от джуниора до создания собственной TMS
Запись на бесплатную карьерную консультацию: http://bit.ly/GeekBraIns111019 Начни карьеру с бесплатного курса "Основы программирования" ...
GeekBrains
Интегрированные системы. Мультивендорность: из проблемы в преимущество
http://www.security-bridge.com Сергей Талызенков, "Электроника" Интегрированные системы. Мультивендорность: из проблемы в преимущество ...
Юрий Гедзберг
Система контроля и управления доступом на базе интегрированной системы безопасности ParsecNET 3
Семинар ООО «НПО Релвест» по теме “ Система контроля и управления доступом на базе интегрированной системы безопасности ParsecNET 3» ...
ooo.tinko
Лекция 1 | Базы данных (2013) | Вадим Цесько | CSC | Лекториум
Лекция 1 | Курс: Базы данных (2013) | Лектор: Вадим Цесько | Организатор: Computer Science Center Смотрите это видео на Лекториуме: ...
Лекториум
Кафедры ФПМИ | Кафедра анализа систем и решений
Перезентация кафедрыанализа систем и решений в рамках презентаций базовых кафедр ФПМИ МФТИ, под названием "современные проблемы ...
ФПМИ МФТИ
Теория распределённых вычислений 12. Bitcoin
Транзакция на $200млн: https://www.blockchain.com/btc/address/1EBHA1ckUWzNKN7BMfDwGTx6GKEbADUozX?filter=2 Лектор: Роман Липовский.
Студсовет ФПМИ МФТИ
Администрирование в ОС GNU/Linux. Лекция 1
Alexander Mayatin
Новая функциональность платформы 1С:Предприятие и как ее использовать
Петр Грибанов, технологический евангелист фирмы "1С", демонстрирует новые возможности платформы "1С:Предприятие": двухфакторную ...
1С:Документооборот
II ВСЕРОССИЙСКАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЕНЫХ | ФКТиПМ
II ВСЕРОССИЙСКАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ МОЛОДЫХ УЧЕНЫХ Сайт конференции: http://pm2020.tilda.ws/ Доклад Анны ...
ФКТиПМ КубГУ
Так ли ужасны микросервисы?
Выносим один класс из монолита в микросервис на примере PHP + Laravel и смотрим на практике – а что вообще изменилось? Не зря ли паттерн ...
config.sys по-русски