Вклад участника
Материал из 0x1.tv
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)
- 10:00, 29 декабря 2018 (разн. | история) . . (+58) . . A Comprehensive Approach to Quality Assurance in a Mobile Game Project (Maxim Mozgovoy, SECR-2018)
- 23:39, 28 декабря 2018 (разн. | история) . . (+8) . . Оценки переноса Антарктических донных вод по модели MPI-ESM с усвоением данных наблюдений (Константин Беляев, ISPRASOPEN-2018)
- 23:02, 28 декабря 2018 (разн. | история) . . (+8) . . Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)
- 22:33, 28 декабря 2018 (разн. | история) . . (+8) . . Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018)
- 22:28, 28 декабря 2018 (разн. | история) . . (+8) . . Обработка аварийных завершений с целью выявления уникальных дефектов (Федор Ниськов, ISPRASOPEN-2018)
- 22:21, 28 декабря 2018 (разн. | история) . . (+8) . . Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018)
- 22:10, 28 декабря 2018 (разн. | история) . . (+8) . . Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)
- 20:30, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Артем Кувшинников.jpg (текущая)
- 20:16, 28 декабря 2018 (разн. | история) . . (+9) . . Направленный фаззинг на основе динамической инструментации (Сергей Асрян, ISPRASOPEN-2018)
- 15:44, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток.pdf (текущая)
- 15:44, 28 декабря 2018 (разн. | история) . . (-94) . . Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток (Андрей Иванцов, ISPRASOPEN-2018)
- 15:36, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Об эффективной реализации разрывного метода Галеркина решения двумерных задач газовой динамики на неструктурированных сетках.pdf
- 15:36, 28 декабря 2018 (разн. | история) . . (-60) . . Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)
- 15:35, 28 декабря 2018 (разн. | история) . . (-110) . . Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)
- 15:32, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Персонализированные математические модели кровотока (Юрий Василевский, ISPRASOPEN-2018).pdf (текущая)
- 15:04, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры систем.pdf (текущая)
- 15:03, 28 декабря 2018 (разн. | история) . . (-118) . . Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)
- 15:02, 28 декабря 2018 (разн. | история) . . (-106) . . Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018)
- 15:01, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в инструментировании.pdf (текущая)
- 15:01, 28 декабря 2018 (разн. | история) . . (-42) . . ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018)
- 15:00, 28 декабря 2018 (разн. | история) . . (-90) . . ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018)
- 14:59, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Трассировка операций с файловой системой ext3 в эмуляторе QEMU (Владислав Степанов, ISPRASOPEN-2018).pdf (текущая)
- 14:57, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018).pdf (текущая)
- 14:57, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf.pdf (текущая)
- 14:56, 28 декабря 2018 (разн. | история) . . (-94) . . Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018)
- 14:13, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Обработка аварийных завершений с целью выявления уникальных дефектов (Федор Ниськов, ISPRASOPEN-2018).pdf (текущая)
- 14:13, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018).pdf (текущая)
- 14:10, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Генерация кода для разбора спецификаций в декларативном формате языка FlexT (Андрей Михайлов, ISPRASOPEN-2018).pdf (текущая)
- 14:09, 28 декабря 2018 (разн. | история) . . (0) . . Н Файл:Метод анализа атак повторного использования кода (Алексей Вишняков, ISPRASOPEN-2018).pdf (текущая)
- 13:46, 28 декабря 2018 (разн. | история) . . (+8) . . ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018)
- 12:00, 28 декабря 2018 (разн. | история) . . (0) . . Применение диверсионного анализа для совершенствования организационных процессов (Михаил Плаксин, SECR-2018)
- 00:15, 28 декабря 2018 (разн. | история) . . (-9) . . Направленный фаззинг на основе динамической инструментации (Сергей Асрян, ISPRASOPEN-2018)
- 22:21, 27 декабря 2018 (разн. | история) . . (+8) . . Направленный фаззинг на основе динамической инструментации (Сергей Асрян, ISPRASOPEN-2018)
- 20:26, 27 декабря 2018 (разн. | история) . . (+8) . . Трассировка операций с файловой системой ext3 в эмуляторе QEMU (Владислав Степанов, ISPRASOPEN-2018)
- 19:20, 27 декабря 2018 (разн. | история) . . (+8) . . Генерация кода для разбора спецификаций в декларативном формате языка FlexT (Андрей Михайлов, ISPRASOPEN-2018)
- 19:20, 27 декабря 2018 (разн. | история) . . (0) . . Файл:Екатерина Лаврищева.jpg (StasFomin загрузил новую версию Файл:Екатерина Лаврищева.jpg) (текущая)
- 18:00, 27 декабря 2018 (разн. | история) . . (+8) . . Метод анализа атак повторного использования кода (Алексей Вишняков, ISPRASOPEN-2018)
- 17:19, 27 декабря 2018 (разн. | история) . . (+34) . . Категория:Виталий Чепцов
- 16:16, 27 декабря 2018 (разн. | история) . . (+331) . . Н 20181123AA (Перенаправление на ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018)) (текущая)
- 14:06, 27 декабря 2018 (разн. | история) . . (+8) . . Высокопроизводительные вычисления для недолговечной плазмы (Юлия Шарова, ISPRASOPEN-2018)
- 13:39, 27 декабря 2018 (разн. | история) . . (+8) . . Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018)
- 12:02, 27 декабря 2018 (разн. | история) . . (+70) . . Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018)
- 12:00, 27 декабря 2018 (разн. | история) . . (+58) . . Распознавание именованных сущностей в зашумленных доменах (Влад Лялин, ISPRASOPEN-2018)
- 11:35, 27 декабря 2018 (разн. | история) . . (+211) . . Н 20181123AK (Перенаправление на Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018)) (текущая)
- 11:35, 27 декабря 2018 (разн. | история) . . (+1594) . . Н Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Илья Захаров}} <blockquote> There is still a gap between rapid development of new verification techniques and their practic…»)
- 11:33, 27 декабря 2018 (разн. | история) . . (+32) . . Н Категория:Сергей Ковалев (Новая страница: «{{dokl}} * mailto:valor@list.ru»)
- 11:32, 27 декабря 2018 (разн. | история) . . (+284) . . Н 20181123AJ (Перенаправление на Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018)) (текущая)
- 11:32, 27 декабря 2018 (разн. | история) . . (+2328) . . Н Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Сергей Ковалев}} <blockquote> В докладе рассматриваются способы получения соде…»)
- 11:30, 27 декабря 2018 (разн. | история) . . (+210) . . Н 20181123AI (Перенаправление на Обработка аварийных завершений с целью выявления уникальных дефектов (Федор Ниськов, ISPRASOPEN-2018)) (текущая)
- 11:29, 27 декабря 2018 (разн. | история) . . (+41) . . Н Категория:Федор Ниськов (Новая страница: «{{dokl}} * mailto:fedor.niskov@ispras.ru»)
(новейшие | старейшие) Просмотреть (50 более новых | 50 более старых) (20 | 50 | 100 | 250 | 500)