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

Базы данных


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

Вид поиска

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Плоткин Д.
Заглавие : [Рассказы]
Серия: Проза
Место публикации : Юность. - 2005. - N 11. - С. 70-73 (Шифр unst/2005/11)
Примечания : s, 2005, , rusRUMARS-unst05_000_011_0070_1Муниципальное учреждение культуры Мончегорская централизованная библиотечная системаN 11.-С.70-73unst05_000_011_0070_1, 11, 70-73
ISSN: 0132-2036
УДК : 882
ББК : 84(2Рос=Рус)
Предметные рубрики: Художественная литература-- Русская литература (произведения)
Ключевые слова (''Своб.индексиров.''): проза--рассказы--тема армии--тема смерти--тема любви
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Плоткин Д.
Заглавие : Мертвые : [рассказ]
Серия: Проза
Место публикации : Юность. - 2005. - N 5. - С. 28-32 (Шифр unst/2005/5)
Примечания : s, 2005, , rusRUMARS-unst05_000_005_0028_1Муниципальное учреждение культуры Мончегорская централизованная библиотечная системаN 5.-С.28-32unst05_000_005_0028_1, 5, 28-32
ISSN: 0132-2036
УДК : 882
ББК : 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. - ISSN 1684-6400 (Шифр inft/2017/23/5). - ISSN 1684-6400
Примечания : Библиогр.: с. 393 (18 назв.)
УДК : 004.91
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Обработка и создание документов
Ключевые слова (''Своб.индексиров.''): aces tables--архитектурная спецификация--верификация--импорт данных--объектно-ориентированные подходы--проектирование--табличная спецификация--экспорт данных
Аннотация: Ввиду сложности современных систем на кристалле крайне важными этапами их проектирования становятся анализ и верификация. Зачастую верификация систем начинается сравнительно поздно, после создания RTL-кода. Однако в последнее время ведется активная разработка методов создания архитектурных спецификаций систем на кристалле, которые могут быть использованы для анализа и верификации этих систем, что позволит начинать верификацию намного раньше. Описывается один из таких методов, предоставляющий возможность создания структурных спецификаций систем на кристалле в табличном виде.
Найти похожие

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