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

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

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



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



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


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

Автор: Янг С.

Аннотация:

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


Язык: ru

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстрактные типы данных      131 339
Аналого-цифровые преобразователи      53 376
Архитектура фон Неймана      19
Аткинсон      388
Атрибут (attribut)      28
Ахо      67
Барнес      59 92 129 176 224 253 254 386
Бастард      146 176 389
Библиотечные пакеты в языке АДА      322 352
Битовый тип (bits type)      93 283 369
Блоки      105
Блоки в языке Ада      336
Блоки область действия имени      106
Блоки реализация      107
Блочная структура      107 108
Блочная структура в RTL/2      262
Брандес      176 386
Брон      225 386
Брусок данных (data brick) в RTL/2      263
Брусок данных svc      267
Брусок процедурный (procedure brick)      263
Брусок стековый (stack brick)      263
Ванд      293 315 316 386 388 389
Ввод-вывод (input/output) буферизованный      194
Ввод-вывод (input/output) в вычислительных системах общего назначения      177
Ввод-вывод (input/output) в вычислительных системах реального времени      179
Ввод-вывод (input/output) в языке Ада      347 348 354
Ввод-вывод (input/output) в языке Ада, RTL/2      267 268
Ввод-вывод (input/output) в языке Ада, Модула      293 294 302
Ввод-вывод (input/output) высокого уровня      241
Ввод-вывод (input/output), абстрактная модель      187
Ввод-вывод (input/output), адресация регистров      181
Ввод-вывод (input/output), описание регистров      183
Ввод-вывод (input/output), передача блока данных с использованием МПДП      195 196
Везеролл      386
Вейнгаарден      59 130 250 386
Взаимно исключающий доступ (mutual exclusion)      149 190
Взаимно исключающий доступ (mutual exclusion) в языке Модула      314
Вирт      22 94 129 145 176 199 225 252 283 310 316 386 387
Вихман      45 386
Время абстрактный тип      132 300
Время ответа системы      11
Вудвард      59 92 176 198 224 386
Вульф      145 390
Входы в языке Ада      343
Вынужденные преобразования в RTL/2      256
Выражения для путей доступа (path expressions)      177
Гешке      60 93 225 253 386 387
Горман      386
Границы массива      64 92
Грис      67 387
Грогоно      22
Гудинаф      387
Даглес      177 387
Дал      145 252 387
Даусинг      177 387
Даусон      160 387
Двоичные числа      51
Двойственность именования      114
Двусмысленность описаний      34 85
Дейкстра      102 149 387
Деление целых      44
Джексон      176 388
Джемисон      45 387
Динамические структуры данных (dynamic data structures)      78
Динамические структуры данных (dynamic data structures), преимущества      80 82
Динамические структуры данных (dynamic data structures), пример      79 80
Динамические структуры данных (dynamic data structures), проектирование      82 83
Динамические структуры данных (dynamic data structures), распределение памяти      79
Динамические структуры данных (dynamic data structures), реализация      89 90
Динамические структуры данных (dynamic data structures), список      78 79 85
Динамические структуры данных (dynamic data structures), типизация      83 84
Динамические структуры данных (dynamic data structures), уничтожение      83 87 88 334
Динамическое создание задач      346
Директива safe в языке Red      130
Дискриминанты      332 342
Дробные типы (fraction types)      52 53
Дробные типы (fraction types) в языке RTL/2      256 257
Дробные типы (fraction types), двойная длина      53 257
Дробные типы (fraction types), недостатки      55
Дробные типы (fraction types), преимущества      55
Дробные типы (fraction types), пример использования      53
Завершение по времени (timeout)      170
Задача поставщик/потребитель (producer/consumer)      148
Задача поставщик/потребитель (producer/consumer) решение при помощи монитора      157
Задача поставщик/потребитель (producer/consumer) решение при помощи семафора      150 151
Задача поставщик/потребитель (producer/consumer) решение с применением модели рандеву      166
Задачи      см. «Процессы»
Задачи в операционных системах      147
Задачи в управлении процессами      10 11
Задачи в языке RTL/2      269
Задачи в языке Ада      343
Задержка процесса (delay process)      171 346
Задержка, оператор      346
Записи (records)      68
Записи (records) в языке Ада      332
Записи (records) вариантные      69 70
Записи (records), надежность      71
Записи (records), объединения      72 73
Записи (records), объединения в языке RTL/2      260
Записи (records), объединения в языке Ада      332
Записи (records), объединения в языке Модула      285
Записи (records), подтипы      69
Записи (records), реализация      75
Записи (records), тип      68
Записи (records), тип фиксированный      68 69
Значения по умолчанию      339
Имя со спецификатором pervasive      118
Индексирование массивов      62 63
Инициализация переменных      240
Интерфейс с оператором      12 306
Интерфейсные модули      293 294 314
Исключения (exeptions) в процессах      219 351
Исключения (exeptions) в языке Ада      349
Исключения (exeptions), возбуждение      204
Исключения (exeptions), описание      208 209
Исключения (exeptions), отметить      211 212
Исключения (exeptions), правила распространения      213 351
Исключения (exeptions), разобраться      211 212
Исключения (exeptions), реализация      223
Исключения (exeptions), уйти      211 212
Ихбиа      60 93 176 225 253 320 387
Йенсен      22 387
Квалификаторы (qualifiers)      37 325
Класс параметров, in      112 113
Класс параметров, inout      112 113
Класс параметров, out      112 ИЗ
Класс, типы      145
Кнут      90 388
Конструктор записи      71
Конструктор множества      76
Контекстное переключение (context switching)      271
Коттам      283 387
Коул      388
Коулман      147 388
Критерии проектирования, гибкость      16
Критерии проектирования, мобильность      16 17
Критерии проектирования, надежность      13 14
Критерии проектирования, простота      16
Критерии проектирования, удобочитаемость      14 15
Критерии проектирования, эффективность      17
Кусо      387
Куча (heap storage)      90
Кэмпбелл      177 388
Лампсон      60 253 388
Латтен      244 388
Лисков      145 252 388
Листер      389
Логический тип      37
Логический тип в языке Ада      326
Логический тип, операции      38
Логический тип, реализация      38
Лондон      145 390
Лоренцини      388
Мак-Киг      131 389
Мантисса      46
Массив (array) в языке RTL/2      259
Массив (array) в языке Ада      330
Массив (array) в языке Модула      284
Массив (array) динамический      66
Массив (array) многомерный      66
Массив (array) неограниченный      330
Массив (array), вырезки (slices)      65
Массив (array), индексы      64
Массив (array), конструктор      67
Массив (array), конструктор в языке Ада      329
Массив (array), подтипы      65
Массив (array), понятие      62 63
Массив (array), реализация      67 68
Массив (array), тип      62 66
Массив (array), эквивалентность      65
Метки (labels)      203
Механизм прямого доступа      187 195 196
Множества      72
Множества, операции      76
Множества, представление на машине      184
Множества, реализация      77
Модули ввода-вывода      185 186 190 291
Модуль (module)      133
Модуль (module) в языке Модула      287 288
Модуль (module), использование      135 136
Модуль (module), механизмы машинного оборудования      186 187 189 190 290
Модуль (module), правила области действия      141
Модуль (module), раздельная компиляция      238 239
Модуль (module), разработка      136 137
Модуль (module), реализация      144
Мониторы      156 157 190 220 289
Морис      60 386
Мюрхауг      387
Набор символов ASCII      39
Наследование атрибутов типа      28
Наследование атрибутов типа в языке Ада      324
Наследование операций      29
Насси      175 389
Нестор      60 93 130 176 388
Нолан      283 388
Нюгорд      387
Область действия имени (scope of name) в блоках      105
Область действия имени (scope of name) в модулях      141
Область действия имени (scope of name) в процедурах      116
Область действия имени (scope of name), правила      106
Область действия имени (scope of name), спецификатор pervasive      118
Область ошибки      206
Ограничения диапазона      30
Оператор case      100 101
Оператор case в языке Ада      335
Оператор case в языке Модула      285
Оператор exit в языке Ада      336
Оператор exit в языке Модула      285 286
Оператор exit, разработка      102
Оператор for в языке RTL/2      261
Оператор for в языке Ада      336 337
Оператор for в языке Паскаль      97 247
Оператор for, разработка      101
Оператор goto      103 202
Оператор goto в языке RTL/2      263
Оператор goto в языке Ада      336
Оператор IF      100
Оператор if в языке RTL/2      261
Оператор if в языке Ада      335
Оператор if в языке Модула      285 286
Оператор if в языке Паскаль      97
Оператор init      155 156
Оператор raise      209
Оператор raise в языке Ада      350
Оператор repeat в языке Модула      285
Оператор repeat в языке Паскаль      96
Оператор return      121 265 338
Оператор SELECT      164 343 346
Оператор switch      263
Оператор val      259
Оператор выпвв (doio)      291 292 313 317
Оператор приема (accept)      162 343
Оператор управления (control)      95
Оператор управления (control) в языке Паскаль      96
Оператор управления (control), разработка      96
Оператор цикла (loop) в языке RTL/2      261
Оператор цикла (loop) в языке Ада      336
Оператор цикла (loop) в языке Модула      286
Оператор цикла (loop), определения      101
Оператор [префикс] while      101
Оператор [префикс] while в языке RTL/2      262
Оператор [префикс] while в языке Ада      336
Оператор [префикс] while в языке Модула      285
Оператор [префикс] while в языке Паскаль      96
Оператор [префикс] with      285
Оператор, окончания цикла (loop termination)      103
Оператор, освободить (release)      149
Оператор, отключить (fail)      220
Оператор, прекратить (abort)      155 169
Оператор, реализация      278 290
Операторы отношения      37 329
Операции      126
Операции в языке RTL/2      256 257 258
Операции в языке Ада      328 329
Операции в языке Модула      285
Операции сдвига (shift)      258
Операции совмещение (overloading)      127
Операции, свойства      127 128 229
Операция and      37 258 285 327
Операция div      285
Операция MOD      44 285 328 329
Операция not      37 258 285
Операция OR      37 258 285
Операция REM      328
Операция ждать (wait)      149
Операция ждать (wait) реализация      278
Операция ждать (wait)в языке Модула      289 292 311 316
Операция послать (send)      149
Операция послать (send) в языке Модула      289 292 311 316
Операция послать (send), реализация      278
Описания mode      260
Описатель процесса (process descriptor) в языке Модула      310
Определение диапазона (range check)      31
Оптимизация вызовов процедур      120
Оптимизация вызовов процедур модели рандеву      174
Ошибки в программах      20 200
Ошибки в языке RTL/2      268
Ошибки в языке Ада      349
Ошибки восстановление      215 216
Ошибки, обнаружение      199 200
Ошибки, обработка      199 200 201
Пайл      127 388
Пакеты (packages)      360
Параметр типа пространство (space)      198 199
Пауэлл      388
Перегруженность или совмещение (overloading) в языке Ада      325 339
Перегруженность или совмещение (overloading) перечислимого типа      37
Перегруженность или совмещение (overloading), операции      29 127
Перегруженность или совмещение (overloading), подпрограммы      122
Перечислимые типы (enumerated types)      34
Перечислимые типы (enumerated types) в языке Ада      325
Перечислимые типы (enumerated types) перегруженные      37
Перечислимые типы (enumerated types), операции      34 35 326
Перечислимые типы (enumerated types), определенные пользователем      183
Перечислимые типы (enumerated types), отображение на машинные регистры      183 347
Перечислимые типы (enumerated types), проблемы      36
Подкомпонента (subunit)      354
Подтипы (subtypes)      32 33 47 65 70 84 228 323 329 333
Порождающие программные единицы      241 242 343
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте