Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
 Найдено в других БД:Авторефераты (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Плоткин, Д. $<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Плоткин, Д.

    Мертвые [Текст] : [рассказ] / Дмитрий Плоткин // Юность. - 2005. - N 5. - С. . 28-32. - s, 2005, , rus. - RUMARS-unst05_000_005_0028_1. - Муниципальное учреждение культуры Мончегорская централизованная библиотечная система. - N 5.-С.28-32. - unst05_000_005_0028_1, 5, 28-32
УДК
ББК 84(2Рос=Рус)
Рубрики: Художественная литература--Русская литература (произведения)
Кл.слова (ненормированные):
проза -- рассказы -- тема памяти

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Плоткин, Д.

    [Рассказы] [Текст] / Дмитрий Плоткин // Юность. - 2005. - N 11. - С. . 70-73. - 1; Я - змея. - 1; Имярек. - 1; Бой с тенью. - s, 2005, , rus. - RUMARS-unst05_000_011_0070_1. - Муниципальное учреждение культуры Мончегорская централизованная библиотечная система. - N 11.-С.70-73. - unst05_000_011_0070_1, 11, 70-73
УДК
ББК 84(2Рос=Рус)
Рубрики: Художественная литература--Русская литература (произведения)
Кл.слова (ненормированные):
проза -- рассказы -- тема армии -- тема смерти -- тема любви

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

3.


    Печенко, И. С. (научный сотрудник).
    ACES Tables: среда для создания и использования табличных спецификаций систем на кристалле [Текст] = ACES Tables: a Framework for Greation and Usage of SoC Architectural Specifications in Table Form / И. С. Печенко, О. В. Венгер, Д. А. Плоткин // Информационные технологии. - 2017. - Т. 23, № 5. - С. 388-393. - Библиогр.: с. 393 (18 назв.) . - ISSN 1684-6400
УДК
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Обработка и создание документов

Кл.слова (ненормированные):
ACES Tables -- архитектурная спецификация -- верификация -- импорт данных -- объектно-ориентированные подходы -- проектирование -- табличная спецификация -- экспорт данных
Аннотация: Ввиду сложности современных систем на кристалле крайне важными этапами их проектирования становятся анализ и верификация. Зачастую верификация систем начинается сравнительно поздно, после создания RTL-кода. Однако в последнее время ведется активная разработка методов создания архитектурных спецификаций систем на кристалле, которые могут быть использованы для анализа и верификации этих систем, что позволит начинать верификацию намного раньше. Описывается один из таких методов, предоставляющий возможность создания структурных спецификаций систем на кристалле в табличном виде.


Доп.точки доступа:
Венгер, О. В. (старший научный сотрудник); Плоткин, Д. А. (научный сотрудник)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)