ТЕГ БЛОКА "ПО"
-
05.06.2011 17:52Опыт реализации системы верификации, управляемой тестовым покрытиемПредложен метод генерации тестов изолированных устройств, использующий измеряемую во время генерации величину покрытия для увеличения эффективности тестирования. Для обеспечения высокой скорости измерения во время генерации и работы с состоянием модели в качестве средства генерации RTL-модели использован транслятор Verilog-кода в C++.
-
12.09.2010 16:28Методы повышения эффективности векторизации в оптимизирующем компилятореВ статье описаны вспомогательные преобразования, позволяющие существенно расширить контекст для применения автоматической векторизации и повысить ее эффективность.
-
06.06.2010 16:17Подходы к созданию операционной системы жесткого режима реального масштаба времени на базе ОС Unix в варианте ОС Solaris 2.5.1."Одним из важных аспектов функционирования ОС в реальном масштабе времени является сведение к минимуму времени реакции на прерывание. Кроме того, необходима реализация планирования процессов, при котором существенно сокращается время постановки активируемого процесса на исполнение. Эти факторы имеют большое значение при доработке Unix-подобных операционных систем для использования в режиме жесткого РМВ. (Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010)
-
06.06.2010 15:02Использование профиля значений в инлайн-подстановках
Одним из способов ускорения работы программ является их оптимизация на этапе компиляции. К числу наиболее широко используемых оптимизирующих преобразований относится подстановка тела вызываемой функции в точку вызова (инлайн-подстановка). Изложено повышение эффективности инлайн-подстановок за счет использования профильной информации. Предложена техника профилирования значений переменных и метод специализированной инлайн-подстановки, основанный на профиле значений. Исследовано влияние предложенных методов на время исполнения ряда задач. (Вопросы радиоэлектроники, серия ЭВТ, Выпуск 3, 2010)
| Назад 1 2 Дальше |