Легалов, Александр Иванович. Технология архитектурно-независимого, высокоуровневого синтеза сверхбольших интегральных схем [Текст] / А. И. Легалов, О. В. Непомнящий, И. Н. Рыженко> // Доклады Академии наук высшей школы России. - 2014. - № 1 (22). - С. 93-103. - Аннот. на англ. яз. с. 103 . - ISSN 1727-2769
Рубрики: Вычислительная техника Перспективные архитектуры Кл.слова (ненормированные): параллельные вычисления -- потоки данных -- функциональное программирование -- система на кристалле -- высокоуровневый синтез Аннотация: Изложены результаты анализа методов и маршрутов, обеспечивающих поддержку процесса проектирования однокристальных систем с реконфигурируемой архитектурой. Выделены характерные особенности проектирования однокристальных систем методами нисходящего проектирования и высокоуровневого синтеза. Доп.точки доступа: Непомнящий, Олег Владимирович; Рыженко, Игорь Николаевич Нет сведений об экземплярах (Источник в БД не найден) |
Удалова, Юлия Васильевна. Верификация функционально-потоковых параллельных программ методом индуктивных утверждений [Текст] / Ю. В. Удалова, А. И. Легалов> // Доклады Академии наук высшей школы России. - 2014. - № 2/3 (23/24). - С. 125-132. - Аннот. на англ. яз. с. 132 . - ISSN 1727-2769
Рубрики: Вычислительная техника Структура системы команд Кл.слова (ненормированные): верификация -- спецификация -- корректность -- элементы микроэлектроники -- функционально-потоковое параллельное программирование -- метод индуктивных утверждений Аннотация: В статье предложено использование метода индуктивных утверждений для верификации функционально-потоковых параллельных программ на языке Пифагор. Доп.точки доступа: Легалов, Александр Иванович Нет сведений об экземплярах (Источник в БД не найден) |
Легалов, Александр Иванович (доктор технических наук ; профессор). Использование процедур с одинаковой сигнатурой для эволюционного расширения программ [Текст] / А. И. Легалов, П. В. Косов, И. А. Легалов> // Доклады Академии наук высшей школы России. - 2015. - № 1 (26). - С. 41-51 : рис. - Аннот. на англ. яз.: с. 50 . - ISSN 1727-2769
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): парадигмы программирования -- перезагрузка процедур -- перезагрузка функций -- разработка программ -- техника программирования -- эволюционное расширение Аннотация: Предложен метод эволюционного расширения программ на основе процедур с одинаковой сигнатурой. Доп.точки доступа: Косов, Павел Владимирович; Легалов, Игорь Александрович (кандидат технических наук ; доцент) Нет сведений об экземплярах (Источник в БД не найден) |