Янг С. — Алгоритмические языки реального времени :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Янг С. — Алгоритмические языки реального времени

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Алгоритмические языки реального времени

Автор: Янг С.

Аннотация:

Книга написана известным американским специалистом по программированию. Она знакомит читателей в доступной форме и в то же время на достаточно высоком научном уровне с основными принципами построения языков программирования реального времени. Подробно разобраны применения этих принципов для языков Модула и Ада. Книга позволяет быстро ориентироваться в языках реального времени и их модификациях.
Для программистов и разработчиков математического обеспечения ЭВМ.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1985

Количество страниц: 400

Добавлена в каталог: 24.07.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Порожденные (child) процессы      154
Порядковое значение перечисления      39
Постепенное уточнение      131
Постепенное уточнение данных      61
Постепенное уточнение программ      94
Предложение use      341
Предложение with в языке Ада      323
Преобразование типов      23
Прерывания      187
Прерывания в языке Ада      349
Прерывания в языке Модула      313
Прерывания с помощью сигнала      190
Прерывания, управление      187 292
Приватная часть спецификации модуля      133
Приватная часть спецификации пакета      341
Приватные limited private      342
Приватные типы      341 342
Признаки статуса (status flags)      38 186
Признаки статуса обновление (polling)      186
Программирование последних целей (last wishes)      215 218
Прохождение сообщений      167 168
Процедура оградить (secure)      149
Процедура оградить (secure) реализация      278
Процедура освободить (release)      149
Процедура освободить (release), реализация      278
Процедура переименования (renamings)      345 363
Процедура распределения памяти (allocation)      78 87
Процедуры (procedures)      94 108
Процедуры (procedures) абстрактные классы параметров      11 112
Процедуры (procedures) в языке RTL/2      264
Процедуры (procedures) в языке Ада      337
Процедуры (procedures) в языке Модула      286
Процедуры (procedures), передача параметра      113
Процедуры (procedures), понятие      108
Процедуры (procedures), реализация      118 119
Процедуры (procedures), типы параметров      110 111
Процедуры (procedures), управление именной областью (name scope control)      118
Процессы      11 12 153
Процессы в языке Модула      289
Процессы, исключения      218 219
Процессы, описание      153
Процессы, параметры      154
Процессы, правила завершения      104
Процессы, прекращение      155 169
Процессы, реализация      172
Прямое цифровое управление ПЦУ      11
Разгрузка данных      10
Разделение времени (time sharing)      173
Раздельная компиляция      238
Раздельная компиляция в языке RTL/2      266
Раздельная компиляция в языке Ада      352
Рандеву (rendezvous)      161
Рандеву (rendezvous) асимметричное      162
Рандеву (rendezvous) недетерминированное      164 165
Рандеву (rendezvous) симметричное      163
Рандеву (rendezvous), модель      161 164
Рандеву (rendezvous), предохранитель      165
Рандел      217 388
Расширение типа (type extension)      24
Расшифровка ссылок (dereferencing)      86 87 259 334
Ратнер      244 388
Реальное время (real time) определение      9 10
Реальное время (real time) требования к языку      17 18
Реальное время (real time) характеристики      11 12
Риссен      387
Рихардс      248 388
Родительский (parent) процесс      154
Розенберг      389
Рол      118 388
Рунсиман      315 388
Сатертвайте      60 225 253 386 387
Сборка мусора (garbage collection)      87
Семафор      149 290 346
Сигнал (sygnal)      149
Символьные типы (character types)      39
Символьные типы (character types) в языке Ада      326
Символьные типы (character types) операторы      39
Символьные типы (character types) перегруженные      40 42
Симпсон      176 388
Синхронизация двух процессов      150
Синхронизация операций ввода-вывода      189
Синхронизация помощи рандеву      161
Синхронизация при использовании мониторов      160
Система управления процессами      10
Системы со встроенной вычислительной машиной (embedded computer systems)      10
Смедена      283 388
Снайдер      388
Снеерингер      60 389
Составление очереди задач в реальном времени      293
Составление расписания (sheduling)      274 295 312
Спецификации в языке Ада      358
Спецификация интерфейса      139
Список (define) в модулях      133 137 139 143
Список (define) в языке Модула      288
Список использования [use] (use list) в модулях      136 139 143
Список использования [use] (use list) в процедурах      117 286
Список использования [use] (use list) в языке Модула      287
Ссылочные (access) типы в языке Ада      334
Ссылочный тип (reference type) в языке RTL/2      259
Статические переменные      78
Стек (stack) использование в процедуре вызова      119
Стек (stack) реализация      265 266 288 340
Строка (string) битов      77
Строка (string) данных в языке Ада      330
Структурирование программ      94
Структурное программирование      18
Тенант      60 388
Тестирование и отладка программ      20 135 309

