Вклад участника
Материал из 0x1.tv
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 11:04, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Генератор адаптивных вложенных сеток HydroBox3D для моделирования образования сверхновой типа Ia!.jpg (текущая)
- 11:03, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Игорь Куликов.jpg (текущая)
- 11:01, 21 декабря 2018 (разн. | история) . . (+40) . . Н Категория:Игорь Куликов (Новая страница: «{{dokl}} * mailto:kulikov@parbz.sscc.ru»)
- 10:56, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью системы LLVM (Виталий Чепцов, ISPRASOPEN-2018)!.jpg (текущая)
- 10:56, 21 декабря 2018 (разн. | история) . . (+113) . . Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- 10:35, 21 декабря 2018 (разн. | история) . . (+8) . . Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)
- 09:57, 21 декабря 2018 (разн. | история) . . (+8) . . Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- 09:51, 21 декабря 2018 (разн. | история) . . (+8) . . Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018)
- 08:51, 21 декабря 2018 (разн. | история) . . (+8) . . Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018)
- 08:48, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Информатика и ЭВМ-70. Анализ и аспекты развития (Екатерина Лаврищева, ISPRASOPEN-2018).pdf (текущая)
- 08:47, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью системы LLVM (Виталий Чепцов, ISPRASOPEN-2018).pdf (текущая)
- 08:45, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018).pdf (текущая)
- 08:44, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018).pdf (текущая)
- 08:43, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018).pdf (текущая)
- 08:43, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018).pdf (текущая)
- 08:42, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018).pdf (текущая)
- 08:38, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Wave Attractors (Leo Maas, ISPRASOPEN-2018)!.jpg (текущая)
- 08:37, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Wave Attractors In Anisotropic Media (Leo Maas).pdf (текущая)
- 08:37, 21 декабря 2018 (разн. | история) . . (-7) . . Wave Attractors (Leo Maas, ISPRASOPEN-2018)
- 08:36, 21 декабря 2018 (разн. | история) . . (+1731) . . Wave Attractors (Leo Maas, ISPRASOPEN-2018)
- 08:34, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Wave Attractors (Leo Maas, ISPRASOPEN-2018).pdf (текущая)
- 08:30, 21 декабря 2018 (разн. | история) . . (+36) . . Н Категория:Николай Шилов (Новая страница: «{{dokl}} * mailto:shilov@iis.nsk.su»)
- 08:29, 21 декабря 2018 (разн. | история) . . (+249) . . Н 20181122AH (Перенаправление на О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018)) (текущая)
- 08:29, 21 декабря 2018 (разн. | история) . . (+1229) . . Н О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Николай Шилов}} <blockquote> В докладе рассказывается о примере применения к фу…»)
- 08:27, 21 декабря 2018 (разн. | история) . . (+252) . . Н 20181122AG (Перенаправление на Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)) (текущая)
- 08:26, 21 декабря 2018 (разн. | история) . . (+897) . . Н Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Александр Козачок}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}}{{letscommen…»)
- 08:21, 21 декабря 2018 (разн. | история) . . (+177) . . Н 20181122AF (Перенаправление на Информатика и ЭВМ-70. Анализ и аспекты развития (Екатерина Лаврищева, ISPRASOPEN-2018)) (текущая)
- 08:20, 21 декабря 2018 (разн. | история) . . (+38) . . Категория:Екатерина Лаврищева
- 08:20, 21 декабря 2018 (разн. | история) . . (+1557) . . Н Информатика и ЭВМ-70. Анализ и аспекты развития (Екатерина Лаврищева, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Екатерина Лаврищева}} <blockquote> Рассматривается становление информатики и…»)
- 08:18, 21 декабря 2018 (разн. | история) . . (+40) . . Н Категория:Григорий Волков (Новая страница: «{{dokl}} * mailto:gdvolkov@edu.hse.ru»)
- 08:16, 21 декабря 2018 (разн. | история) . . (+217) . . Н 20181122AE (Перенаправление на Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018)) (текущая)
- 08:16, 21 декабря 2018 (разн. | история) . . (+1360) . . Н Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Григорий Волков}} <blockquote> This talk describes the development of an auto-active verification technique in the Frama…»)
- 08:02, 21 декабря 2018 (разн. | история) . . (+70) . . Wave Attractors (Leo Maas, ISPRASOPEN-2018)
- 08:02, 21 декабря 2018 (разн. | история) . . (0) . . Применение метода True Intent Study для поиска пользовательских проблем в продукте (Сергей Титков, ProductCampMinsk-2018)
- 08:02, 21 декабря 2018 (разн. | история) . . (0) . . Применение метода True Intent Study для поиска пользовательских проблем в продукте (Сергей Титков, ProductCampMinsk-2018)
- 08:02, 21 декабря 2018 (разн. | история) . . (+70) . . Кратчайшая история криптоанархии (Игорь Дёмин, SECR-2018)
- 08:00, 21 декабря 2018 (разн. | история) . . (0) . . Role of Solution Architect in a Software Project (Vladimir Ivanov, SECR-2018)
- 07:54, 21 декабря 2018 (разн. | история) . . (+37) . . Н Категория:Виталий Чепцов (Новая страница: «{{dokl}} * mailto:cheptsov@ispras.ru»)
- 07:53, 21 декабря 2018 (разн. | история) . . (+265) . . Н 20181122AD (Перенаправление на Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью системы LLVM (Виталий Чепцов, ISPRASOPEN-2018))
- 07:53, 21 декабря 2018 (разн. | история) . . (+2326) . . Н Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Виталий Чепцов}} <blockquote> Existing standards for airborne-embedded software systems impose a number of requirements a…»)
- 07:45, 21 декабря 2018 (разн. | история) . . (-53) . . 20181122AC (текущая)
- 07:45, 21 декабря 2018 (разн. | история) . . (+268) . . Н 20181122AC (Перенаправление на Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018))
- 07:44, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Ирина Дудина.jpg (текущая)
- 07:44, 21 декабря 2018 (разн. | история) . . (+38) . . Н Категория:Ирина Дудина (Новая страница: «{{dokl}} * mailto:eupharina@ispras.ru»)
- 07:43, 21 декабря 2018 (разн. | история) . . (+4791) . . Н Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Ирина Дудина}} <blockquote> Ошибки при работе с библиотечными функциями обрабо…»)
- 07:39, 21 декабря 2018 (разн. | история) . . (0) . . Н Файл:Владислав Иванишин.jpg (текущая)
- 07:39, 21 декабря 2018 (разн. | история) . . (+33) . . Н Категория:Владислав Иванишин (Новая страница: «{{dokl}} * mailto:vlad@ispras.ru»)
- 07:36, 21 декабря 2018 (разн. | история) . . (+224) . . Н 20181122AB (Перенаправление на Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018)) (текущая)
- 07:36, 21 декабря 2018 (разн. | история) . . (+1683) . . Н Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Владислав Иванишин}} <blockquote> In «System-wide elimination of unreferenced code and data in dynamically linked pr…»)
- 16:41, 20 декабря 2018 (разн. | история) . . (-29) . . Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка (Михаил Левин, ISPRASOPEN-2018)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)