9.02.2013 |
18:46:31 |
progr. |
problem definition and general solution pattern |
постановка задачи и общая схема решения |
9.02.2013 |
18:45:23 |
progr. |
general solution pattern |
общая схема решения |
9.02.2013 |
18:44:30 |
progr. |
solution pattern |
схема решения |
9.02.2013 |
18:39:32 |
progr. |
basic problems and techniques |
основные задачи и методы |
9.02.2013 |
18:35:50 |
progr. |
resource allocation and scheduling |
распределение ресурсов и планирование |
9.02.2013 |
18:33:53 |
progr. |
alternative scheduling policies |
другие стратегии планирования |
9.02.2013 |
18:31:16 |
progr. |
technique of passing the baton |
метод передачи эстафеты |
9.02.2013 |
18:21:50 |
progr. |
readers/writers using condition synchronization |
решение задачи о читателях и писателях с использованием условной синхронизации |
9.02.2013 |
18:18:05 |
progr. |
readers/writers as an exclusion problem |
задача о читателях и писателях как задача исключения |
9.02.2013 |
18:16:31 |
progr. |
readers/writers |
задача о читателях и писателях |
9.02.2013 |
18:13:35 |
progr. |
exclusion problem |
задача исключения |
9.02.2013 |
18:09:16 |
progr. |
readers and writers |
задача о читателях и писателях |
9.02.2013 |
18:01:35 |
progr. |
dining philosophers |
задача об обедающих философах |
9.02.2013 |
17:58:25 |
progr. |
bounded buffers |
кольцевые буферы |
9.02.2013 |
17:57:08 |
progr. |
bounded buffer |
кольцевой буфер |
9.02.2013 |
17:56:37 |
progr. |
bounded |
кольцевой |
9.02.2013 |
17:52:47 |
progr. |
resource counting |
учёт ресурсов |
9.02.2013 |
17:47:03 |
progr. |
split binary semaphores |
разделённые двоичные семафоры |
9.02.2013 |
17:43:57 |
progr. |
signaling events |
сигнализирующие события |
9.02.2013 |
17:43:03 |
progr. |
signaling event |
сигнализирующее событие |
9.02.2013 |
17:28:27 |
progr. |
parallel computing with a bag of tasks |
параллельные вычисления с портфелем задач |
9.02.2013 |
17:27:01 |
progr. |
bag of tasks |
портфель задач |
9.02.2013 |
17:22:54 |
progr. |
synchronous multiprocessors |
синхронные мультипроцессоры |
9.02.2013 |
17:22:04 |
progr. |
synchronous multiprocessor |
синхронный мультипроцессор |
9.02.2013 |
17:20:24 |
progr. |
Jacobi iteration |
итерация Якоби |
9.02.2013 |
17:18:31 |
progr. |
grid computations |
сеточные вычисления |
9.02.2013 |
17:12:09 |
progr. |
operations on linked lists |
операции со связанными списками |
9.02.2013 |
17:08:58 |
progr. |
parallel prefix computations |
параллельные префиксные вычисления |
9.02.2013 |
17:07:34 |
progr. |
prefix computations |
префиксные вычисления |
9.02.2013 |
17:01:42 |
progr. |
data parallel processor |
устройство параллельной обработки данных (любое) |
9.02.2013 |
16:59:28 |
progr. |
data parallel algorithm |
алгоритм, параллельный по данным |
9.02.2013 |
16:58:50 |
progr. |
data parallel algorithms |
алгоритмы, параллельные по данным |
9.02.2013 |
16:53:55 |
progr. |
symmetric barriers |
симметричные барьеры |
9.02.2013 |
16:53:04 |
progr. |
symmetric barrier |
симметричный барьер |
9.02.2013 |
16:40:12 |
progr. |
computer coordinator |
координатор преподавательской деятельности в области компьютерной техники (в учебном заведении) |
9.02.2013 |
16:37:49 |
progr. |
flags and coordinators |
флаги и управляющие процессы |
9.02.2013 |
16:37:21 |
progr. |
coordinators |
управляющие процессы |
9.02.2013 |
16:36:35 |
progr. |
coordinator |
управляющий процесс |
9.02.2013 |
16:30:30 |
progr. |
shared counter |
разделяемый счётчик |
9.02.2013 |
16:21:34 |
progr. |
BSP |
парадигма параллельных вычислений (сокр. от bulk synchronous parallel) |
9.02.2013 |
16:20:46 |
progr. |
BSP |
модель параллельных вычислений (сокр. от bulk synchronous parallel) |
9.02.2013 |
16:18:41 |
progr. |
bulk synchronous parallel |
модель параллельных вычислений (описывает параллельную вычислительную систему в терминах трёх атрибутов – как совокупность модулей "процессор-память", сети межсоединений (interconnection network) и средств барьерной синхронизации (barrier synchronization)) |
9.02.2013 |
16:18:41 |
progr. |
bulk synchronous parallel |
парадигма параллельных вычислений (описывает параллельную вычислительную систему в терминах трёх атрибутов – как совокупность модулей "процессор-память", сети межсоединений (interconnection network) и средств барьерной синхронизации (barrier synchronization)) |
9.02.2013 |
16:08:09 |
progr. |
prototyping board |
прототипная плата (т.ж. макетная плата; плата, на которой отрабатывается расположение и взаимодействие электронных компонентов нового изделия. Для её отладки могут применяться как эмуляторы, так и специальные док-станции, к которым присоединяется макетная плата, а также специальные интегральные схемы, устанавливаемые на самой отлаживаемой плате. Syn: development board, breadboard) |
9.02.2013 |
15:44:28 |
progr. |
ticket algorithm |
алгоритм билета |
9.02.2013 |
15:40:14 |
construct. |
tie-post |
столб для крепления верёвки (и т.п.) |
9.02.2013 |
15:40:14 |
construct. |
tie-post |
столб для крепления цепи (и т.п.) |
9.02.2013 |
15:37:46 |
tel. |
tie-line |
линия связи |
9.02.2013 |
15:33:42 |
construct. |
tie-laying unit |
шпалоукладчик |
9.02.2013 |
15:23:54 |
progr. |
tie-breaker algorithm |
алгоритм разрыва узла |
9.02.2013 |
15:22:31 |
progr. |
tie-breaker |
разрыв узла |
9.02.2013 |
15:20:32 |
progr. |
tie-breaker |
прерыватель соединений (при одновременном обращение к неразделяемому ресурсу или в режиме соперничества в сетях передачи данных) |
9.02.2013 |
15:20:32 |
progr. |
tie-breaker |
арбитражное устройство для установления и разрыва соединений |
9.02.2013 |
15:16:34 |
progr. |
implementing await statements |
реализация операторов ожидания |
9.02.2013 |
15:14:21 |
progr. |
fair solutions |
решения со справедливой стратегией |
9.02.2013 |
15:10:18 |
progr. |
states, actions, histories, and properties |
состояние, действие, история и свойства |
9.02.2013 |
15:04:56 |
progr. |
processes and synchronization |
процессы и синхронизация |
9.02.2013 |
15:02:30 |
progr. |
finding patterns in a file |
поиск образца в файле |
9.02.2013 |
14:55:25 |
progr. |
specifying synchronization |
задание синхронизации |
9.02.2013 |
14:54:47 |
progr. |
specifying |
задание (синхронизации) |
9.02.2013 |
14:51:19 |
progr. |
fine-grained atomicity |
мелкомодульная неделимость |
9.02.2013 |
14:49:00 |
progr. |
atomicity |
неделимость |
9.02.2013 |
14:49:00 |
progr. |
atomicity |
нерасщепляемость |
9.02.2013 |
14:43:24 |
progr. |
atomic action |
нерасщепляемое действие |
9.02.2013 |
14:40:59 |
progr. |
atomic actions and await statements |
неделимые действия и операторы ожидания |
9.02.2013 |
14:39:59 |
progr. |
atomic actions |
неделимые действия |
9.02.2013 |
14:39:24 |
progr. |
atomic action |
неделимое действие (последовательность из одного или нескольких операторов, которая выполняется неделимым образом. Мелкомодульное неделимое действие (fine-grained atomic action) может быть реализовано непосредственно одной машинной командой. Крупномодульное неделимое действие (coarse-grained atomic action) реализуется с помощью протоколов критической секции) |
9.02.2013 |
14:36:25 |
progr. |
await statements |
операторы ожидания |
9.02.2013 |
14:36:00 |
progr. |
await statement |
оператор ожидания |
9.02.2013 |
14:31:39 |
progr. |
producer/consumer synchronization |
синхронизация типа "производитель-потребитель" |
9.02.2013 |
14:25:21 |
progr. |
test and test and set |
"проверить-проверить-установить" (активная блокировка) |
9.02.2013 |
14:21:22 |
progr. |
test and set |
"проверить-установить" (активная блокировка) |
9.02.2013 |
14:14:10 |
progr. |
programming paradigm |
принцип программирования |
9.02.2013 |
14:08:46 |
progr. |
busy-waiting |
ожидание в состоянии занятости (циклическая проверка процессором текущих значений некоторой переменной до достижения ею заданного значения) |
9.02.2013 |
14:05:01 |
progr. |
shared resource |
совместно используемый в данный момент ресурс |
9.02.2013 |
14:01:05 |
progr. |
busy-waiting loop |
цикл с ожиданием (в котором процесс ждёт доступа к разделяемому ресурсу (shared resource), периодически опрашивая флаг, указывающий, что ресурс свободен) |
9.02.2013 |
14:01:05 |
progr. |
busy-waiting loop |
цикл с ожиданием в состоянии занятости (циклическая проверка процессором текущих значений некоторой переменной до достижения ею заданного значения) |
9.02.2013 |
13:53:03 |
progr. |
spin locks |
активные блокировки (напр., проверить-установить, проверить-проверить-установить) |
9.02.2013 |
13:52:17 |
progr. |
spin lock |
активная блокировка (булева переменная, используемая в конъюнкции с активным ожиданием для защиты критической секции. Стремясь войти в критическую секцию, процесс зацикливается до тех пор, пока блокировка не будет освобождена) |
9.02.2013 |
13:43:48 |
progr. |
locks and barriers |
блокировки и барьеры |
9.02.2013 |
13:41:55 |
progr. |
scheduling policies and fairness |
стратегии планирования и справедливость |
9.02.2013 |
13:39:14 |
progr. |
proving safety properties |
доказательство свойств безопасности |
9.02.2013 |
13:38:26 |
progr. |
safety properties |
свойства безопасности |
9.02.2013 |
13:36:35 |
progr. |
safety and liveness properties |
свойства безопасности и живучести |
9.02.2013 |
13:35:59 |
progr. |
safety and liveness |
безопасность и живучесть |
9.02.2013 |
13:29:32 |
progr. |
array copy problem |
задача копирования массива |
9.02.2013 |
13:28:20 |
progr. |
array copy |
копирование массива |
9.02.2013 |
13:25:46 |
progr. |
global invariants |
глобальные инварианты |
9.02.2013 |
13:23:54 |
progr. |
disjoint variables |
непересекающиеся множества переменных |
9.02.2013 |
13:20:59 |
progr. |
weakened assertions |
ослабленные утверждения |
9.02.2013 |
3:58:44 |
progr. |
techniques for avoiding interference |
техника устранения взаимного вмешательства |
9.02.2013 |
3:57:18 |
progr. |
avoiding interference |
устранение взаимного вмешательства |
9.02.2013 |
3:56:04 |
progr. |
interference |
взаимное вмешательство |
9.02.2013 |
3:51:49 |
progr. |
synopsis of axiomatic semantics |
обзор аксиоматической семантики |
9.02.2013 |
3:49:25 |
progr. |
formal logical systems |
формальные логические системы |
9.02.2013 |
3:48:26 |
progr. |
formal logical system |
формальная логическая система |
9.02.2013 |
3:47:45 |
progr. |
logical systems |
логические системы |
9.02.2013 |
3:41:40 |
progr. |
programming logic |
логика программирования |
9.02.2013 |
3:35:55 |
progr. |
semantics of concurrent execution |
семантика параллельного выполнения |
9.02.2013 |
3:22:55 |
progr. |
parent-child process relationship |
отношения между родительскими и сыновними процессами |