Тип      17 18
Тип абстрактный      131 339
Тип анонимный (anonymous)      28 33
Тип байтовый      256
Тип битовый      93 283 369
Тип динамические данные      78 79
Тип задач (task)      346
Тип записи (records)      69
Тип логический (Boolean)      37
Тип массива (array)      62 63
Тип множественный (set)      75
Тип объединение (union)      73
Тип переименование (renaming)      32
Тип перечислимый (enumerated)      34 35
Тип плавающий (floating point)      46
Тип проверка границ (range checking)      30
Тип производный (derived)      25
Тип простой      19
Тип символьный (character)      40
Тип указательный (pointer)      78
Тип фиксированный (fixed point)      48
Тип целый (integer)      43
Тип числовой (numeric)      42
Типизация сильная (strong typing)
Типизация слабая (weak)      22
Точность спецификация      46 56
Удаленная система приема данных      355
Указатели (pointer) в языке Ада      334
Указатели (pointer) висячие (dangling)      87 88
Указатели (pointer), использование      79 80
Указатели (pointer), расшифровка [обратная операция к получению ссылки] (dereferencing)      79 86
Ульман      67
Условия      38
Уэлс      389
Уэлш      22 131 146 176 389
Ферран      253 387
Фиксированные типы      48
Фиксированные типы в языке Ада      327
Фиксированные типы, приближенное представление      50 51
Фиксированные типы, пример использования      57
Фиксированные типы, точное представление      50
Фиксированные типы, требования      49
Фильтр нижних частот по Чебышеву      53 57
Фоккинга      225 386
Фрогат      61 389
Функции      94
Функции в языке Ада      337
Функции чистые      122
Функции, побочные эффекты      108 122
Функции, совмещение (overloading)      122 123
Функция пор      39
Функция предшествования (predecessor)      35 326
Функция следования (successor)      35 326
Хаберман      60 175 177 181 388 389
Хансен      145 157 161 176 252 389
Хант      389
Хейманс      388
Хелиард      387
Хиббард      389
Хисген      389
Хоар      60 62 157 161 176 389
Хокинс      388
Холден      293 315 389
Хьюс      388
Цан      103 389
Целые типы      43
Целые типы в языке RTL/2      256
Целые типы в языке Ада      326
Целые типы в языке Модула      284
Целые типы, диапазон значений      43
Целые типы, мобильность      44
Целые типы, операции      44
Часы реального времени      11 291 299
Шафферт      388
Шерман      389
Шоу      60 92 145 224 252 390
Эйхентопф      386
Эквивалентность именная      27 228
Эквивалентность структурная      27 228
Эквивалентность типов      27 228
Экспонента      46
Элдер      22 389
Эндрюс      315 390
Язык 215      93 253
Язык CHILL      320
Язык CLU      145 252
Язык CORAL      66 59 60 92 176 198 224
Язык CSP      176
Язык JOVIAL      60 92 176 224
Язык PEARL      92 176
Язык PL/1      225
Язык RTL/2      59 92 129 175 224 250 251 253—282
Язык SYCOL      61
Язык Ада      59 92 129 146 176 199 225 226 250 253 328—385
Язык Алгол      60 59 225 68 61 130 250 251
Язык Альфард [Alphard]      145
Язык Меза (MESA)      60 93 225 253
Язык Модула      129 145 175 199 225 250 252 282—318
Язык Параллельный Паскаль      145
Язык Паскаль      22 60
Язык Паскаль Плюс      146 176
Язык Симула      145 252
Языки Айронман («особо надежные языки») (Ironman)      60 176 199 319
Языки Айронман, Blue [голубой]      60 176
Языки Айронман, Green [зеленый]      60 93 176 225
Языки Айронман, Red [красный]      60 93 130 176
Языки Айронман, Yellow [желтый]      60 176 199 225
Янг      61 144 199 390
«Внуки» процессов (grandchild)      154

1 2

О проекте