Страницы, ссылающиеся на «Шаблон:Letscomment»
Материал из 0x1.tv
Следующие страницы ссылаются на «Шаблон:Letscomment»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Использование генератора адаптивных вложенных сеток HydroBox3D для численного моделирования процесса образования сверхновой типа Ia — слияния углеродно-кислородных белых карликов, коллапса и нецентрального взрыва (включение) (← ссылки)
- Платформа INMOST для распределенного математического моделирования (Кирилл Терехов, ISPRASOPEN-2018) (включение) (← ссылки)
- Применение метода КАБАРЕ для ячеек polyhedral в среде СПО OpenFoam (Михаил Зайцев, ISPRASOPEN-2018) (включение) (← ссылки)
- Сравнительная оценка точности решателя QGDFoam при решении задачи обтекания конуса невязким потоком (Артем Кувшинников, ISPRASOPEN-2018) (включение) (← ссылки)
- LeanKanban подход к оценке и прогнозированию проектов (Алексей Пименов, SECR-2018) (включение) (← ссылки)
- DeepDive with experts — share to improve (Ксения Антонова, SECR-2018) (включение) (← ссылки)
- Тяжелая жизнь высококвалифицированного профессионала (Александр Лебедев, SECR-2018) (включение) (← ссылки)
- Управление практиками спецификации требований (Константин Валеев, SECR-2018) (включение) (← ссылки)
- Distributed leadership and SysArchi (Alexander Turkhanov, SECR-2018) (включение) (← ссылки)
- Agile Formal Engineering Method for Software Productivity and Reliability (Shaoying Liu, SECR-2018) (включение) (← ссылки)
- Проектирование системы, как процесс мышления (Сергей Нужненко, SECR-2018) (включение) (← ссылки)
- On declarative configuration management using Kubernetes and Helm (Alexander Chistyakov, SECR-2018) (включение) (← ссылки)
- Кратчайшая история криптоанархии (Игорь Дёмин, SECR-2018) (включение) (← ссылки)
- An Agile Software Engineering Method to Design Blockchain Applications (Michele Marchesi, SECR-2018) (включение) (← ссылки)
- Everything you always wanted to know about your program (Bertrand Meyer, SECR-2018) (включение) (← ссылки)
- Сокращение размера динамических библиотек в формате ELF после компоновки (Владислав Иванишин, ISPRASOPEN-2018) (включение) (← ссылки)
- Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018) (включение) (← ссылки)
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018) (включение) (← ссылки)
- Функции-леммы в среде Frama-C — использование С программ как доказательств (Григорий Волков, ISPRASOPEN-2018) (включение) (← ссылки)
- Информатика и ЭВМ-70. Анализ и аспекты развития (Екатерина Лаврищева, ISPRASOPEN-2018) (включение) (← ссылки)
- Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018) (включение) (← ссылки)
- О платформенно-независимой спецификации и верификации стандартных математических функций (Николай Шилов, ISPRASOPEN-2018) (включение) (← ссылки)
- PioNER — Наборы данных и базовые методы для распознавания именованных сущностей в армянском языке (Цолак Гукасян, ISPRASOPEN-2018) (включение) (← ссылки)
- Реализация обработки JSON-данных в In-memory Data Grid в качестве сквозного слоя кэширования к РСУБД (Никита Лазарев, ISPRASOPEN-2018) (включение) (← ссылки)
- Тестирование производительности SQL-операций в распределенных In-Memory СУБД (Давид Бадалян, ISPRASOPEN-2018) (включение) (← ссылки)
- Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах (Ильсеяр Алимова, ISPRASOPEN-2018) (включение) (← ссылки)
- Оптимизация энергопотребления и качества предоставления сервисов в контейнерных облачных средах (Андрей Черных, ISPRASOPEN-2018) (включение) (← ссылки)
- Распознавание именованных сущностей в зашумленных доменах (Влад Лялин, ISPRASOPEN-2018) (включение) (← ссылки)
- Устойчивость к шуму в задаче извлечения аспектов (Валентин Малых, ISPRASOPEN-2018) (включение) (← ссылки)
- Разработка и исследование моделей временных данных со смешанными частотами на примере анализа урожайности зерновых (Кристина Пивоварова, ISPRASOPEN-2018) (включение) (← ссылки)
- ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании (Иван Васильев, ISPRASOPEN-2018) (включение) (← ссылки)
- Персонализированные математические модели кровотока (Юрий Василевский, ISPRASOPEN-2018) (включение) (← ссылки)
- Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки (Данил Асфандияров, ISPRASOPEN-2018) (включение) (← ссылки)
- Численное моделирование акустических возмущений, генерируемых истечением струи при малых числах Рейнольдса (Андрей Епихин, ISPRASOPEN-2018) (включение) (← ссылки)
- Оценки переноса Антарктических донных вод по модели MPI-ESM с усвоением данных наблюдений (Константин Беляев, ISPRASOPEN-2018) (включение) (← ссылки)
- Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток (Андрей Иванцов, ISPRASOPEN-2018) (включение) (← ссылки)
- Численное моделирование качки судна с шахтным устройством на встречном волнении (Кирилл Овчинников, ISPRASOPEN-2018) (включение) (← ссылки)
- Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках (Виктория Корчагова, ISPRASOPEN-2018) (включение) (← ссылки)
- Высокопроизводительные вычисления для недолговечной плазмы (Юлия Шарова, ISPRASOPEN-2018) (включение) (← ссылки)
- Метод анализа атак повторного использования кода (Алексей Вишняков, ISPRASOPEN-2018) (включение) (← ссылки)
- Генерация кода для разбора спецификаций в декларативном формате языка FlexT (Андрей Михайлов, ISPRASOPEN-2018) (включение) (← ссылки)
- Трассировка операций с файловой системой ext3 в эмуляторе QEMU (Владислав Степанов, ISPRASOPEN-2018) (включение) (← ссылки)
- Направленный фаззинг на основе динамической инструментации (Сергей Асрян, ISPRASOPEN-2018) (включение) (← ссылки)
- Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018) (включение) (← ссылки)
- Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем (Александр Самонов, ISPRASOPEN-2018) (включение) (← ссылки)
- Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018) (включение) (← ссылки)
- Обработка аварийных завершений с целью выявления уникальных дефектов (Федор Ниськов, ISPRASOPEN-2018) (включение) (← ссылки)
- Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf (Сергей Ковалев, ISPRASOPEN-2018) (включение) (← ссылки)
- Композиционное моделирование окружения для верификации программ на GNU C (Илья Захаров, ISPRASOPEN-2018) (включение) (← ссылки)
- Сильные и слабые стороны блокчейн-технологий (Николай Пакулин, ISPRASOPEN-2018) (включение) (← ссылки)