Форумы ЛВК

В ...

В ...

Существует класс вычислительных систем, для которых полная статическая проверка правильности (в ходе их разработки) невозможна. В основном это связано с 1) возможность системы изменять свою конфигурацию в ходе работы (ad-hoc системы c беспроводной связью; системы с частичным обновлением ПО и конфигур ...

Исследование применения вывода грамматик (grammar inference, построение формальной грамматики по набору слов языка) для выделения рекурсивных структур во временном ряду. В рамках курсовой 3 курса предполагается изучение фракталов, методов автоматического построения грамматик и реализация анализатора ...

Антон,

отразите, пожалуйста, в своём отчёте результаты, достигнутые по каждому из пунктов "проделанной работы" (кратко, 1 абзац на результат)

Скажите, а список литературы -- полный? Т.е. usability вы изучали только по указанному блогу? Научный руководитель не дал вам других материалов?

Данная работа является продолжением работы по разработке точного эмулятора процессора NM6403 Neuromatrix. Разработанный эмулятор построен по схеме compiled simulation и выполняет моделирование обработки данных, а также позволяет точно оценить время выполнения программы на целев ...

Использование имитационного моделирования в реальном времени для оценки развития ситуации и поддержки принятия решений. Пример задачи, решаемой подобным подходом -- система FreeAir, которая по данным о расположении и движении воздушных судов предсказывает коллизии и вырабатывает рекомендации по изме ...

В нашей лаборатории разработан подход к compiled simulation с оценкой времени, который для процессора NeuroMatrix работает на два порядка быстрее точного эмулятора (и ещё на порядок-другой быстрее Verilog-эмулятора). В рамках этой задачи предполагается разработать точный эмулятор набора инструкций пр ...

В ...

...

Использование разработанного в лаборатории метода оценки времени выполнения программ для оценки эффективности набора инструкций для процессора. Т.е. для поиска "слабых мест" набора инструкций -- последовательностей инструкций, вызывающих "дырки" в конвейере etc. Возможно, с продолжением в виде средст ...

На основе алгоритмов, по которым выполняется масштабирование моделей на языке ММ, и на основе средства, которое такое масштабирование выполняет, реализовать (предварительно разработав теорию) инструментальное средство для языка muCRL или какого-то другого.

Анализ кода программы на языке С++, определяющая асимптотическую сложность (по времени выполнения и объёму памяти) выполнения данного кода относительно размера входных данных.

Диплом -- инструментальная система оценки асимптотической сложности для языка С++.

П ...

Использование имитационного моделирования в реальном времени для оценки развития ситуации и поддержки принятия решений. Пример задачи, решаемой подобным подходом -- система FreeAir, которая по данным о расположении и движении воздушных судов предсказывает коллизии и вырабатывает рекомендации по измен ...