50 Автоматика и
телемеханика. Вычислительная техника
50.01 Общие вопросы автоматики и вычислительной техники
У1557
1986. Сколько стоит безопасность / Елашкин М. // Открытые
системы. СУБД. - 2005. - № 10. - С. 76-77.
Описана методика оценки экономического эффекта от внедрения
систем информационной безопасности.
50.05 Теоретические основы
программирования
50.05.03 Общетеоретические вопросы программирования
Р2707
1987. Об одном подходе к верификации симметричных
параметризованных распределенных систем / Коннов И.В., Захаров В.А. //
Программир. - 2005. - № 5. - С. 3-17. - Библиогр.: 15 назв.
Предложен метод автоматической верификации параметризованных
систем, ориентированный на асинхронную параллельную композицию процессов.
Р2707
1988. Получение аффинных преобразований для улучшения
локальности гнезд циклов / Лиходед Н.А., Баханович С.В., Жерело А.В. //
Программир. - 2005. - № 5. - С. 52-65. - Библиогр.: 12 назв.
Предложен новый алгоритм получения аффинных преобразований циклов
для локализации (быстрого переиспользования) данных программы. Алгоритм
использует технику многомерного таймирования, реализован на языке ANSI C на
платформе Intel P4.
Р3181
1989. Управление информацией о преобразованиях программ. Ч.
1. Анализ проблем и пути их решения на основе методов искусственного интеллекта
/ Клещев А.С., Князева М.А. // Изв. АН. Теория и системы упр. - 2005. - № 5. -
С. 120-129. - Библиогр.: 63 назв.
Рассмотрены основные понятия и научные достижения в области
преобразований компьютерных программ, использование этих достижений в
профессиональной деятельности (при разработке оптимизирующих и
распараллеливающих компиляторов, в высшем образовании), а также проведен анализ
возникающих при этом проблем. Представлена концепция управления информацией о
преобразованиях программ в рамках специализированного банка знаний.
50.05.09 Языки программирования и спецификаций
У3089
1990. Концептуальный язык запросов, не использующий
собственные имена отношений / Овчинников В.В. // Системы упр. и информ.
технологии. - 2005. - № 4. - С. 87-94. - Библиогр.: 17 назв.
Рассмотрен декларативный концептуальный язык SCQL, позволяющий
формулировать запросы, используя только понятия предметной области.
Ж2-05/36579
1991. Освой самостоятельно UML за 24 часа: Пер. с англ. /
Шмуллер Д. - 3-е изд. - М.: Вильямс, 2005. - 416 с. - ISBN 5-8459-0855-8.
У1483
1992. Судьба Оберона / Богатырев Р. // Мир ПК. - 2005. - №
10. - С. 60-62, 64-66, 68-69.
Краткий рассказ об истории языков семейства Оберон.
У1483
1993. Язык Оберон. Краткий путеводитель / Богатырев Р. //
Мир ПК. - 2005. - № 10. - С. 56-59.
Специфика объектно-ориентированного программирования в Обероне,
отличия от Паскаля, краткая характеристика основных языков семейства Оберон.
Р2707
1994. Язык функционального параллельного программирования и
его реализация на кластерных системах / Бажанов С.Е., Кутепов В.П., Шестаков
Д.А. // Программир. - 2005. - № 5. - С. 18-51. - Библиогр.: 21 назв.
Описана система функционального параллельного программирования,
включающая язык FPTL, инструментальные средства разработки программ и средства
управления их параллельным выполнением на кластерах. Для иллюстрации
использования конструкций языка рассмотрены два примера задания на FPTL
функциональных программ: программа сортировки списка методом пузырька и
программа моделирования строительства дома.
Ж2-05/36611
1995. C++. Руководство для начинающих: Пер. с англ. / Шилдт
Г. - 2-е изд. - М.: Вильямс, 2005. - 672 с. - ISBN 5-8459-0840-Х.
50.05.13 Технология программирования. Автоматизация
программирования. Программотехника
См. № 1991
50.05.15 Теория и проблематика программирования для
вычислительных сетей
У1451
1996. Проблемы реализации многопоточных
WinSockets-приложений / Павлов С. // PC mag./Russ. ed. - 2005. - № 11. - С.
124-126.
Тонкости разработки сетевых программ, создающих соединения в
отдельных потоках. Примеры кода на Си++.
50.05.17 Теоретические основы
системного программного обеспечения
Р1
1997. Оптимизация проектирования объектно-ориентированных
баз данных в автоматизированных информационно-управляющих системах (АИУС). Ч. 2.
Модели и методы синтеза оптимальных логических структур объектно-ориентированных
баз данных / Кульба В.В., Сиротюк В.О. // Автоматика и телемеханика. - 2005. - №
10. - С. 175-186. - Библиогр.: 4 назв.
Задачи синтеза сформулированы в виде задач нелинейного
математического программирования с булевыми переменными. Для их решения
разработаны точные алгоритмы, основанные на модифицированной схеме метода
"ветвей и границ", и эвристические алгоритмы, учитывающие особенности
функционирования и характеристики объектно-ориентированных БД, запросов
пользователей и транзакций.
У3089
1998. Построение объектно-реляционных моделей баз данных с
произвольным набором атрибутов / Мещеряков С.В., Иванов В.М. // Системы упр. и
информ. технологии. - 2005. - № 4. - С. 82-87. - Библиогр.: 11 назв.
Описана унифицированная методика построения объектно-реляционной
модели, позволяющая эффективно создавать новые объекты, их атрибуты и классы.
Приведены результаты сравнительного тестирования работоспособности и
производительности предложенных объектно-реляционных моделей.
У3089
1999. Разработка методов распараллеливания запросов в
гетерогенных РСУБД / Локшин М.В., Кравец О.Я. // Системы упр. и информ.
технологии. - 2005. - № 4. - С. 71-76. - Библиогр.: 12 назв.
Предложен метод распараллеливания SQL-запросов, основанный на
процедуре динамического разделения обрабатываемых отношений. Построены алгоритмы
преобразования различных типов запр | 