Поисковый запрос: (<.>K=компиляторы<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1. 
|
Вид документа : Статья из журнала
Шифр издания :
Заглавие : Новости Intel
Место публикации : КомпьютерПресс. - 2004. - N 1. - С. 160-161 (Шифр calc/2004/1)
Примечания : s, 2004, , rusНТБ СГТУN 1. - С. 160-161calc04_000_001_160_1, 1, 160-161
ISSN: 0868-6157
УДК : 004.382.7
ББК : 32.97
Предметные рубрики: Вычислительная техника-- Персональные компьютеры
Ключевые слова (''Своб.индексиров.''): компьютеры--процессоры--компиляторы--антивирусные программы--intel (компания)--intel itanium (процессоры)
Аннотация: Новые модели компьютеров и компиляторов; новое в архитектуре процессоров Intel Itanium; совместная акция Intel и "Лаборатории Касперского".
Найти похожие
|
2.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Косачев А. С., Куттер Ф., Посыпкин М. А.
Заглавие : Автоматическая генерация строго-конформных тестов по формальной спецификации динамической семантики языка программирования
Серия: Тестирование и верификация программ
Место публикации : Программирование. - 2004. - N 4. - С. 52-67 (Шифр prog/2004/4)
Примечания : Библиогр.: с. 66-67 (27 назв. ). - RUMARS-prog04_000_004_0052_1
ISSN: 0132-3474
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): языки программирования--строго-конформные тесты--программы--программное обеспечение--компиляторы
Аннотация: В работе предлагается методика автоматической генерации тестов для компиляторов на основе формальных спецификаций языка программирования.
Найти похожие
|
3.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Замулин А. В.
Заглавие : Абстрактная модель компилятора как результат алгебраической семантики языка программирования.
Серия: Языки и системы программирования
Место публикации : Программирование. - 2004. - N 5. - С. 69-80 (Шифр prog/2004/5)
Примечания : Библиогр.: с. 80 (4 назв. ). - RUMARS-prog04_000_005_0069_1
ISSN: 0132-3474
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): программы--языки программирования--семантика--компиляторы--символы--сигнатура
Аннотация: Предложен новый механизм описания семантики императивного языка программирования, основанный на построении математической модели программы.
Найти похожие
|
4.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Орлик, Сергей, Елманова, Наталия
Заглавие : О будущем Delphi
Серия: Корпоративные технологии
Место публикации : КомпьютерПресс. - 2004. - N 12. - С. 163-167 (Шифр calc/2004/12)
Примечания : s, 2004, , rusRUMARS-calc04_000_012_0163_1Научно-техническая библиотека Саратовского государственного технического университетаВ статью включены фрагменты интервью Джейсона ВоксаN 12. - С. 163-167calc04_000_012_0163_1, 12, 163-167
ISSN: 0868-6157
УДК : 004.4
ББК : 32.973.26-018.2
Предметные рубрики: Вычислительная техника-- Программное обеспечение персональных компьютеров
Ключевые слова (''Своб.индексиров.''): borland (программное обеспечение)--delphi (язык программирования)--программирование--языки программирования--платформы--компиляторы--разработка приложений--средства разработки
Аннотация: Borland Delphi - одно из популярнейших в нашей стране средств разработки приложений. Рассмотрены основные новшества Delphi 2005, начиная с поддерживаемых платформ, языков программирования и компиляторов.
Найти похожие
|
5.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Хохлов, Андрей
Заглавие : Простой компилятор
Серия: Программное обеспечение
Место публикации : Мир ПК. - 2005. - N 5. - С. 68-72 (Шифр mir_/2005/5)
Примечания : Библиогр.: с. 72 (4 назв. ). - s, 2005, , rusRUMARS-mir_05_000_005_0068_1Научно-техническая библиотека Саратовского государственного технического университетаПолная версия статьи - на CD-ROM-приложенииN 5. - С. 68-72mir_05_000_005_0068_1, 5, 68-72
ISSN: 0235-3520
УДК : 004.4
ББК : 32.973.26-018.2
Предметные рубрики: Вычислительная техника-- Программное обеспечение персональных компьютеров
Ключевые слова (''Своб.индексиров.''): программное обеспечение--компиляторы--языки программирования--программирование--разработка языков программирования
Аннотация: Рассмотрен компактный компилятор, исходный текст которого на собственном входном языке содержит менее 1000 строк, а размер исполняемого кода не превышает 6 Кбайт. Важную часть статьи составляет исходный текст компилятора.
Найти похожие
|
6.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Елманова, Наталия
Заглавие : Компилятор Object Pascal компании RemObjects Software
Серия: Корпоративные технологии
Место публикации : КомпьютерПресс. - 2006. - N 2. - С. 162-164 (Шифр calc/2006/2)
Примечания : s, 2006, , rusRUMARS-calc06_000_002_0162_1Научно-техническая библиотека Саратовского государственного технического университетаN 2. - С. 162-164calc06_000_002_0162_1, 2, 162-164
ISSN: 0868-6157
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): программирование--языки программирования--компиляторы (вычислительная техника)--платформы (вычислительная техника)--microsoft . net--chrome--сетевые платформы
Аннотация: О компиляторе языка Pascal для Microsoft . NET Farmework 1. 1 и 2. 0 и Mono, носящем название Chrome.
Найти похожие
|
7.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Ермолицкий, Александр Викторович, Шлыков, Сергей Леонидович
Заглавие : Автоматическая векторизация выражений, оптимизирующим компилятором
Место публикации : Информационные технологии. - 2008. - N 11. - С.17-21. - ISSN 1684-6400. - ISSN 1684-6400
Примечания : Библиогр.: с. 21 (10 назв. ). - Проблемы проектирования вычислительных компелексов серии "Эльбрус". Магистерские проекты кафедры информатики и вычислительной техники МФТИ.- 2008.- N 11.- с. 2-32
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): мультимедийные приложения--векторные команды--оптимизирующие компиляторы--вычислительные алгоритмы
Аннотация: Описано развитие метода оптимизации циклов с использованием векторных операций в рамках оптимизирующего компилятора.
Найти похожие
|
8.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Загребин А. А., Гимпельсон, Вадим Дмитриевич
Заглавие : Проблема восстановления профильной информации по неполным исходным данным в динамическом двоичном компиляторе
Место публикации : Информационные технологии. - 2008. - N 11. - С.21-26. - ISSN 1684-6400. - ISSN 1684-6400
Примечания : Библиогр.: с. 26 (14 назв. ). - Проблемы проектирования вычислительных компелексов серии "Эльбрус". Магистерские проекты кафедры информатики и вычислительной техники МФТИ.- 2008.- N 11.- с. 2-32
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): ддт--динамическая двоичная трансляция (вычислительная техника)--ддт lintel--оптимизирующие компиляторы--коррекция профильной информации (вычислительная техника)
Аннотация: Рассматриваются причины, по которым профильная информация, полученная до оптимизаций и преобразуемая во время них, может стать некорректной и предлагаются необходимые в данном случае процедуры ее коррекции.
Найти похожие
|
9.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Лидовский В. В.
Заглавие : Анализ LR-разбора для 18 языков программирования
Серия: Web-технологии
Место публикации : Информационные технологии. - 2011. - N 12. - С.21-23. - ISSN 1684-6400 (Шифр inft/2011/12). - ISSN 1684-6400
Примечания : Библиогр.: с. 23 (10 назв. )
УДК : 004.43
ББК : 32.973-018.1
Предметные рубрики: Вычислительная техника
Языки программирования
Ключевые слова (''Своб.индексиров.''): компиляторы--lr-разбор--lr-таблицы--канонические таблицы--lalr--бизон--як
Аннотация: Исследуется актуальность использования канонических LR (1) -таблиц для разработки компиляторов. Приводятся результаты тестирования грамматик 18 широко используемых языков программирования.
Найти похожие
|
10.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Интерсимоне, Дэвид (вице-президент компании Embarcadero Technologies)
Заглавие : И снова о многоплатформенной разработке...
Место публикации : КомпьютерПресс. - 2012. - № 7. - С.78-80: ил. - ISSN Корп-оративные технологии (Шифр calc/2012/7). - ISSN Корп-оративные технологии
УДК : 004.9
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Прикладные информационные (компьютерные) технологии в целом
Ключевые слова (''Своб.индексиров.''): платформы (вычислительная техника)--компиляторы--процессорные компиляторы--трехмерные модели--многоплатформенные среды разработки
Аннотация: Что нового было создано компанией Embarcadero Technologies за последние полгода из инструментов для разработчиков и какие новшества в этой области ожидаются в ближайшее время.
Найти похожие
|
11.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Волков, Родион, Починок, Игорь
Заглавие : GPGPU-технологии - сравнительный анализ и краткое описание достоинств и недостатков
Серия: Программное обеспечение
Место публикации : Мир компьютерной автоматизации. - 2014. - № 1. - С.34-41: 14 рис., 1 табл. (Шифр mkav/2014/1)
Примечания : Библиогр.: с. 41 (8 назв. )
УДК : 004
ББК : 32.97
Предметные рубрики: Вычислительная техника
Вычислительная техника в целом
Ключевые слова (''Своб.индексиров.''): cuda технологии--gpgpu технологии--opencl стандарт--с++amp--большие массивы данных--компиляторы--параллельные вычисления--программные решения--программы вычислений--технология gpgpu
Аннотация: Дается сравнение технологий GPGPU-вычислений, с описанием их преимуществ и недостатков. Основное внимание уделяется технологиям OpenCL, CUDA и С++AMP: причины и история их появления, особенности использования, результаты работы в иллюстрациях.
Найти похожие
|
12.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Абдулаева О. С. (ассистент)
Заглавие : Актуальность создания компилятора электронных учебников
Серия: Информационные технологии в образовании
Место публикации : Инновации в образовании. - 2014. - № 11. - С.126-132. - ISSN 1609-4646 (Шифр inno/2014/11). - ISSN 1609-4646
Примечания : Библиогр.: с. 130-132 (6 назв. )
УДК : 371
ББК : 74.04
Предметные рубрики: Образование. Педагогика
Организация образования
Ключевые слова (''Своб.индексиров.''): инновации--информационные технологии--компиляторы--образование--образовательные организации--учебники--электронные ресурсы--электронные учебники
Аннотация: В статье описывается актуальность разработки программ компиляторов электронных учебников, принципы создания программы проектирования электронных ресурсов Obook.
Найти похожие
|
13.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Рошковский, Алексей (руководитель юридической команды)
Заглавие : Хорошие юристы - это гениальные компиляторы!
Серия: Люди Герой
Место публикации : Корпоративный юрист. - 2017. - № 5. - С.49-53. - ISSN 1816-109X (Шифр kyur/2017/5). - ISSN 1816-109X
УДК : 347.1
ББК : 67.404.0
Предметные рубрики: Право
Общая часть гражданского права
Ключевые слова (''Своб.индексиров.''): информационные технологии--управление бизнес-процессами--управление компанией--юридические профессии--юридический бизнес--юристы
Аннотация: Алексей Рошковский выбрал IT-технологии и уверен, что за ними - будущее. Руководитель юридической команды ГК ЛАНИТ не ищет спокойной работы, не верит в универсалов, ценит резкость в коммуникации и планирует испытать себя в управлении бизнес-процессами.
Найти похожие
|
14.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Сафин, Ленар Камилевич
Заглавие : Задачи статического анализа двоичных образов программ
Параллельн. заглавия :Goals of Static Analysis of Binary Programs
Серия: Безопасность компьютерных систем
Место публикации : Защита информации. Инсайд. - 2017. - № 2. - С.58-63: ил. (Шифр zinf/2017/2)
Примечания : Библиогр.: с. 63 (15 назв.)
УДК : 004.45
ББК : 32.973-018.2
Предметные рубрики: Вычислительная техника
Системное программное обеспечение
Ключевые слова (''Своб.индексиров.''): бинарный анализ--информационная безопасность--компиляторы--статический анализ--уязвимость
Аннотация: В статье рассматриваются типовые задачи анализа программных систем, для которых целесообразны методы статического анализа бинарных образов программ, в контексте исследования таких систем на соответствие требованиям информационной безопасности.
Найти похожие
|
15.
|
Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Карташова В. В., Горбунов В. Д.
Заглавие : Обзор отечественного микропроцессора "Эльбрус"
Серия: Технические науки
.
Информатика, вычислительная техника и управление
.
Элементы и устройства вычислительной техники и систем управления
Место публикации : Аспирант и соискатель. - 2022. - № 2. - С.27-32: 2 рис., 2 табл. - ISSN 1608-9014 (Шифр asps/2022/2). - ISSN 1608-9014
Примечания : Библиогр.: с. 32 (5 назв. )
УДК : 004.2
ББК : 32.973-02
Предметные рубрики: Вычислительная техника --Россия
Архитектура вычислительных машин в целом
Ключевые слова (''Своб.индексиров.''): эльбрус--компиляторы--микропроцессоры--микроэлектроника--обзоры--области применения--отечественные микропроцессоры--процессоры--создание процессоров
Аннотация: Описывается отечественный микропроцессор "Эльбрус". Прослеживается путь его создания и особенности. Выявляется область применения микропроцессора "Эльбрус".
Найти похожие
|
|
|
Главная
Описание
Шлюз Z39.50
Книги фонда НБ СГЮА
Стандартный